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.
Interop between type-combinators and singletons library
Do you think we are missing an alternative of type-level-integers or a related project?
This Haskell package implements naive type level integers. It exposes
Data.Type.Integer which exports a new kind
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
LIntMinus for manipulating types of