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. mapErrorsFailT :: forall (m :: Type -> Type) e e' a . Functor m => ([e] -> [e']) -> FailT e m a -> FailT e' m a

    FailT Control.Monad.Trans.Fail

    Map a function over the aggregation of errors in the FailT monad. Could be used for example for clearing our all of the aggregated error messages:

    >>> runFail (mapErrorsFailT (const []) $ failT "Something went wrong") :: Either String ()
    Left "No failure reason given"
    

  2. mapFailT :: (m (Either [e] a) -> n (Either [e] b)) -> FailT e m a -> FailT e n b

    FailT Control.Monad.Trans.Fail

    Map a function over the underlying representation of the FailT monad.

  3. mapErrorFailT :: forall (m :: Type -> Type) e a . Functor m => (e -> String) -> FailT e m a -> FailT m a

    FailT Control.Monad.Trans.Fail.String

    Version of mapErrorFail, where resulting type is restricted to String Map a function over the error type in the FailT monad.

  4. mapErrorsFailT :: forall (m :: Type -> Type) e a . Functor m => ([e] -> [String]) -> FailT e m a -> FailT m a

    FailT Control.Monad.Trans.Fail.String

    Version of mapErrorsFail, where resulting type is restricted to String Map a function over the aggregation of errors in the FailT monad. Could be used for example for clearing our all of the aggregated error messages:

    >>> runFail (mapErrorsFailT (const []) $ failT "Something went wrong") :: Either String ()
    Left "No failure reason given"
    

  5. mapFailT :: (m (Either [String] a) -> n (Either [String] b)) -> FailT m a -> FailT n b

    FailT Control.Monad.Trans.Fail.String

    Version of mapFailT restricted to String Map a function over the underlying representation of the FailT monad.

  6. mapErrorFailT :: forall (m :: Type -> Type) e a . Functor m => (e -> Text) -> FailT e m a -> FailT m a

    FailT Control.Monad.Trans.Fail.Text

    Version of mapErrorFailT where resulting type is restricted to Text Map a function over the error type in the FailT monad.

  7. mapErrorsFailT :: forall (m :: Type -> Type) e a . Functor m => ([e] -> [Text]) -> FailT e m a -> FailT m a

    FailT Control.Monad.Trans.Fail.Text

    Version of mapErrorsFail, where resulting type is restricted to Text Map a function over the aggregation of errors in the FailT monad. Could be used for example for clearing our all of the aggregated error messages:

    >>> runFail (mapErrorsFailT (const [] :: [Text] -> [Text]) $ fail "Something went wrong" >> pure ())
    Left "No failure reason given"
    

  8. mapFailT :: (m (Either [Text] a) -> n (Either [Text] b)) -> FailT m a -> FailT n b

    FailT Control.Monad.Trans.Fail.Text

    Version of mapFailT restricted to Text Map a function over the underlying representation of the FailT monad.

  9. mapToSpecialGlyphs :: WritingSystem -> Text -> [SpecialChar]

    HPDF Graphics.PDF.Typesetting.WritingSystem

    No documentation available.

  10. mappend :: Monoid a => a -> a -> a

    HaTeX Text.LaTeX.Base

    An associative operation NOTE: This method is redundant and has the default implementation mappend = (<>) since base-4.11.0.0. Should it be implemented manually, since mappend is a synonym for (<>), it is expected that the two functions are defined the same way. In a future GHC release mappend will be removed from Monoid.

Page 231 of many | Previous | Next