Documentation

data Zero Source

data SuccessorTo n Source

type N0 = ZeroSource

type N1 = SuccessorTo N0Source

type N2 = SuccessorTo N1Source

type N3 = SuccessorTo N2Source

type N4 = SuccessorTo N3Source

type N5 = SuccessorTo N4Source

type N6 = SuccessorTo N5Source

type N7 = SuccessorTo N6Source

type N8 = SuccessorTo N7Source

type N9 = SuccessorTo N8Source

type N10 = SuccessorTo N9Source

type N11 = SuccessorTo N10Source

type N12 = SuccessorTo N11Source

type N13 = SuccessorTo N12Source

type N14 = SuccessorTo N13Source

type N15 = SuccessorTo N14Source

type One = N1Source

type Two = N2Source

type Three = N3Source

type Four = N4Source

type Five = N5Source

type Six = N6Source

type Seven = N7Source

type Eight = N8Source

type Nine = N9Source

type Ten = N10Source

type Eleven = N11Source

type Twelve = N12Source

type Thirteen = N13Source

type Fourteen = N14Source

type Fifteen = N15Source

n0 :: N0Source

n1 :: N1Source

n2 :: N2Source

n3 :: N3Source

n4 :: N4Source

n5 :: N5Source

n6 :: N6Source

n7 :: N7Source

n8 :: N8Source

n9 :: N9Source

n10 :: N10Source

n11 :: N11Source

n12 :: N12Source

n13 :: N13Source

n14 :: N14Source

n15 :: N15Source

predecessorOf :: SuccessorTo n -> nSource

successorTo :: n -> SuccessorTo nSource

class NaturalNumber n whereSource