Math.Ordinals.MultiSet

Documentation

newtype Ordinal

Constructors

O [Ordinal]

Instances

Enum Ordinal

Eq Ordinal

Integral Ordinal

Num Ordinal

Ord Ordinal

Real Ordinal

Show Ordinal