bin

Bin: binary natural numbers.

LTS Haskell 20.9:	0.1.2@rev:1
Stackage Nightly 2023-01-31:	0.1.2@rev:1
Latest on Hackage:	0.1.2@rev:1

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.2@sha256:f6c9fc6d51526c06d4018b8545a7c1694e198aa768d00f5d38f70cb01c4e5114,2394

Module documentation for 0.1.2

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

Depends on 8 packages(full list with versions):

base, boring, dec, deepseq, fin, hashable, QuickCheck, some

Used by 1 package in lts-20.3(full list with versions):

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.2

Add boring instances
Add EqBinP and EqBin type families
Add NFData instances
Add GEq, GNFData, GShow (from some package) instances for SBin and SBinP.

0.1.1

Explicitly mark all modules as Safe or Trustworthy.
fin-0.2 support.

0.1

First version. Released on an unsuspecting world.