examples - 0.0.0
Modules
▼ Hide all modules
index
Data
Data.Map
Data.Tree
Data.Set
Data.Set.AVL
Data.BinaryTree
Data.Tmp
KudosIntents
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.Unit
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.Field
Stdlib.Data.Field.Base
Stdlib.Data.Int
Stdlib.Data.Int.Base
Stdlib.Data.Int.Ord
Stdlib.Data.Product
Stdlib.Data.Product.Base
Stdlib.Trait
Stdlib.Trait.Eq
Stdlib.Trait.Numeric
Stdlib.Trait.Partial
Stdlib.Trait.DivMod
Stdlib.Trait.Integral
Stdlib.Trait.Natural
Stdlib.Trait.Show
Stdlib.Trait.Ord
Debug
Stdlib.Debug.Fail
Stdlib.Prelude
System
Stdlib.System.IO
Stdlib.System.IO.Nat
Stdlib.System.IO.String
Stdlib.System.IO.Bool
Stdlib.System.IO.Int
Stdlib.System.IO.Base
Stdlib.Function
Kudos
Kudos.Asset
Kudos.ExampleKinds
Kudos.Logic
Kudos.IntentDsl
CounterTransaction
Anoma
Anoma.Transaction
Anoma.Logic
Internal
Anoma.Internal.Transaction
Anoma.Types
Anoma.Extra
Anoma.System