bin: Bin: binary natural numbers.
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.
Modules
[Index] [Quick Jump]
Downloads
- bin-0.1.4.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4 |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=4.12.0.0 && <4.21), boring (>=0.2.2 && <0.3), dec (>=0.0.6 && <0.1), deepseq (>=1.4.4.0 && <1.6), fin (>=0.3.1 && <0.4), hashable (>=1.4.4.0 && <1.5 || >=1.5.0.0 && <1.6), QuickCheck (>=2.14.2 && <2.16), some (>=1.0.6 && <1.1) [details] |
License | GPL-2.0-or-later |
Copyright | (c) 2019-2021 Oleg Grenrus |
Author | Oleg Grenrus <oleg.grenrus@iki.fi> |
Maintainer | Oleg.Grenrus <oleg.grenrus@iki.fi> |
Revised | Revision 1 made by phadej at 2024-08-24T21:13:19Z |
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 2024-06-08T14:36:13Z |
Distributions | Arch:0.1.3, LTSHaskell:0.1.3, NixOS:0.1.3, Stackage:0.1.4 |
Reverse Dependencies | 5 direct, 7864 indirect [details] |
Downloads | 8177 total (158 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2024-06-08 [all 1 reports] |