Merge pull request #3 from Matthew-Mosior/map

[ new ] Map and Set
idris-community · Sep 25, 2024 · 3f303a1 · 3f303a1
2 parents b99c353 + 953a4ce
commit 3f303a1
Show file tree

Hide file tree

Showing 8 changed files with 3,224 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
 # idris2-containers
-Basic Tree and Queue data types
+Assorted concrete container types
diff --git a/containers.ipkg b/containers.ipkg
@@ -1,11 +1,15 @@
 package containers
 
-authors    = "stefan-hoeck"
+authors    = "stefan-hoeck and matthew-mosior"
 brief      = "Basic Tree and Queue data structures"
 version    = 0.6.0
 sourcedir  = "src"
 depends    = base         >= 0.6.0
            , elab-util
 
-modules = Data.Queue
+modules = Data.Map
+        , Data.Map.Internal
+        , Data.Set
+        , Data.Set.Internal
+        , Data.Queue
         , Data.Tree
diff --git a/profile/profile.ipkg b/profile/profile.ipkg
@@ -0,0 +1,11 @@
+package containers-profile
+
+authors    = "stefan-hoeck and matthew-mosior"
+version    = 0.7.0
+sourcedir  = "src"
+depends    = containers
+           , elab-util
+           , profiler
+
+executable = "profile-containers"
+main       = Main