Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. withHandleReader :: Handle -> Maybe (OutputStream Text) -> (HandleReader -> IO a) -> IO a

   what4	What4.Utils.HandleReader

   Run an execution with a handle reader and stop it wheen down

2. class Monad m => MonadReader r (m :: Type -> Type) | m -> r

   xmonad	XMonad

   See examples in Control.Monad.Reader. Note, the partially applied function type (->) r is a simple reader monad. See the instance declaration below.

3. alreadyGrabbed :: GrabStatus

   xmonad	XMonad

   No documentation available.

4. initThreads :: IO Status

   xmonad	XMonad

   No documentation available.

5. queuedAfterReading :: QueuedMode

   xmonad	XMonad

   No documentation available.

6. queuedAlready :: QueuedMode

   xmonad	XMonad

   No documentation available.

7. parseToReadsPrec :: Parse a -> Int -> String -> [(a, String)]

   Agda	Agda.Interaction.Base

   No documentation available.

8. lhsCoreAddChunk :: IsProjP e => LHSCore' e -> LHSPatternView e -> LHSCore' e

   Agda	Agda.Syntax.Abstract.Pattern

   No documentation available.

9. lhsCoreAddSpine :: IsProjP e => LHSCore' e -> [NamedArg (Pattern' e)] -> LHSCore' e

   Agda	Agda.Syntax.Abstract.Pattern

   Add projection, with, and applicative patterns to the right.

10. lhsCoreAddSpine :: LHSCore -> [NamedArg Pattern] -> LHSCore

    Agda	Agda.Syntax.Concrete.Pattern

    Append patterns to LHSCore, separating with patterns from the rest.

Page 736 of many | Previous | Next