missing exports

Author: MaximilianAlgehed

libs/constrained-generators/src/Constrained/SumList.hs

@@ -27,6 +27,12 @@ module Constrained.SumList (
   genListWithSize,
   Complete (..),
   maxFromSpec,
+  Solution(..),
+  logRange,
+  logish,
+  Cost(..),
+  predSpecPair,
+  narrowByFuelAndSize,
 ) where
 
 import Constrained.AbstractSyntax

libs/constrained-generators/src/Constrained/Test.hs

@@ -23,6 +23,7 @@ module Constrained.Test (
   prop_mapSpec,
   prop_propagateSpecSound,
   prop_gen_sound,
+  specType,
 ) where
 
 import Constrained.API.Extend