Merge containers into standard library (#3088) · anoma/juvix@ec169a4

Commit

Merge containers into standard library (#3088)

* Closes #3067 
* Depends on #3087

lukaszcz authored Oct 10, 2024

1 parent 7760267 commit ec169a4

+1 −2		Stdlib/Cairo/Pedersen.juvix
+20 −0		Stdlib/Data/BinaryTree.juvix
+72 −0		Stdlib/Data/Map.juvix
+5 −0		Stdlib/Data/Maybe/Base.juvix
+3 −0		Stdlib/Data/Queue.juvix
+81 −0		Stdlib/Data/Queue/Base.juvix
+10 −0		Stdlib/Data/Result.juvix
+11 −0		Stdlib/Data/Set.juvix
+263 −0		Stdlib/Data/Set/AVL.juvix
+31 −0		Stdlib/Data/Tree.juvix
+46 −0		Stdlib/Data/UnbalancedSet.juvix
+4 −1		test/Package.juvix
+54 −44		test/Test.juvix
+96 −0		test/Test/AVL.juvix
+56 −0		test/Test/Map.juvix
+44 −0		test/Test/Queue.juvix
+0 −11		test/Test/StdlibTestExtra.juvix
+32 −0		test/Test/UnbalancedSet.juvix
+12 −2		test/juvix.lock.yaml