tfp-1.0.2: Type-level integers, booleans, lists using type families
Safe HaskellSafe-Inferred
LanguageHaskell2010

Type.Data.Num.Decimal.Digit.Proof

Documentation

data Nat d Source #

Constructors

C d => Nat 

data Pos d Source #

Constructors

Pos d => Pos 

data UnaryNat d Source #

Constructors

Natural (ToUnary d) => UnaryNat 

data UnaryPos d Source #

Constructors

Positive (ToUnary d) => UnaryPos