typed-digits: Digits, indexed by their base at the type level

Versions [RSS]	0.1.0.0
Change log	ChangeLog.md
Dependencies	base (>=4.7 && <5), nats, singletons (>=2.3) [details]
Tested with	ghc ==8.6.5 \|\| ==8.4.4 \|\| ==8.2.2
License	MIT
Copyright	2019 Arran Stewart
Author	Arran Stewart
Maintainer	haskell-maintenance@arranstewart.info
Category	Data
Home page	https://github.com/arranstewart/hs-typed-digits#readme
Bug tracker	https://github.com/arranstewart/hs-typed-digits/issues
Source repo	head: git clone https://github.com/arranstewart/hs-typed-digits
Uploaded	by arran at 2019-12-12T10:54:41Z
Distributions
Downloads	429 total (5 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]

Readme for typed-digits-0.1.0.0

[back to package description]

typed-digits

Provides a Digit type, with the base of the digit available as a type-level Nat. Thus, it can be guaranteed at compile-time that digits of different bases can't be added together.

Usage example

For more convenient provision of type-level parameters, it's recommended to use the DataKinds and TypeApplications extensions. Then, you can give type-level parameters using @, as seen below, instead of giving the full type.

>>> :set -XDataKinds -XTypeApplications
>>> import Data.TypedDigits
>>> let d = digit @9 3
>>> d
Just 3 (base 9)

Source tree contents

src: Library source files
test: Unit tests
doctest: Documentation tests using doctest