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

Safe HaskellSafe
LanguageHaskell2010

Type.Data.Num.Decimal.Digit.Proof

Documentation

data Nat d #

Constructors

C d => Nat 

data Pos d #

Constructors

Pos d => Pos 

data UnaryNat d #

Constructors

Natural (ToUnary d) => UnaryNat 

unaryNat :: C d => UnaryNat d #

unaryNatImpl :: Nat d -> Nat (ToUnary d) #

data UnaryPos d #

Constructors

Positive (ToUnary d) => UnaryPos 

unaryPos :: Pos d => UnaryPos d #

unaryPosImpl :: Pos d -> Pos (ToUnary d) #