Pandora.Paradigm.Primary.Object.Natural
data Natural Source #
Constructors
Defined in Pandora.Paradigm.Primary.Object.Natural
Methods
(+) :: Natural -> Natural -> Natural Source #
(*) :: Natural -> Natural -> Natural Source #
zero :: Natural Source #
one :: Natural Source #
(==) :: Natural -> Natural -> Boolean Source #
(/=) :: Natural -> Natural -> Boolean Source #
(<=>) :: Natural -> Natural -> Ordering Source #
(<) :: Natural -> Natural -> Boolean Source #
(<=) :: Natural -> Natural -> Boolean Source #
(>) :: Natural -> Natural -> Boolean Source #
(>=) :: Natural -> Natural -> Boolean Source #