Monadoc
The latest version of bin is 0.1.4-1.

bin

Version 0.1.2 revision 1 uploaded by phadej.

Package meta

Synopsis
Bin: binary natural numbers.
Description

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.

Author
Oleg Grenrus <oleg.grenrus@iki.fi>
Bug reports
https://github.com/phadej/vec/issues
Category
Data, Dependent Types, Singletons, Math
Copyright
(c) 2019-2021 Oleg Grenrus
Homepage
https://github.com/phadej/vec
Maintainer
Oleg.Grenrus <oleg.grenrus@iki.fi>
Package URL
n/a
Stability
n/a

Components