Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. returnMaybe :: forall sym (m :: Type -> Type) a . (IsExpr (SymExpr sym), Applicative m) => Maybe a -> PartialT sym m a

    what4 What4.Partial

    Lift a Maybe value to a partial expression.

  2. mapMaybe :: (Ord k, Semigroup v) => (a -> Maybe b) -> AnnotatedMap k v a -> AnnotatedMap k v b

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  3. mapMaybeWithKey :: (Ord k, Semigroup v2) => (k -> v1 -> a1 -> Maybe (v2, a2)) -> AnnotatedMap k v1 a1 -> AnnotatedMap k v2 a2

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  4. traverseMaybeWithKey :: (Applicative f, Ord k, Semigroup v2) => (k -> v1 -> a1 -> f (Maybe (v2, a2))) -> AnnotatedMap k v1 a1 -> f (AnnotatedMap k v2 a2)

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  5. unionWithKeyMaybe :: (Ord k, Semigroup v) => (k -> a -> a -> Maybe (v, a)) -> AnnotatedMap k v a -> AnnotatedMap k v a -> AnnotatedMap k v a

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  6. 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.

  7. 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.

  8. 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.

  9. ghcEnvMaybe :: GHCEnv -> Maybe QName

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

  10. ghcEnvMaybeArity :: GHCEnv -> Maybe Int

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

Page 261 of many | Previous | Next