Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. allocSimpleConfig :: Socket -> BufferSize -> IO Config

   http2	Network.HTTP2.Server

   Making simple configuration whose IO is not efficient. A write buffer is allocated internally. WAI timeout manger is initialized with 30_000_000 microseconds.

2. allocSimpleConfig' :: Socket -> BufferSize -> Int -> IO Config

   http2	Network.HTTP2.Server

   Making simple configuration whose IO is not efficient. A write buffer is allocated internally. The third argument is microseconds to initialize WAI timeout manager.

3. allOf :: Parser s r -> Parser a s r

   incremental-parser	Text.ParserCombinators.Incremental.Symmetric

   No documentation available.

4. allCombinations :: [[a]] -> [[a]]

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

5. allMap :: (Eq k, Hashable k) => (v -> Bool) -> HashMap k v -> Bool

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

6. allowHO :: Config -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Config

   allow higher order binders in the logic environment

7. allowHOqs :: Config -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Config

   allow higher order qualifiers

8. allowHO :: forall (c :: Type -> Type) a . GInfo c a -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

9. allowHOquals :: forall (c :: Type -> Type) a . GInfo c a -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

10. allowHO :: CGInfo -> !Bool

    liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Types

    No documentation available.

Page 112 of many | Previous | Next