Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. 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}
   

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

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

   Build a symbolic constant set

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

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

   Set difference

4. emptySet :: SymbolSetOps symbolSet typedSymbol => symbolSet

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

   Construct an empty set

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

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

   Set intersection

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

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

   Check if the set is empty

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

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

   Set union

8. SolverResetAssertions :: SolverCommand

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

   No documentation available.

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

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

   No documentation available.

10. solverResetAssertions :: Solver handle => handle -> IO (Either SolvingFailure ())

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

    Reset all assertions in the solver. The solver keeps all the assertions used in the previous commands:

    >>> solver <- newSolver z3
    
    >>> solverSolve solver "a"
    Right (Model {a -> true :: Bool})
    
    >>> solverSolve solver $ symNot "a"
    Left Unsat
    

    You can clear the assertions using solverResetAssertions:

    >>> solverResetAssertions solver
    Right ()
    
    >>> solverSolve solver $ symNot "a"
    Right (Model {a -> false :: Bool})
    

Page 192 of many | Previous | Next