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

Latest on Hackage:0.0.1

See all snapshots type-level-integers appears in

BSD-3-Clause licensed by Moritz Schulte

Module documentation for 0.0.1

This version can be pinned in stack with:type-level-integers-0.0.1@sha256:0bc7477694e0f39e48c2d318e673ca3469b8826feeeffb9945e9add2f6a05729,1135


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(full list with versions):