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 #