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.

Exact lookup

1. boolLConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

2. boolToIntName :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

3. boolFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

5. boolTy :: Type

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. boolTyCon :: TyCon

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. boolTyConName :: Name

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. boolList :: [Bool] -> Bitmap

   primitive-extras	PrimitiveExtras.Bitmap

   No documentation available.

9. boolector :: SMTConfig

   sbv	Data.SBV

   Default configuration for the Boolector SMT solver

10. boolector :: SMTConfig

    sbv	Data.SBV.Dynamic

    Default configuration for the Boolector SMT solver

Page 57 of many | Previous | Next