Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. data MaybeReduced a

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. type MaybeReducedArgs = [MaybeReduced Arg Term]

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. type MaybeReducedElims = [MaybeReduced Elim]

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. newtype MaybeNA a

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

5. MaybeNA :: Maybe a -> MaybeNA a

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

6. MaybeRecompile :: Fingerprint -> PluginRecompile

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

7. data MaybePath

   can-i-haz	Data.Path

   No documentation available.

8. newtype MaybeT (m :: Type -> Type) a

   dunai	Control.Monad.Trans.MSF.Maybe

   The parameterizable maybe monad, obtained by composing an arbitrary monad with the Maybe monad. Computations are actions that may produce a value or exit. The return function yields a computation that produces that value, while >>= sequences two subcomputations, exiting if either computation does.

9. MaybeT :: m (Maybe a) -> MaybeT (m :: Type -> Type) a

   dunai	Control.Monad.Trans.MSF.Maybe

   No documentation available.

10. type MaybePromotedName = MaybePromotedName ()

    haskell-src-exts-simple	Language.Haskell.Exts.Simple.Syntax

    No documentation available.

Page 24 of many | Previous | Next