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.

Exact lookup

1. boolToIntName :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

2. boolFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

3. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

4. boolTy :: Type

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. boolTyCon :: TyCon

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. boolTyConName :: Name

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. boolList :: [Bool] -> Bitmap

   primitive-extras	PrimitiveExtras.Bitmap

   No documentation available.

8. boolector :: SMTConfig

   sbv	Data.SBV

   Default configuration for the Boolector SMT solver

9. boolector :: SMTConfig

   sbv	Data.SBV.Dynamic

   Default configuration for the Boolector SMT solver

10. boolector :: SMTConfig

    sbv	Data.SBV.Trans

    Default configuration for the Boolector SMT solver

Page 60 of many | Previous | Next