@hackage bin0.1

Bin: binary natural numbers.

Categories
- Mathematics
License
GPL-2.0-or-later
Maintainer
Oleg.Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 0.1.4 Fri, 2 May 2025
- 0.1.3 Tue, 24 Oct 2023
- 0.1.2 Mon, 22 Aug 2022
- 0.1.1 Sun, 28 Feb 2021
- 0.1 Sat, 28 Mar 2020

Installation
In your cabal file:
Tested Compilers
Dependencies (7)
- QuickCheck ^>=2.13.2 || ^>=2.14
- base >=4.7 && <4.15
- dec ^>=0.0.3
- deepseq >=1.3.0.2 && <1.5
- fin ^>=0.1.1
- hashable >=1.2.7.0 && <1.4
Dependents (5)
@hackage/overloaded, @hackage/ral-lens, @hackage/ral, @hackage/boring, @hackage/ral-optics

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.