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

Safe HaskellSafe
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 #