@hackage / type-level-integers

Provides integers lifted to the type level

Latest0.0.1

About

Metadata

  • Last updated , by mtesseract
  • License BSD-3-Clause

  • Maintained by: mtesseract@silverratio.net

  • Lottery factor: 0

Links

Installation

Readme

type-level-integers

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.