bin

Bin: binary natural numbers.

Version on this page:	0.1.3@rev:1
LTS Haskell 24.18:	0.1.4@rev:2
Stackage Nightly 2025-07-18:	0.1.4@rev:2
Latest on Hackage:	0.1.4@rev:2

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.3@sha256:899688014415c55fd5e4c89e06ec2dda59d209e9f49cc3353fa3cd4aa3d89069,2422

Module documentation for 0.1.3

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 nightly-2023-12-28(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.3

Add EqP and OrdP instances.
Add GShow Pos/P instances.
Better ‘PosP.toNatural’ implementation.

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.