Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

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

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

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

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

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

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

   HPDF	Graphics.PDF.Typesetting.WritingSystem

   No documentation available.

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

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

   HaTeX	Text.LaTeX.Base.Class

   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.

9. mapsto :: LaTeXC l => l

   HaTeX	Text.LaTeX.Base.Math

   A right-arrow for function definitions, <math>.

10. mapLaTeXT :: (m (a, LaTeX) -> m (a, LaTeX)) -> LaTeXT m a -> LaTeXT m a

    HaTeX	Text.LaTeX.Base.Writer

    A helper function for building monad transformers, e.g.

    instance MonadReader r m => MonadReader r (LaTeXT m) where
    ask = lift ask
    local = mapLaTeXT . local
    

    This declaration could be included here, but it would add a dependency on mtl.

Page 232 of many | Previous | Next