juvix-docs - 0.0.0

Stdlib.Data.Int

Description

Definitions

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

module IntSource#

open Stdlib.Data.Int.Base.Int public

import Stdlib.Data.Int.Base open public

import Stdlib.Data.Int.Ord open 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#