Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. type MaybeReducedElims = [MaybeReduced Elim]

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. newtype MaybeNA a

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

3. MaybeNA :: Maybe a -> MaybeNA a

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

4. MaybeRecompile :: Fingerprint -> PluginRecompile

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

5. data MaybePath

   can-i-haz	Data.Path

   No documentation available.

6. module Clash.XException.MaybeX

   Helpers to make XException explicit in the type system. Using these helpers can help programmers account for XExceptions properly in blackbox models or tests. Note that none of these operations can be translated to HDL.

7. data MaybeX a

   clash-prelude	Clash.XException.MaybeX

   Structure helping programmers to deal with XException values. For safety reasons it can't be constructed directly, but should be constructed using either pure or toMaybeX. After construction, it can be deconstructed using either IsX or IsDefined.

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