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. boolFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Exported Basic Sorts -----------------------------------------------

3. boolTy :: Type

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. boolTyCon :: TyCon

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. boolTyConName :: Name

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. boolList :: [Bool] -> Bitmap

   primitive-extras	PrimitiveExtras.Bitmap

   No documentation available.

7. boolector :: SMTConfig

   sbv	Data.SBV

   Default configuration for the Boolector SMT solver

8. boolector :: SMTConfig

   sbv	Data.SBV.Dynamic

   Default configuration for the Boolector SMT solver

9. boolector :: SMTConfig

   sbv	Data.SBV.Trans

   Default configuration for the Boolector SMT solver

10. boolP :: Parser a -> Parser Bool

    tagstream-conduit	Text.HTML.TagStream.ByteString

    No documentation available.

Page 57 of many | Previous | Next