peano-inf-0.6: Lazy Peano numbers including observable infinity value.

Number.Peano.Inf.Functions

Synopsis

Documentation

minimum :: [Nat] -> Nat Source

Minimum of the list elements. Works also for empty lists.

maximum :: [Nat] -> Nat Source

Maximum of the list elements. Works also for empty lists.

length :: [a] -> Nat Source