grisette-0.3.0.0: src/Grisette/Experimental.hs

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