Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

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

   what4	What4.Protocol.VerilogWriter.AST

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

2. ABool :: Bool -> Atom

   what4	What4.Serialize.Parser

   Boolean literal.

3. ABool :: Bool -> Atom

   what4	What4.Serialize.Printer

   Boolean literal.

4. ABool :: Bool -> Atom

   what4	What4.Serialize.SETokens

   Boolean literal.

5. 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.

6. 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.

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

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

   what4	What4.Solver.Boolector

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

9. yicesEvalBool :: Eval s Bool

   what4	What4.Solver.Yices

   Call eval to get a Boolean term.

10. xpBool :: PU Text Bool

    xml-picklers	Data.XML.Pickle

    Converts Booleans to XML boolean values

    • "true" and "1" are read as True
    • "false" and "0" are read as False
    • All other values generate an unpickle error
    Will always generate "true" or "false" (not "0" or "1") when pickling.

Page 142 of many | Previous | Next