Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. class Monoid symbolSet => SymbolSetOps symbolSet (typedSymbol :: Type -> Type) | symbolSet -> typedSymbol

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   The operations on symbolic constant sets Note that symbolic constants with different types are considered different.

   >>> let aBool = "a" :: TypedAnySymbol Bool
   
   >>> let bBool = "b" :: TypedAnySymbol Bool
   
   >>> let cBool = "c" :: TypedAnySymbol Bool
   
   >>> let aInteger = "a" :: TypedAnySymbol Integer
   
   >>> emptySet :: AnySymbolSet
   SymbolSet {}
   
   >>> containsSymbol aBool (buildSymbolSet aBool :: AnySymbolSet)
   True
   
   >>> containsSymbol bBool (buildSymbolSet aBool :: AnySymbolSet)
   False
   
   >>> insertSymbol aBool (buildSymbolSet aBool :: AnySymbolSet)
   SymbolSet {a :: Bool}
   
   >>> insertSymbol aInteger (buildSymbolSet aBool :: AnySymbolSet)
   SymbolSet {a :: Bool, a :: Integer}
   
   >>> let abSet = buildSymbolSet (aBool, bBool) :: AnySymbolSet
   
   >>> let acSet = buildSymbolSet (aBool, cBool) :: AnySymbolSet
   
   >>> intersectionSet abSet acSet
   SymbolSet {a :: Bool}
   
   >>> unionSet abSet acSet
   SymbolSet {a :: Bool, b :: Bool, c :: Bool}
   
   >>> differenceSet abSet acSet
   SymbolSet {b :: Bool}
   

2. class SymbolSetOps symbolSet typedSymbol => SymbolSetRep rep symbolSet (typedSymbol :: Type -> Type)

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   A type class for building a symbolic constant set manually from a symbolic constant set representation

   >>> buildSymbolSet ("a" :: TypedAnySymbol Bool, "b" :: TypedAnySymbol Bool) :: AnySymbolSet
   SymbolSet {a :: Bool, b :: Bool}
   

3. buildSymbolSet :: SymbolSetRep rep symbolSet typedSymbol => rep -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Build a symbolic constant set

4. differenceSet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> symbolSet -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Set difference

5. emptySet :: SymbolSetOps symbolSet typedSymbol => symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Construct an empty set

6. intersectionSet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> symbolSet -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Set intersection

7. isEmptySet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> Bool

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Check if the set is empty

8. unionSet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> symbolSet -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Set union

9. SolverResetAssertions :: SolverCommand

   grisette	Grisette.Internal.Core.Data.Class.Solver

   No documentation available.

10. monadicSolverResetAssertions :: MonadicSolver m => m ()

    grisette	Grisette.Internal.Core.Data.Class.Solver

    No documentation available.

Page 192 of many | Previous | Next