Added Constrained.SumList.hs to repo

Defined pickAll the basis of sums with fixed length. Added getSizedList as a method of the Foldy class
IntersectMBO · Jan 10, 2025 · f5cd1a4 · f5cd1a4
1 parent 10687c7
commit f5cd1a4
Show file tree

Hide file tree

Showing 3 changed files with 353 additions and 60 deletions.
diff --git a/libs/constrained-generators/constrained-generators.cabal b/libs/constrained-generators/constrained-generators.cabal
@@ -41,6 +41,7 @@ library
     Constrained.Spec.Map
     Constrained.Spec.Pairs
     Constrained.Spec.Tree
+    Constrained.SumList
     Constrained.Syntax
     Constrained.Univ