type-level-numbers-0.1.1.0: Type level numbers implemented using type families.
TypeLevel.Number.Nat.Num
type N0 = Z Source
type N1 = I Z Source
type N2 = O (I Z) Source
type N3 = I (I Z) Source
type N4 = O (O (I Z)) Source
type N5 = I (O (I Z)) Source
type N6 = O (I (I Z)) Source
type N7 = I (I (I Z)) Source
type N8 = O (O (O (I Z))) Source
type N9 = I (O (O (I Z))) Source
n0 :: N0 Source
n1 :: N1 Source
n2 :: N2 Source
n3 :: N3 Source
n4 :: N4 Source
n5 :: N5 Source
n6 :: N6 Source
n7 :: N7 Source
n8 :: N8 Source
n9 :: N9 Source