Provides integers lifted to the type level https://github.com/mtesseract/type-level-integers

Version on this page:0.0.1
LTS Haskell 13.22:0.0.1
Stackage Nightly 2019-05-23:0.0.1
Latest on Hackage:0.0.1

See all snapshots type-level-integers appears in

BSD-3-Clause licensed by Moritz Schulte
Maintained by mtesseract@silverratio.net

Module documentation for 0.0.1


This Haskell package implements naive type level integers. It exposes the module Data.Type.Integer which exports a new kind LiftedInt populated by the types Z (zero) and LInt Sign PosNat. In other words, a (type level) integer is either zero or a positive natural number together with a sign.

The module exports the type families LIntSucc, LIntPred, LIntInvert, LIntPlus and LIntMinus for manipulating types of kind LiftedInt.

Depends on 1 package:
Used by 1 package:
comments powered byDisqus