Number.Peano.Inf

Lazy Peano numbers including observable infinity value.

Documentation

data Nat

Natural numbers and infinity.

Constructors

Zero

Succ Nat

Instances

Enum Nat

Eq Nat

Integral Nat

Num Nat

Ord Nat

Real Nat

Show Nat

infinity :: Nat

Observable infinity value.

isInfinity :: Nat -> Bool

True for (infinity), (5 + 4 * infinity) etc. Evaluates to bottom for (genericLength [1..]).

(-|) :: Nat -> Nat -> Nat

Subtraction maximized to 0. For example, (5 -| 8 == 0).