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. boolector :: SMTConfig

    sbv Data.SBV.Trans

    Default configuration for the Boolector SMT solver

  2. boolP :: Parser a -> Parser Bool

    tagstream-conduit Text.HTML.TagStream.ByteString

    No documentation available.

  3. boolP :: Parser a -> Parser Bool

    tagstream-conduit Text.HTML.TagStream.Text

    No documentation available.

  4. boolToInt :: Bool -> Int

    tree-fun Math.TreeFun.Tree

    Convert a bool to an integer

  5. boolOptSty :: OptionStyle BaseBoolType

    what4 What4.Config

    Standard option style for boolean-valued configuration options

  6. boolSort :: Sort

    what4 What4.Protocol.SMTLib2.Syntax

    Booleans

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

    what4 What4.Protocol.SMTWriter

    No documentation available.

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

    what4 What4.Solver

    No documentation available.

  9. boolectorFeatures :: ProblemFeatures

    what4 What4.Solver

    No documentation available.

  10. boolectorOptions :: [ConfigDesc]

    what4 What4.Solver

    No documentation available.

Page 58 of many | Previous | Next