Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. boolTyConName :: Name

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

2. boolList :: [Bool] -> Bitmap

   primitive-extras	PrimitiveExtras.Bitmap

   No documentation available.

3. boolector :: SMTConfig

   sbv	Data.SBV

   Default configuration for the Boolector SMT solver

4. boolector :: SMTConfig

   sbv	Data.SBV.Dynamic

   Default configuration for the Boolector SMT solver

5. boolector :: SMTConfig

   sbv	Data.SBV.Trans

   Default configuration for the Boolector SMT solver

6. boolP :: Parser a -> Parser Bool

   tagstream-conduit	Text.HTML.TagStream.ByteString

   No documentation available.

7. boolP :: Parser a -> Parser Bool

   tagstream-conduit	Text.HTML.TagStream.Text

   No documentation available.

8. boolToInt :: Bool -> Int

   tree-fun	Math.TreeFun.Tree

   Convert a bool to an integer

9. boolOptSty :: OptionStyle BaseBoolType

   what4	What4.Config

   Standard option style for boolean-valued configuration options

10. boolSort :: Sort

    what4	What4.Protocol.SMTLib2.Syntax

    Booleans

Page 60 of many | Previous | Next