Data.Peano

Documentation

data Peano

Constructors

Zero

Succ Peano

Instances

Bounded Peano

Enum Peano

Eq Peano

Integral Peano

Data Peano

Num Peano

Ord Peano

Read Peano

Real Peano

Show Peano

Ix Peano

Typeable * Peano

infinity :: Peano