type-level-natural-number-1.0: Simple, Haskell 2010-compatible type level natural numbers

TypeLevel.NaturalNumber

Documentation

data Zero Source

Instances

Eq Zero
Ord Zero
Show Zero
NaturalNumber Zero

data SuccessorTo n Source

Instances

NaturalNumber n => Eq (SuccessorTo n)
NaturalNumber n => Ord (SuccessorTo n)
NaturalNumber n => Show (SuccessorTo n)
NaturalNumber n => NaturalNumber (SuccessorTo n)

type N0 = Zero Source

type N1 = SuccessorTo N0 Source

type N2 = SuccessorTo N1 Source

type N3 = SuccessorTo N2 Source

type N4 = SuccessorTo N3 Source

type N5 = SuccessorTo N4 Source

type N6 = SuccessorTo N5 Source

type N7 = SuccessorTo N6 Source

type N8 = SuccessorTo N7 Source

type N9 = SuccessorTo N8 Source

type N10 = SuccessorTo N9 Source

type N11 = SuccessorTo N10 Source

type N12 = SuccessorTo N11 Source

type N13 = SuccessorTo N12 Source

type N14 = SuccessorTo N13 Source

type N15 = SuccessorTo N14 Source

type One = N1 Source

type Two = N2 Source

type Three = N3 Source

type Four = N4 Source

type Five = N5 Source

type Six = N6 Source

type Seven = N7 Source

type Eight = N8 Source

type Nine = N9 Source

type Ten = N10 Source

type Eleven = N11 Source

type Twelve = N12 Source

type Thirteen = N13 Source

type Fourteen = N14 Source

type Fifteen = N15 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

n10 :: N10 Source

n11 :: N11 Source

n12 :: N12 Source

n13 :: N13 Source

n14 :: N14 Source

n15 :: N15 Source

predecessorOf :: SuccessorTo n -> nSource

successorTo :: n -> SuccessorTo nSource

class NaturalNumber n whereSource

Methods

naturalNumberAsInt :: n -> Int Source

Instances

NaturalNumber Zero
NaturalNumber n => NaturalNumber (SuccessorTo n)