BSD-3-Clause licensed by Moritz Schulte
This version can be pinned in stack with:type-level-integers-0.0.1@sha256:0bc7477694e0f39e48c2d318e673ca3469b8826feeeffb9945e9add2f6a05729,1135

Module documentation for 0.0.1

Depends on 1 package(full list with versions):


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.