tfp-1.0: Type-level integers, booleans, lists using type families

Safe HaskellSafe-Inferred
LanguageHaskell2010

Type.Data.Num.Decimal.Proof

Documentation

data Digits xs Source

Constructors

Digits xs => Digits 

data UnaryNat n Source

Constructors

Natural (ToUnary n) => UnaryNat 

unaryNat :: Natural n => UnaryNat n Source

data UnaryPos n Source

Constructors

Positive (ToUnary n) => UnaryPos 

unaryPos :: Positive n => UnaryPos n Source