Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. boolConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

2. boolLConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

3. boolToIntName :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

4. boolFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

6. boolTy :: Type

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. boolTyCon :: TyCon

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. boolTyConName :: Name

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. boolList :: [Bool] -> Bitmap

   primitive-extras	PrimitiveExtras.Bitmap

   No documentation available.

10. boolector :: SMTConfig

    sbv	Data.SBV

    Default configuration for the Boolector SMT solver

Page 56 of many | Previous | Next