simplify Spec.List

Author: MaximilianAlgehed

libs/constrained-generators/src/Constrained/Spec/List.hs

@@ -19,7 +19,24 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Constrained.Spec.List where
+module Constrained.Spec.List
+  ( ListSpec(..)
+  , ListW(..)
+  , ElemW(..)
+  , pattern Elem
+  , append_
+  , singletonList_
+  , elem_
+  , sum_
+  , foldMap_
+  , Foldy(..)
+  , FoldSpec(..)
+  , preMapFoldSpec
+  , toPredsFoldSpec
+  , adds
+  , conformsToFoldSpec
+  , combineFoldSpec
+  ) where
 
 import Constrained.TheKnot
 import Constrained.AbstractSyntax
@@ -377,12 +394,6 @@ append_ = appTerm AppendW
 
 -- Fun types for lists and their helper functions
 
-appendFn :: HasSpec a => Fun '[[a], [a]] [a]
-appendFn = Fun AppendW
-
-singletonListFn :: forall a. HasSpec a => Fun '[a] [a]
-singletonListFn = Fun SingletonListW
-
 foldMapFn :: forall a b. (HasSpec a, Foldy b) => Fun '[a] b -> Fun '[[a]] b
 foldMapFn f = Fun (FoldMapW f)
 
@@ -605,10 +616,6 @@ genFromFold must (simplifySpec -> size) elemS fun@(Fun fn) foldS
             $ mapM (genInverse fun elemS) results0
         pureGen $ shuffle $ must ++ results
 
-addFun :: NumLike n => Fun '[n, n] n
-addFun = Fun AddW
-
-
 instance Sized [a] where
   sizeOf = toInteger . length
   liftSizeSpec spec cant = typeSpec (ListSpec Nothing mempty (TypeSpec spec cant) TrueSpec NoFold)