Modules

Apps
• Apps.Sudoku

  • Apps.Sudoku.Serializer
  • Apps.Sudoku.Grid
  • Apps.Sudoku.Extra
  • Apps.Sudoku.Validator
Data
• Data.Map
• Data.Tree
• Data.Set

  • Data.Set.AVL
• Data.BinaryTree
• Data.Tmp
• Data.ByteString
ContainersPrelude
Juvix
• Builtin

  • Juvix.Builtin.V1

    • Juvix.Builtin.V1.Fixity
    • Juvix.Builtin.V1.List
    • Juvix.Builtin.V1.Nat

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

      • Juvix.Builtin.V1.Trait.Natural
    • Juvix.Builtin.V1.String
    • Juvix.Builtin.V1.Maybe
    • Juvix.Builtin.V1.Bool
Stdlib
• Data

  • Stdlib.Data.Fixity
  • Stdlib.Data.List

    • Stdlib.Data.List.Base
  • Stdlib.Data.Nat

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

    • Stdlib.Data.String.Base
    • Stdlib.Data.String.Ord
  • Stdlib.Data.Maybe

    • Stdlib.Data.Maybe.Base
  • Stdlib.Data.Bool

    • Stdlib.Data.Bool.Base
  • Stdlib.Data.Int

    • Stdlib.Data.Int.Base
    • Stdlib.Data.Int.Ord
  • Stdlib.Data.Product

    • Stdlib.Data.Product.Base
• Trait

  • Stdlib.Trait.Eq
  • Stdlib.Trait.Partial
  • Stdlib.Trait.Integral
  • Stdlib.Trait.Natural
  • Stdlib.Trait.Show
  • Stdlib.Trait.Ord
• Debug

  • Stdlib.Debug.Fail
• System

  • IO

    • Stdlib.System.IO.Nat
    • Stdlib.System.IO.String
    • Stdlib.System.IO.Base
• Stdlib.Function
Anoma
• Anoma.Resource
• Anoma.Kind
• Anoma.BuiltinResources
• Anoma.Prelude
• Anoma.PartialTx
• Anoma.Balance