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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Type.Data.Num.Decimal.Literal

Documentation

type Pos1 p0 = Pos p0 EndDesc Source

type Pos2 p1 p0 = Pos p1 (p0 :> EndDesc) Source

type Pos3 p2 p1 p0 = Pos p2 (p1 :> (p0 :> EndDesc)) Source

type Pos4 p3 p2 p1 p0 = Pos p3 (p2 :> (p1 :> (p0 :> EndDesc))) Source

type Pos5 p4 p3 p2 p1 p0 = Pos p4 (p3 :> (p2 :> (p1 :> (p0 :> EndDesc)))) Source

type Pos6 p5 p4 p3 p2 p1 p0 = Pos p5 (p4 :> (p3 :> (p2 :> (p1 :> (p0 :> EndDesc))))) Source

type Pos7 p6 p5 p4 p3 p2 p1 p0 = Pos p6 (p5 :> (p4 :> (p3 :> (p2 :> (p1 :> (p0 :> EndDesc)))))) Source

type Neg1 p0 = Neg p0 EndDesc Source

type Neg2 p1 p0 = Neg p1 (p0 :> EndDesc) Source

type Neg3 p2 p1 p0 = Neg p2 (p1 :> (p0 :> EndDesc)) Source

type Neg4 p3 p2 p1 p0 = Neg p3 (p2 :> (p1 :> (p0 :> EndDesc))) Source

type Neg5 p4 p3 p2 p1 p0 = Neg p4 (p3 :> (p2 :> (p1 :> (p0 :> EndDesc)))) Source

type Neg6 p5 p4 p3 p2 p1 p0 = Neg p5 (p4 :> (p3 :> (p2 :> (p1 :> (p0 :> EndDesc))))) Source

type Neg7 p6 p5 p4 p3 p2 p1 p0 = Neg p6 (p5 :> (p4 :> (p3 :> (p2 :> (p1 :> (p0 :> EndDesc)))))) Source

type D0 = Zero Source