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.
allocSimpleConfig :: Socket -> BufferSize -> IO Confighttp2 Network.HTTP2.Client Making simple configuration whose IO is not efficient. A write buffer is allocated internally. WAI timeout manger is initialized with 30_000_000 microseconds.
allocSimpleConfig' :: Socket -> BufferSize -> Int -> IO Confighttp2 Network.HTTP2.Client Making simple configuration whose IO is not efficient. A write buffer is allocated internally. The third argument is microseconds to initialize WAI timeout manager.
allocSimpleConfig :: Socket -> BufferSize -> IO Confighttp2 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.
allocSimpleConfig' :: Socket -> BufferSize -> Int -> IO Confighttp2 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.
allOf :: Parser s r -> Parser a s rincremental-parser Text.ParserCombinators.Incremental.Symmetric No documentation available.
allCombinations :: [[a]] -> [[a]]liquid-fixpoint Language.Fixpoint.Misc No documentation available.
allMap :: (Eq k, Hashable k) => (v -> Bool) -> HashMap k v -> Boolliquid-fixpoint Language.Fixpoint.Misc No documentation available.
-
liquid-fixpoint Language.Fixpoint.Types.Config allow higher order binders in the logic environment
-
liquid-fixpoint Language.Fixpoint.Types.Config allow higher order qualifiers
allowHO :: forall (c :: Type -> Type) a . GInfo c a -> Boolliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.