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

Safe HaskellNone

TypeLevel.Number.Nat.Num

Documentation

type N0 = ZSource

type N1 = I ZSource

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