Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. boolectorPath :: ConfigOption (BaseStringType Unicode)

    what4 What4.Solver

    Path to boolector

  2. boolectorTimeout :: ConfigOption BaseIntegerType

    what4 What4.Solver

    Per-check timeout, in milliseconds (zero is none)

  3. boolectorAdapter :: forall (st :: Type -> Type) . SolverAdapter st

    what4 What4.Solver.Boolector

    No documentation available.

  4. boolectorFeatures :: ProblemFeatures

    what4 What4.Solver.Boolector

    No documentation available.

  5. boolectorOptions :: [ConfigDesc]

    what4 What4.Solver.Boolector

    No documentation available.

  6. boolectorPath :: ConfigOption (BaseStringType Unicode)

    what4 What4.Solver.Boolector

    Path to boolector

  7. boolectorTimeout :: ConfigOption BaseIntegerType

    what4 What4.Solver.Boolector

    Per-check timeout, in milliseconds (zero is none)

  8. boolScalar :: Scalar Bool

    yaml-unscrambler YamlUnscrambler

    Boolean scalar parser.

  9. boolSemiring :: Semiring Bool

    Agda Agda.Termination.Semiring

    The standard semiring on Bools.

  10. boolToMaybe :: Bool -> a -> Maybe a

    Agda Agda.Utils.Maybe

    Retain object when tag is True.

Page 59 of many | Previous | Next