Popularity
2.2
Declining
Activity
0.0
Stable
2
2
0
Monthly Downloads: 11
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-combinators-singletons
Interop between type-combinators and singletons library -
type-level-tf
Type level numerics for Haskell using type families. Based on type-level. -
type-combinators-quote
Quasiquoters for the 'type-combinators' library.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org
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
.