Modules

Juvix
• Builtin

  • V1

    • Juvix.Builtin.V1.Bool
    • Juvix.Builtin.V1.List
    • Juvix.Builtin.V1.String
    • Juvix.Builtin.V1.Nat

      • Juvix.Builtin.V1.Nat.Base
    • Juvix.Builtin.V1.Fixity
    • Trait

      • Juvix.Builtin.V1.Trait.Natural
      • Juvix.Builtin.V1.Trait.FromNatural
    • Juvix.Builtin.V1.Maybe
index
Stdlib
• Data

  • Stdlib.Data.Map
  • Stdlib.Data.Int

    • Stdlib.Data.Int.Ord
    • Stdlib.Data.Int.Base
  • Stdlib.Data.Result

    • Stdlib.Data.Result.Base
  • Stdlib.Data.UnbalancedSet
  • Stdlib.Data.Bool

    • Stdlib.Data.Bool.Base
  • Stdlib.Data.Unit

    • Stdlib.Data.Unit.Base
  • Stdlib.Data.Tree
  • Stdlib.Data.List

    • Stdlib.Data.List.Base
  • Stdlib.Data.String

    • Stdlib.Data.String.Ord
    • Stdlib.Data.String.Base
  • Stdlib.Data.Nat

    • Stdlib.Data.Nat.Ord
    • Stdlib.Data.Nat.Base
  • Stdlib.Data.Fixity
  • Stdlib.Data.Pair

    • Stdlib.Data.Pair.Base
  • Stdlib.Data.Byte

    • Stdlib.Data.Byte.Base
  • Stdlib.Data.Ordering
  • Stdlib.Data.BinaryTree
  • Stdlib.Data.Field

    • Stdlib.Data.Field.Base
  • Stdlib.Data.Maybe

    • Stdlib.Data.Maybe.Base
  • Stdlib.Data.Set
  • Stdlib.Data.Queue

    • Stdlib.Data.Queue.Base
  • Stdlib.Data.Range
• Cairo

  • Stdlib.Cairo.Ec
  • Stdlib.Cairo.Pedersen
  • Stdlib.Cairo.Poseidon
• Stdlib.Trait

  • Stdlib.Trait.Ord
  • Stdlib.Trait.Foldable

    • Stdlib.Trait.Foldable.Monomorphic
    • Stdlib.Trait.Foldable.Polymorphic
  • Stdlib.Trait.DivMod
  • Stdlib.Trait.Integral
  • Stdlib.Trait.Applicative
  • Stdlib.Trait.Natural
  • Stdlib.Trait.Traversable

    • Stdlib.Trait.Traversable.Monomorphic
    • Stdlib.Trait.Traversable.Polymorphic
  • Stdlib.Trait.Monad
  • Stdlib.Trait.Partial
  • Stdlib.Trait.Semigroup
  • Stdlib.Trait.FromNatural
  • Stdlib.Trait.Functor

    • Stdlib.Trait.Functor.Monomorphic
    • Stdlib.Trait.Functor.Polymorphic
  • Stdlib.Trait.Numeric
  • Stdlib.Trait.Show
  • Stdlib.Trait.Eq
• Stdlib.Function
• Stdlib.Prelude
• Stdlib.Debug

  • Stdlib.Debug.Trace
  • Stdlib.Debug.Todo
  • Stdlib.Debug.Fail
• Extra

  • Stdlib.Extra.Gcd
• System

  • Stdlib.System.IO

    • Stdlib.System.IO.Int
    • Stdlib.System.IO.Bool
    • Stdlib.System.IO.String
    • Stdlib.System.IO.Nat
    • Stdlib.System.IO.Base