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

Safe Haskell	None

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