type-level-integers

Provides integers lifted to the type level

https://github.com/mtesseract/type-level-integers

LTS Haskell 22.39:	0.0.1
Stackage Nightly 2024-10-31:	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 [email protected]

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

Module documentation for 0.0.1

Data
- Data.Type
  - Data.Type.Integer

Depends on 1 package(full list with versions):

base

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.