bin

Bin: binary natural numbers.

Modules

7 modules

Data.Bin26Binary natural numbers, Bin. This module is designed to be imported qualified.
Data.Bin.Pos11
Data.BinP17Positive binary natural numbers, BinP. This module is designed to be imported qualified.
Data.BinP.PosP15
Data.Type.Bin38Binary natural numbers. DataKinds stuff.
Data.Type.BinP26Positive binary natural numbers. DataKinds stuff.
Data.Wrd23Fixed-Wrdth (unsigned) integers.

This package provides binary natural numbers (Data.Bin); also utilities to work on the type level with DataKinds (Data.Type.Bin).

data Bin = BZ -- ^ zero | BP BinP -- ^ non-zero data BinP = BE -- ^ one | B0 BinP -- ^ double | B1 BinP -- ^ double plus 1

There are ordinals in Data.Bin.Pos module, as well as fixed width integers in Data.Wrd.

Another implementation is at https://hackage.haskell.org/package/nat, this differs in naming, and provides promoted variant.

7 packages

Nothing in this set depends on it.