tfp-1.0.1: Type-level integers, booleans, lists using type families
Type.Data.Num.Unary.Literal
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 #
type U11 = Succ U10 Source #
type U12 = Succ U11 Source #
type U13 = Succ U12 Source #
type U14 = Succ U13 Source #
type U15 = Succ U14 Source #
type U16 = Succ U15 Source #
type U17 = Succ U16 Source #
type U18 = Succ U17 Source #
type U19 = Succ U18 Source #
type U20 = Succ U19 Source #
type U21 = Succ U20 Source #
type U22 = Succ U21 Source #
type U23 = Succ U22 Source #
type U24 = Succ U23 Source #
type U25 = Succ U24 Source #
type U26 = Succ U25 Source #
type U27 = Succ U26 Source #
type U28 = Succ U27 Source #
type U29 = Succ U28 Source #
type U30 = Succ U29 Source #
type U31 = Succ U30 Source #
type U32 = Succ U31 Source #
type U33 = Succ U32 Source #
type U34 = Succ U33 Source #
type U35 = Succ U34 Source #
type U36 = Succ U35 Source #
type U37 = Succ U36 Source #
type U38 = Succ U37 Source #
type U39 = Succ U38 Source #
type U40 = Succ U39 Source #
type U41 = Succ U40 Source #
type U42 = Succ U41 Source #
type U43 = Succ U42 Source #
type U44 = Succ U43 Source #
type U45 = Succ U44 Source #
type U46 = Succ U45 Source #
type U47 = Succ U46 Source #
type U48 = Succ U47 Source #
type U49 = Succ U48 Source #
type U50 = Succ U49 Source #
type U51 = Succ U50 Source #
type U52 = Succ U51 Source #
type U53 = Succ U52 Source #
type U54 = Succ U53 Source #
type U55 = Succ U54 Source #
type U56 = Succ U55 Source #
type U57 = Succ U56 Source #
type U58 = Succ U57 Source #
type U59 = Succ U58 Source #
type U60 = Succ U59 Source #
type U61 = Succ U60 Source #
type U62 = Succ U61 Source #
type U63 = Succ U62 Source #
type U64 = Succ U63 Source #
u0 :: Proxy U0 Source #
u1 :: Proxy U1 Source #
u2 :: Proxy U2 Source #
u3 :: Proxy U3 Source #
u4 :: Proxy U4 Source #
u5 :: Proxy U5 Source #
u6 :: Proxy U6 Source #
u7 :: Proxy U7 Source #
u8 :: Proxy U8 Source #
u9 :: Proxy U9 Source #
u10 :: Proxy U10 Source #
u11 :: Proxy U11 Source #
u12 :: Proxy U12 Source #
u13 :: Proxy U13 Source #
u14 :: Proxy U14 Source #
u15 :: Proxy U15 Source #
u16 :: Proxy U16 Source #
u17 :: Proxy U17 Source #
u18 :: Proxy U18 Source #
u19 :: Proxy U19 Source #
u20 :: Proxy U20 Source #
u21 :: Proxy U21 Source #
u22 :: Proxy U22 Source #
u23 :: Proxy U23 Source #
u24 :: Proxy U24 Source #
u25 :: Proxy U25 Source #
u26 :: Proxy U26 Source #
u27 :: Proxy U27 Source #
u28 :: Proxy U28 Source #
u29 :: Proxy U29 Source #
u30 :: Proxy U30 Source #
u31 :: Proxy U31 Source #
u32 :: Proxy U32 Source #
u33 :: Proxy U33 Source #
u34 :: Proxy U34 Source #
u35 :: Proxy U35 Source #
u36 :: Proxy U36 Source #
u37 :: Proxy U37 Source #
u38 :: Proxy U38 Source #
u39 :: Proxy U39 Source #
u40 :: Proxy U40 Source #
u41 :: Proxy U41 Source #
u42 :: Proxy U42 Source #
u43 :: Proxy U43 Source #
u44 :: Proxy U44 Source #
u45 :: Proxy U45 Source #
u46 :: Proxy U46 Source #
u47 :: Proxy U47 Source #
u48 :: Proxy U48 Source #
u49 :: Proxy U49 Source #
u50 :: Proxy U50 Source #
u51 :: Proxy U51 Source #
u52 :: Proxy U52 Source #
u53 :: Proxy U53 Source #
u54 :: Proxy U54 Source #
u55 :: Proxy U55 Source #
u56 :: Proxy U56 Source #
u57 :: Proxy U57 Source #
u58 :: Proxy U58 Source #
u59 :: Proxy U59 Source #
u60 :: Proxy U60 Source #
u61 :: Proxy U61 Source #
u62 :: Proxy U62 Source #
u63 :: Proxy U63 Source #
u64 :: Proxy U64 Source #