├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── Makefile ├── Package.juvix ├── Stdlib ├── Cairo │ ├── Ec.juvix │ ├── Pedersen.juvix │ ├── Poseidon.juvix │ └── RangeCheck.juvix ├── Data │ ├── AppendList.juvix │ ├── AppendList │ │ └── Base.juvix │ ├── BinaryTree.juvix │ ├── Bool.juvix │ ├── Bool │ │ └── Base.juvix │ ├── Byte.juvix │ ├── Byte │ │ └── Base.juvix │ ├── Field.juvix │ ├── Field │ │ └── Base.juvix │ ├── Fixity.juvix │ ├── Int.juvix │ ├── Int │ │ ├── Base.juvix │ │ └── Ord.juvix │ ├── List.juvix │ ├── List │ │ └── Base.juvix │ ├── Map.juvix │ ├── Maybe.juvix │ ├── Maybe │ │ └── Base.juvix │ ├── Nat.juvix │ ├── Nat │ │ ├── Base.juvix │ │ └── Ord.juvix │ ├── Ordering.juvix │ ├── Pair.juvix │ ├── Pair │ │ └── Base.juvix │ ├── Queue.juvix │ ├── Queue │ │ └── Base.juvix │ ├── Range.juvix │ ├── Result.juvix │ ├── Result │ │ └── Base.juvix │ ├── Set.juvix │ ├── String.juvix │ ├── String │ │ ├── Base.juvix │ │ └── Ord.juvix │ ├── Tree.juvix │ ├── UnbalancedSet.juvix │ ├── Unit.juvix │ └── Unit │ │ └── Base.juvix ├── Debug.juvix ├── Debug │ ├── Fail.juvix │ ├── Todo.juvix │ └── Trace.juvix ├── Extra │ └── Gcd.juvix ├── Function.juvix ├── Math.juvix ├── Prelude.juvix ├── System │ ├── IO.juvix │ └── IO │ │ ├── Base.juvix │ │ ├── Bool.juvix │ │ ├── Int.juvix │ │ ├── Nat.juvix │ │ └── String.juvix ├── Trait.juvix └── Trait │ ├── Applicative.juvix │ ├── DivMod.juvix │ ├── Eq.juvix │ ├── Foldable.juvix │ ├── Foldable │ ├── Monomorphic.juvix │ └── Polymorphic.juvix │ ├── FromNatural.juvix │ ├── Functor.juvix │ ├── Functor │ ├── Monomorphic.juvix │ └── Polymorphic.juvix │ ├── Integral.juvix │ ├── Monad.juvix │ ├── Natural.juvix │ ├── Numeric.juvix │ ├── Ord.juvix │ ├── Ord │ └── Eq.juvix │ ├── Partial.juvix │ ├── Semigroup.juvix │ ├── Show.juvix │ ├── Traversable.juvix │ └── Traversable │ ├── Monomorphic.juvix │ └── Polymorphic.juvix ├── index.juvix ├── readme.md └── test ├── .gitignore ├── Makefile ├── Package.juvix ├── Test.juvix └── Test ├── Arb.juvix ├── Map.juvix ├── Queue.juvix ├── Set.juvix └── UnbalancedSet.juvix /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /docs/ 2 | .juvix-build 3 | .history 4 | milestone 5 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Makefile -------------------------------------------------------------------------------- /Package.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Package.juvix -------------------------------------------------------------------------------- /Stdlib/Cairo/Ec.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Cairo/Ec.juvix -------------------------------------------------------------------------------- /Stdlib/Cairo/Pedersen.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Cairo/Pedersen.juvix -------------------------------------------------------------------------------- /Stdlib/Cairo/Poseidon.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Cairo/Poseidon.juvix -------------------------------------------------------------------------------- /Stdlib/Cairo/RangeCheck.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Cairo/RangeCheck.juvix -------------------------------------------------------------------------------- /Stdlib/Data/AppendList.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/AppendList.juvix -------------------------------------------------------------------------------- /Stdlib/Data/AppendList/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/AppendList/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/BinaryTree.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/BinaryTree.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Bool.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Bool.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Bool/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Bool/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Byte.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Byte.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Byte/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Byte/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Field.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Field.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Field/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Field/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Fixity.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Fixity.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Int.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Int.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Int/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Int/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Int/Ord.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Int/Ord.juvix -------------------------------------------------------------------------------- /Stdlib/Data/List.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/List.juvix -------------------------------------------------------------------------------- /Stdlib/Data/List/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/List/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Map.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Map.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Maybe.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Maybe.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Maybe/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Maybe/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Nat.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Nat.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Nat/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Nat/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Nat/Ord.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Nat/Ord.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Ordering.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Ordering.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Pair.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Pair.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Pair/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Pair/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Queue.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Queue.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Queue/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Queue/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Range.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Range.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Result.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Result.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Result/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Result/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Set.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Set.juvix -------------------------------------------------------------------------------- /Stdlib/Data/String.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/String.juvix -------------------------------------------------------------------------------- /Stdlib/Data/String/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/String/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Data/String/Ord.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/String/Ord.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Tree.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Tree.juvix -------------------------------------------------------------------------------- /Stdlib/Data/UnbalancedSet.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/UnbalancedSet.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Unit.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Unit.juvix -------------------------------------------------------------------------------- /Stdlib/Data/Unit/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Data/Unit/Base.juvix -------------------------------------------------------------------------------- /Stdlib/Debug.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Debug.juvix -------------------------------------------------------------------------------- /Stdlib/Debug/Fail.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Debug/Fail.juvix -------------------------------------------------------------------------------- /Stdlib/Debug/Todo.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Debug/Todo.juvix -------------------------------------------------------------------------------- /Stdlib/Debug/Trace.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Debug/Trace.juvix -------------------------------------------------------------------------------- /Stdlib/Extra/Gcd.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Extra/Gcd.juvix -------------------------------------------------------------------------------- /Stdlib/Function.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Function.juvix -------------------------------------------------------------------------------- /Stdlib/Math.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Math.juvix -------------------------------------------------------------------------------- /Stdlib/Prelude.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Prelude.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO/Base.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO/Base.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO/Bool.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO/Bool.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO/Int.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO/Int.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO/Nat.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO/Nat.juvix -------------------------------------------------------------------------------- /Stdlib/System/IO/String.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/System/IO/String.juvix -------------------------------------------------------------------------------- /Stdlib/Trait.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Applicative.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Applicative.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/DivMod.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/DivMod.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Eq.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Eq.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Foldable.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Foldable.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Foldable/Monomorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Foldable/Monomorphic.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Foldable/Polymorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Foldable/Polymorphic.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/FromNatural.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/FromNatural.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Functor.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Functor.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Functor/Monomorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Functor/Monomorphic.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Functor/Polymorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Functor/Polymorphic.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Integral.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Integral.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Monad.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Monad.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Natural.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Natural.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Numeric.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Numeric.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Ord.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Ord.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Ord/Eq.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Ord/Eq.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Partial.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Partial.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Semigroup.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Semigroup.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Show.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Show.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Traversable.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Traversable.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Traversable/Monomorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Traversable/Monomorphic.juvix -------------------------------------------------------------------------------- /Stdlib/Trait/Traversable/Polymorphic.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/Stdlib/Trait/Traversable/Polymorphic.juvix -------------------------------------------------------------------------------- /index.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/index.juvix -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/readme.md -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | deps/ 3 | build/ 4 | -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/Package.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Package.juvix -------------------------------------------------------------------------------- /test/Test.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test.juvix -------------------------------------------------------------------------------- /test/Test/Arb.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test/Arb.juvix -------------------------------------------------------------------------------- /test/Test/Map.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test/Map.juvix -------------------------------------------------------------------------------- /test/Test/Queue.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test/Queue.juvix -------------------------------------------------------------------------------- /test/Test/Set.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test/Set.juvix -------------------------------------------------------------------------------- /test/Test/UnbalancedSet.juvix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anoma/juvix-stdlib/HEAD/test/Test/UnbalancedSet.juvix --------------------------------------------------------------------------------