bin

Bin: binary natural numbers.

Version on this page:	0.1
LTS Haskell 20.23:	0.1.2@rev:1
Stackage Nightly 2023-05-28:	0.1.3
Latest on Hackage:	0.1.3

See all snapshots bin appears in

GPL-2.0-or-later licensed by Oleg Grenrus

Maintained by Oleg.Grenrus

This version can be pinned in stack with:bin-0.1@sha256:e19a0fc86f93f6849ad7e02247149bbc6d15abdc04fa5d51ab43eb744dd72a7f,2010

Module documentation for 0.1

Data
- Data.Bin
  - Data.Bin.Pos
- Data.BinP
  - Data.BinP.PosP
- Data.Type
  - Data.Type.Bin
  - Data.Type.BinP
- Data.Wrd

Depends on 6 packages(full list with versions):

base, dec, deepseq, fin, hashable, QuickCheck

Used by 2 packages in lts-15.3(full list with versions):

boring, ral

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.

Changes

Version history for bin

0.1

First version. Released on an unsuspecting world.