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

Safe Haskell | None
Language | Haskell2010

TypeLevel.Number.Nat.Num

# Documentation

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 #