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. boolsToWord8 :: [Bool] -> Word8

   haskoin-core	Haskoin.Block.Merkle

   Pack up to eight bools in a byte.

2. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

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

3. boolApplyName :: Int -> Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

4. boolConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

5. boolLConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

6. boolToIntName :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

7. boolFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

8. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

9. boolTy :: Type

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. boolTyCon :: TyCon

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 59 of many | Previous | Next