Popularity
2.3
Declining
Activity
0.0
Stable
2
2
0

Monthly Downloads: 9
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data     Type    
Latest version: v0.0.1

type-level-integers alternatives and similar packages

Based on the "type" category.
Alternatively, view type-level-integers alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of type-level-integers or a related project?

Add another 'type' Package

README

type-level-integers Hackage version Stackage version Build Status

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.