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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Type.Data.Num.Unary.Literal

Documentation

type U0 = Zero Source

type U1 = Succ U0 Source

type U2 = Succ U1 Source

type U3 = Succ U2 Source

type U4 = Succ U3 Source

type U5 = Succ U4 Source

type U6 = Succ U5 Source

type U7 = Succ U6 Source

type U8 = Succ U7 Source

type U9 = Succ U8 Source

type U10 = Succ U9 Source