Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. boolector :: SMTConfig

   sbv	Data.SBV.Dynamic

   Default configuration for the Boolector SMT solver

2. boolector :: SMTConfig

   sbv	Data.SBV.Trans

   Default configuration for the Boolector SMT solver

3. boolP :: Parser a -> Parser Bool

   tagstream-conduit	Text.HTML.TagStream.ByteString

   No documentation available.

4. boolP :: Parser a -> Parser Bool

   tagstream-conduit	Text.HTML.TagStream.Text

   No documentation available.

5. boolToInt :: Bool -> Int

   tree-fun	Math.TreeFun.Tree

   Convert a bool to an integer

6. boolOptSty :: OptionStyle BaseBoolType

   what4	What4.Config

   Standard option style for boolean-valued configuration options

7. boolSort :: Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Booleans

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

   what4	What4.Protocol.SMTWriter

   No documentation available.

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

   what4	What4.Solver

   No documentation available.

10. boolectorFeatures :: ProblemFeatures

    what4	What4.Solver

    No documentation available.

Page 57 of many | Previous | Next