Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

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

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

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

  4. yicesEvalBool :: Eval s Bool

    what4 What4.Solver.Yices

    Call eval to get a Boolean term.

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

  6. ghcEnvBool :: GHCEnv -> Maybe QName

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

  7. withBool :: String -> (Bool -> Parser a) -> Value -> Parser a

    Agda Agda.Interaction.JSON

    withBool expected f value applies f to the Bool when value is a Boolean and fails otherwise.

    Error message example

    withBool "MyType" f (String "oops")
-- Error: "parsing MyType failed, expected Boolean, but encountered String"

  8. BuiltinBool :: BuiltinId

    Agda Agda.Syntax.Builtin

    No documentation available.

  9. builtinBool :: BuiltinId

    Agda Agda.Syntax.Builtin

    No documentation available.

  10. eExpandLastBool :: Lens' TCEnv Bool

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

Page 142 of many | Previous | Next