Data.Digit

A data type with ten nullary constructors and combinators.

Data type

data Digit

A data type with ten nullary constructors.

Instances

Bounded Digit

Enum Digit

Eq Digit

Ord Digit

Read Digit

Show Digit

Arbitrary Digit

Constructors

d0 :: Digit

Zero.

d1 :: Digit

One.

d2 :: Digit

Two.

d3 :: Digit

Three.

d4 :: Digit

Four.

d5 :: Digit

Five.

d6 :: Digit

Six.

d7 :: Digit

Seven.

d8 :: Digit

Eight

d9 :: Digit

Nine.

Decisions

is0 :: Digit -> Bool

Returns whether or not the digit is 0.

is1 :: Digit -> Bool

Returns whether or not the digit is 1.

is2 :: Digit -> Bool

Returns whether or not the digit is 2.

is3 :: Digit -> Bool

Returns whether or not the digit is 3.

is4 :: Digit -> Bool

Returns whether or not the digit is 4.

is5 :: Digit -> Bool

Returns whether or not the digit is 5.

is6 :: Digit -> Bool

Returns whether or not the digit is 6.

is7 :: Digit -> Bool

Returns whether or not the digit is 7.

is8 :: Digit -> Bool

Returns whether or not the digit is 8.

is9 :: Digit -> Bool

Returns whether or not the digit is 9.

Deconstructors

foldDigit

Arguments

:: a

Zero.

-> a

One.

-> a

Two.

-> a

Three.

-> a

Four.

-> a

Five.

-> a

Six.

-> a

Seven.

-> a

Eight.

-> a

Nine.

-> Digit

The digit to fold.

-> a

Catamorphism for Digit.

if0 :: x -> x -> Digit -> x

Return the first argument if zero, otherwise the second argument.

if1 :: x -> x -> Digit -> x

Return the first argument if one, otherwise the second argument.

if2 :: x -> x -> Digit -> x

Return the first argument if two, otherwise the second argument.

if3 :: x -> x -> Digit -> x

Return the first argument if three, otherwise the second argument.

if4 :: x -> x -> Digit -> x

Return the first argument if four, otherwise the second argument.

if5 :: x -> x -> Digit -> x

Return the first argument if five, otherwise the second argument.

if6 :: x -> x -> Digit -> x

Return the first argument if six, otherwise the second argument.

if7 :: x -> x -> Digit -> x

Return the first argument if seven, otherwise the second argument.

if8 :: x -> x -> Digit -> x

Return the first argument if eight, otherwise the second argument.

if9 :: x -> x -> Digit -> x

Return the first argument if nine, otherwise the second argument.

ifEven :: x -> x -> Digit -> x

Return the first argument if even, otherwise the second argument.

ifOdd :: x -> x -> Digit -> x

Return the first argument if odd, otherwise the second argument.