Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. xpWrapMaybe :: (a -> Maybe b) -> (b -> a) -> PU t a -> PU t b

   xml-picklers	Data.XML.Pickle

   Like xpWrap, but strips Just (and treats Nothing as a failure) during unpickling.

2. xpWrapMaybe_ :: String -> (a -> Maybe b) -> (b -> a) -> PU t a -> PU t b

   xml-picklers	Data.XML.Pickle

   Like xpWrap, but strips Just (and treats Nothing as a failure) during unpickling, with specified error message for Nothing value.

3. defaultMaybeAuthId :: (MonadHandler m, HandlerSite m ~ master, YesodAuthPersist master, Typeable (AuthEntity master)) => m (Maybe (AuthId master))

   yesod-auth	Yesod.Auth

   Retrieves user credentials from the session, if user is authenticated. This function does not confirm that the credentials are valid, see maybeAuthIdRaw for more information. The first call in a request does a database request to make sure that the account is still in the database.

4. ghcEnvMaybe :: GHCEnv -> Maybe QName

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

5. ghcEnvMaybeArity :: GHCEnv -> Maybe Int

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

6. PragmaCompileMaybe_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

7. RewriteMaybeNonConfluent_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

8. BuiltinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

9. builtinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

10. PragmaCompileMaybe :: Warning

    Agda	Agda.TypeChecking.Monad.Base

    COMPILE GHC pragma for MAYBE; ignored.

Page 257 of many | Previous | Next