tfp-1.0.2: 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 #