Popularity
2.6
Growing
Activity
0.0
Stable
2
3
0
Monthly Downloads: 10
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.
-
type-aligned
Various type-aligned sequence data structures. -
type-combinators
Type level lists, pairs, sums, their operations, and their properties. -
type-equality
Haskell definition of type equality, coercion/cast and other operations. -
-
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs -
type-level-tf
Type level numerics for Haskell using type families. Based on type-level. -
type-combinators-singletons
Interop between type-combinators and singletons library -
type-combinators-quote
Quasiquoters for the 'type-combinators' library.
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Promo
www.influxdata.com
Do you think we are missing an alternative of type-level-integers or a related project?
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
Popular Comparisons
-
type-level-integersvstype-unary
-
type-level-integersvstype-map
-
type-level-integersvstype-unary
-
type-level-tfvstype-map
-
type-level-integersvstype-map
|
Free Global Payroll designed for tech teams
sponsored
try.revelo.com
|
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.