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

Safe HaskellSafe
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 #