Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. viewBoolMap :: forall (f :: BaseType -> Type) . BoolMap f -> BoolMapView f

   what4	What4.Expr.BoolMap

   Deconstruct the given bool map for later processing

2. smtEvalBool :: SMTEvalFunctions h -> Term h -> IO Bool

   what4	What4.Protocol.SMTWriter

   Given a SMT term for a Boolean value, this should return an indication of whether the term is assigned true or false.

3. litBool :: Bool -> VerilogM sym n (IExp BaseBoolType)

   what4	What4.Protocol.VerilogWriter.AST

   Return the (possibly-cached) name for a literal Boolean value.

4. vsBoolCache :: ModuleState sym n -> Map Bool Identifier

   what4	What4.Protocol.VerilogWriter.AST

   A cache of Boolean constants, to avoid duplicating constant declarations.

5. ABool :: Bool -> Atom

   what4	What4.Serialize.Parser

   Boolean literal.

6. ABool :: Bool -> Atom

   what4	What4.Serialize.Printer

   Boolean literal.

7. ABool :: Bool -> Atom

   what4	What4.Serialize.SETokens

   Boolean literal.

8. runBoolectorInOverride :: forall t (st :: Type -> Type) fs a . ExprBuilder t st fs -> LogData -> [BoolExpr t] -> (SatResult (GroundEvalFn t, Maybe (ExprRangeBindings t)) () -> IO a) -> IO a

   what4	What4.Solver

   No documentation available.

9. withBoolector :: forall t (st :: Type -> Type) fs a . ExprBuilder t st fs -> FilePath -> LogData -> (Session t Boolector -> IO a) -> IO a

   what4	What4.Solver

   Run Boolector in a session. Boolector will be configured to produce models, but otherwise left with the default configuration.

10. runBoolectorInOverride :: forall t (st :: Type -> Type) fs a . ExprBuilder t st fs -> LogData -> [BoolExpr t] -> (SatResult (GroundEvalFn t, Maybe (ExprRangeBindings t)) () -> IO a) -> IO a

    what4	What4.Solver.Boolector

    No documentation available.

Page 145 of many | Previous | Next