This package provides binary natural numbers (
also utilities to work on the type level with
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
Another implementation is at https://hackage.haskell.org/package/nat, this differs in naming, and provides promoted variant.
Version history for bin
- First version. Released on an unsuspecting world.