Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    Agda Agda.Interaction.InteractionTop

    No documentation available.

  2. maybeProjTurnPostfix :: Expr -> Maybe Expr

    Agda Agda.Syntax.Abstract.Views

    No documentation available.

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

    Agda Agda.Syntax.Concrete.Operators.Parser

    No documentation available.

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

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

    Agda Agda.TypeChecking.Rules.LHS

    No documentation available.

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

    Agda Agda.Utils.Either

    Safe projection from Left. 

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

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

    Agda Agda.Utils.Either

    Safe projection from Right. 

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

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

    Agda Agda.Utils.Either

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

  9. maybeM :: Monad m => m b -> (a -> m b) -> m (Maybe a) -> m b

    Agda Agda.Utils.Maybe

    Monadic version of maybe.

  10. maybeM :: Monad m => m b -> (a -> m b) -> m (Maybe a) -> m b

    Agda Agda.Utils.Maybe.Strict

    Monadic version of maybe.

Page 47 of many | Previous | Next