Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. boolP :: Parser a -> Parser Bool

   tagstream-conduit	Text.HTML.TagStream.Text

   No documentation available.

2. boolToInt :: Bool -> Int

   tree-fun	Math.TreeFun.Tree

   Convert a bool to an integer

3. boolOptSty :: OptionStyle BaseBoolType

   what4	What4.Config

   Standard option style for boolean-valued configuration options

4. boolSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Booleans

5. boolExpr :: SupportTermOps v => Bool -> v

   what4	What4.Protocol.SMTWriter

   No documentation available.

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

   what4	What4.Solver

   No documentation available.

7. boolectorFeatures :: ProblemFeatures

   what4	What4.Solver

   No documentation available.

8. boolectorOptions :: [ConfigDesc]

   what4	What4.Solver

   No documentation available.

9. boolectorPath :: ConfigOption (BaseStringType Unicode)

   what4	What4.Solver

   Path to boolector

10. boolectorTimeout :: ConfigOption BaseIntegerType

    what4	What4.Solver

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

Page 58 of many | Previous | Next