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.

  1. maybeAuth :: (YesodAuthPersist master, val ~ AuthEntity master, Key val ~ AuthId master, PersistEntity val, Typeable val, MonadHandler m, HandlerSite m ~ master) => m (Maybe (Entity val))

    yesod-auth Yesod.Auth

    Similar to maybeAuthId, but additionally look up the value associated with the user's database identifier to get the value in the database. This assumes that you are using a Persistent database.

  2. maybeAuthId :: (YesodAuth master, MonadHandler m, master ~ HandlerSite m) => m (Maybe (AuthId master))

    yesod-auth Yesod.Auth

    Retrieves user credentials, if user is authenticated. By default, this calls defaultMaybeAuthId to get the user ID from the session. This can be overridden to allow authentication via other means, such as checking for a special token in a request header. This is especially useful for creating an API to be accessed via some means other than a browser.

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

    yesod-auth Yesod.Auth

    Similar to maybeAuth, but doesn’t assume that you are using a Persistent database.

  4. maybeAbort :: (IOTCM -> CommandM a) -> CommandM (Command' (Maybe a))

    Agda Agda.Interaction.InteractionTop

    If the next command from the command queue is anything but an actual command, then the command is returned. If the command is an IOTCM command, then the following happens: The given computation is applied to the command and executed. If an abort command is encountered (and acted upon), then the computation is interrupted, the persistent state and all options are restored, and some commands are sent to the frontend. If the computation was not interrupted, then its result is returned.

  5. maybeTimed :: CommandM a -> CommandM (Maybe CPUTime, a)

    Agda Agda.Interaction.InteractionTop

    No documentation available.

  6. maybeProjTurnPostfix :: Expr -> Maybe Expr

    Agda Agda.Syntax.Abstract.Views

    No documentation available.

  7. maybePlaceholder :: Maybe PositionInName -> Parser e e -> Parser e (MaybePlaceholder e)

    Agda Agda.Syntax.Concrete.Operators.Parser

    No documentation available.

  8. maybeNamed :: Expr -> Parser (Named_ Expr)

    Agda Agda.Syntax.Parser.Helpers

    When given expression is e1 = e2, turn it into a named expression. Call this inside an implicit argument {e} or {{e}}, where an equality must be a named argument (rather than a cubical partial match).

  9. maybeFlexiblePattern :: forall (m :: Type -> Type) . (IsFlexiblePattern a, HasConstInfo m, MonadDebug m) => a -> MaybeT m FlexibleVarKind

    Agda Agda.TypeChecking.Rules.LHS

    No documentation available.

  10. maybeLeft :: Either a b -> Maybe a

    Agda Agda.Utils.Either

    Safe projection from Left. 

    maybeLeft (Left a) = Just a
maybeLeft Right{}  = Nothing

Page 62 of many | Previous | Next