stdlib - 0.0.1

Stdlib.Data.Nat

Description

Definitions

import Juvix.Builtin.V1.Nat open hiding {module Nat} public

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

module NatSource#

open Stdlib.Data.Nat.Base.Nat public

import Stdlib.Data.Nat.Base open public

import Stdlib.Data.Nat.Ord open public

import Stdlib.Trait.Eq open public

import Stdlib.Trait.Ord open public

import Stdlib.Trait.Show open public

import Stdlib.Trait.Natural open public

import Stdlib.Trait.FromNatural open public

import Stdlib.Trait.DivMod open public

builtin nat-to-string axiom natToString : Nat -> StringSource#

Converts a Nat into a String.

builtin string-to-nat axiom stringToNat : String -> NatSource#

Partial function that converts a String into a Nat.

instance eqNatI : Eq NatSource#

instance ordNatI : Ord NatSource#

instance showNatI : Show NatSource#

instance divModNatI : DivMod NatSource#