HelloWorld - 0.1.0

Stdlib.Data.Int

Description

Definitions

import Stdlib.Data.Int.Base open hiding {+; -; *; div; mod} public

builtin int-to-string axiom intToString : Int -> StringSource#

Converts an Int into String.

instance eqIntI : Eq IntSource#

instance ordIntI : Ord IntSource#

instance showIntI : Show IntSource#

instance fromNaturalIntI : FromNatural IntSource#

instance naturalIntI : Natural IntSource#

instance integralIntI : Integral IntSource#

instance divModIntI : DivMod IntSource#