type-level-numbers-0.1.1.1: Type level numbers implemented using type families.

Safe HaskellNone
LanguageHaskell98

TypeLevel.Number.Nat.Num

Documentation

type N0 = Z #

type N1 = I Z #

type N2 = O (I Z) #

type N3 = I (I Z) #

type N4 = O (O (I Z)) #

type N5 = I (O (I Z)) #

type N6 = O (I (I Z)) #

type N7 = I (I (I Z)) #

type N8 = O (O (O (I Z))) #

type N9 = I (O (O (I Z))) #

n0 :: N0 #

n1 :: N1 #

n2 :: N2 #

n3 :: N3 #

n4 :: N4 #

n5 :: N5 #

n6 :: N6 #

n7 :: N7 #

n8 :: N8 #

n9 :: N9 #