Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

  1. boolP :: Parser a -> Parser Bool

    tagstream-conduit Text.HTML.TagStream.ByteString

    No documentation available.

  2. boolP :: Parser a -> Parser Bool

    tagstream-conduit Text.HTML.TagStream.Text

    No documentation available.

  3. boolToInt :: Bool -> Int

    tree-fun Math.TreeFun.Tree

    Convert a bool to an integer

  4. boolOptSty :: OptionStyle BaseBoolType

    what4 What4.Config

    Standard option style for boolean-valued configuration options

  5. boolSort :: Sort

    what4 What4.Protocol.SMTLib2.Syntax

    Booleans

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

    what4 What4.Protocol.SMTWriter

    No documentation available.

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

    what4 What4.Solver

    No documentation available.

  8. boolectorFeatures :: ProblemFeatures

    what4 What4.Solver

    No documentation available.

  9. boolectorOptions :: [ConfigDesc]

    what4 What4.Solver

    No documentation available.

  10. boolectorPath :: ConfigOption (BaseStringType Unicode)

    what4 What4.Solver

    Path to boolector

Page 61 of many | Previous | Next