✨ Introduce experimental GenSymConstrained

grisette.cabal

@@ -81,6 +81,8 @@ library
       Grisette.Core.Data.Union
       Grisette.Core.TH
       Grisette.Core.THCompat
+      Grisette.Experimental
+      Grisette.Experimental.GenSymConstrained
       Grisette.Internal.Backend.SBV
       Grisette.Internal.Core
       Grisette.Internal.IR.SymPrim

src/Grisette/Experimental.hs

@@ -0,0 +1,25 @@
+module Grisette.Experimental
+  ( -- * Experimental features
+
+    -- | The experimental features are likely to be changed in the future,
+    -- and they do not comply with the semantics versioning policy.
+    --
+    -- Use the APIs with caution.
+
+    -- ** Symbolic Generation with Errors Class
+    GenSymConstrained (..),
+    GenSymSimpleConstrained (..),
+    genSymConstrained,
+    genSymSimpleConstrained,
+    derivedSimpleFreshConstrainedNoSpec,
+    derivedSimpleFreshConstrainedSameShape,
+    derivedFreshConstrainedNoSpec,
+
+    -- ** Some common GenSymConstrained specifications
+    SOrdUpperBound (..),
+    SOrdLowerBound (..),
+    SOrdBound (..),
+  )
+where
+
+import Grisette.Experimental.GenSymConstrained