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 #

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 #