Non-zero binary natural numbers.
We could have called this type Bin1,
but that's used as type alias for promoted BP BE
Instances23Enum, Eq, Integral, Data, Num, Ord, …
Enum BinPDefined in bin-0.1.4 · Data.BinPEq BinPDefined in bin-0.1.4 · Data.BinPIntegral BinPDefined in bin-0.1.4 · Data.BinPData BinPDefined in bin-0.1.4 · Data.BinPNum BinPDefined in bin-0.1.4 · Data.BinPOrd BinPDefined in bin-0.1.4 · Data.BinPExample1 expression sort [ 1 .. 9 :: BinP ][1,2,3,4,5,6,7,8,9]
Example1 expression sort $ reverse [ 1 .. 9 :: BinP ][1,2,3,4,5,6,7,8,9]
Example1 expression sort $ [ 1 .. 9 ] ++ [ 1 .. 9 :: BinP ][1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9]
Real BinPDefined in bin-0.1.4 · Data.BinPShow BinPDefined in bin-0.1.4 · Data.BinPBits BinPDefined in bin-0.1.4 · Data.BinPNFData BinPDefined in bin-0.1.4 · Data.BinPArbitrary BinPDefined in bin-0.1.4 · Data.BinPCoArbitrary BinPDefined in bin-0.1.4 · Data.BinPFunction BinPDefined in bin-0.1.4 · Data.BinPHashable BinPDefined in bin-0.1.4 · Data.BinPTestEquality SBinPDefined in bin-0.1.4 · Data.Type.BinPEqP PosPDefined in bin-0.1.4 · Data.BinP.PosPEqP SBinPDefined in bin-0.1.4 · Data.Type.BinPGEq SBinPDefined in bin-0.1.4 · Data.Type.BinPGNFData SBinPDefined in bin-0.1.4 · Data.Type.BinPGShow PosPDefined in bin-0.1.4 · Data.BinP.PosPGShow SBinPDefined in bin-0.1.4 · Data.Type.BinPOrdP PosPDefined in bin-0.1.4 · Data.BinP.PosPSNatI n => GShow (PosP' n)Defined in bin-0.1.4 · Data.BinP.PosP