Modulebin-0.1.4.1Haskell2010

Data.BinP

Positive binary natural numbers, BinP.

This module is designed to be imported qualified.

Contents

Synopsis

datadata BinP

Non-zero binary natural numbers.

We could have called this type Bin1, but that's used as type alias for promoted BP BE in Data.Type.Bin.

Instances23Enum, Eq, Integral, Data, Num, Ord, …

Ord BinPDefined in bin-0.1.4.1 · Data.BinP

Example1 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.1 · Data.BinP
Show BinPDefined in bin-0.1.4.1 · Data.BinP
Bits BinPDefined in bin-0.1.4.1 · Data.BinP
NOTE: .&., xor, shiftR and rotateR are __NOT_ implemented. They may make number zero.
NFData BinPDefined in bin-0.1.4.1 · Data.BinP
Arbitrary BinPDefined in bin-0.1.4.1 · Data.BinP
CoArbitrary BinPDefined in bin-0.1.4.1 · Data.BinP
Function BinPDefined in bin-0.1.4.1 · Data.BinP
Hashable BinPDefined in bin-0.1.4.1 · Data.BinP
TestEquality SBinPDefined in bin-0.1.4.1 · Data.Type.BinP
EqP PosPDefined in bin-0.1.4.1 · Data.BinP.PosP
EqP SBinPDefined in bin-0.1.4.1 · Data.Type.BinP
GEq SBinPDefined in bin-0.1.4.1 · Data.Type.BinP
GNFData SBinPDefined in bin-0.1.4.1 · Data.Type.BinP
GShow PosPDefined in bin-0.1.4.1 · Data.BinP.PosP
GShow SBinPDefined in bin-0.1.4.1 · Data.Type.BinP
OrdP PosPDefined in bin-0.1.4.1 · Data.BinP.PosP
SNatI n => GShow (PosP' n)Defined in bin-0.1.4.1 · Data.BinP.PosP