Popularity
2.1
Declining
Activity
0.0
Stable
2
3
0
Monthly Downloads: 12
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
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.
InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
Promo
www.influxdata.com
Do you think we are missing an alternative of type-level-integers or a related project?
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.