bin: Bin: binary natural numbers.

[ data, dependent-types, gpl, library, math, singletons ] [ Propose Tags ]

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.

Versions [faq] 0.1
Change log ChangeLog.md
Dependencies base (>=4.7 && <4.14), dec (>=0.0.3 && <0.1), deepseq (>=1.3.0.2 && <1.5), fin (>=0.1.1 && <0.2), hashable (>=1.2.7.0 && <1.4), nats (>=1.1.2 && <1.2), QuickCheck (>=2.13.2 && <2.14) [details]
License GPL-2.0-or-later
Copyright (c) 2019 Oleg Grenrus
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg.Grenrus <oleg.grenrus@iki.fi>
Category Data, Dependent Types, Singletons, Math
Home page https://github.com/phadej/vec
Bug tracker https://github.com/phadej/vec/issues
Source repo head: git clone https://github.com/phadej/vec.git(bin)
Uploaded by phadej at Fri Dec 13 13:38:48 UTC 2019
Distributions NixOS:0.1
Downloads 102 total (48 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-12-13 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees