Data.Numerable

Cardinal definitions

Documentation

data Essence

All sets can be one and only one:

• a empty set
• a set with, at least, one element

Constructors

Empty

Occupied

Instances

Bounded Essence

Methods

minBound :: Essence

maxBound :: Essence

Eq Essence

Methods

(==) :: Essence -> Essence -> Bool

(/=) :: Essence -> Essence -> Bool

Ord Essence

Methods

compare :: Essence -> Essence -> Ordering

(<) :: Essence -> Essence -> Bool

(<=) :: Essence -> Essence -> Bool

(>) :: Essence -> Essence -> Bool

(>=) :: Essence -> Essence -> Bool

max :: Essence -> Essence -> Essence

min :: Essence -> Essence -> Essence

Show Essence

Methods

showsPrec :: Int -> Essence -> ShowS

show :: Essence -> String

showList :: [Essence] -> ShowS

data Discrete

Simple cardinality definition, we work here with numerable sets.

All numerable set have one and only one:

1. A finite size
2. A infinite size

Constructors

Fin Integer

Numerable

Instances

Bounded Discrete

Bound limits for numerable cardinality

Methods

minBound :: Discrete

maxBound :: Discrete

Eq Discrete

Methods

(==) :: Discrete -> Discrete -> Bool

(/=) :: Discrete -> Discrete -> Bool

Ord Discrete

Order for numerable cardinality

Methods

compare :: Discrete -> Discrete -> Ordering

(<) :: Discrete -> Discrete -> Bool

(<=) :: Discrete -> Discrete -> Bool

(>) :: Discrete -> Discrete -> Bool

(>=) :: Discrete -> Discrete -> Bool

max :: Discrete -> Discrete -> Discrete

min :: Discrete -> Discrete -> Discrete

Show Discrete

Methods

showsPrec :: Int -> Discrete -> ShowS

show :: Discrete -> String

showList :: [Discrete] -> ShowS