Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

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

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

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

    Agda Agda.Interaction.InteractionTop

    No documentation available.

  4. maybeProjTurnPostfix :: Expr -> Maybe Expr

    Agda Agda.Syntax.Abstract.Views

    No documentation available.

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

    Agda Agda.Syntax.Concrete.Operators.Parser

    No documentation available.

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

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

    Agda Agda.TypeChecking.Rules.LHS

    No documentation available.

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

    Agda Agda.Utils.Either

    Safe projection from Left. 

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

  9. maybeRight :: Either a b -> Maybe b

    Agda Agda.Utils.Either

    Safe projection from Right. 

    maybeRight (Right b) = Just b
maybeRight Left{}    = Nothing

  10. maybeToEither :: e -> Maybe a -> Either e a

    Agda Agda.Utils.Either

    Convert Maybe to Either e, given an error e for the Nothing case.

Page 62 of many | Previous | Next