Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. manyMonoidT :: forall (m :: Type -> Type) a e . (Monad m, Monoid a) => ExceptionalT e m a -> ExceptionalT e m a

    explicit-exception Control.Monad.Exception.Asynchronous.Lazy

    We advise to use the Endo Monoid when you want to read a series of characters into a list. This means you use the difference lists technique in order to build the list, which is efficient.

    import Data.Monoid (Endo, appEndo, )
    import Control.Exception (try, )
    import qualified Control.Monad.Exception.Synchronous as Sync
    
    fmap (flip appEndo []) $ manyMonoidT (fromSynchronousMonoidT $ fmap (Endo . (:)) $ Sync.fromEitherT $ try getChar)
    
    If you want Lazy IO you must additionally convert getChar to LazyIO monad.

  2. throwMonoid :: Monoid a => e -> Exceptional e a

    explicit-exception Control.Monad.Exception.Asynchronous.Lazy

    No documentation available.

  3. throwMonoidT :: forall (m :: Type -> Type) a e . (Monad m, Monoid a) => e -> ExceptionalT e m a

    explicit-exception Control.Monad.Exception.Asynchronous.Lazy

    No documentation available.

  4. fromSynchronousMonoid :: Monoid a => Exceptional e a -> Exceptional e a

    explicit-exception Control.Monad.Exception.Asynchronous.Strict

    No documentation available.

  5. fromSynchronousMonoidT :: forall (m :: Type -> Type) a e . (Functor m, Monoid a) => ExceptionalT e m a -> ExceptionalT e m a

    explicit-exception Control.Monad.Exception.Asynchronous.Strict

    No documentation available.

  6. manyMonoidT :: forall (m :: Type -> Type) a e . (Monad m, Monoid a) => ExceptionalT e m a -> ExceptionalT e m a

    explicit-exception Control.Monad.Exception.Asynchronous.Strict

    We advise to use the Endo Monoid when you want to read a series of characters into a list. This means you use the difference lists technique in order to build the list, which is efficient.

    import Data.Monoid (Endo, appEndo, )
    import Control.Exception (try, )
    import qualified Control.Monad.Exception.Synchronous as Sync
    
    fmap (flip appEndo []) $ manyMonoidT (fromSynchronousMonoidT $ fmap (Endo . (:)) $ Sync.fromEitherT $ try getChar)
    
    If you want Lazy IO you must additionally convert getChar to LazyIO monad.

  7. throwMonoid :: Monoid a => e -> Exceptional e a

    explicit-exception Control.Monad.Exception.Asynchronous.Strict

    No documentation available.

  8. throwMonoidT :: forall (m :: Type -> Type) a e . (Monad m, Monoid a) => e -> ExceptionalT e m a

    explicit-exception Control.Monad.Exception.Asynchronous.Strict

    No documentation available.

  9. manyMonoidT :: forall (m :: Type -> Type) a e0 e1 . (Monad m, Monoid a) => (e0 -> Maybe e1) -> ExceptionalT e0 m a -> ExceptionalT e1 m a

    explicit-exception Control.Monad.Exception.Synchronous

    No documentation available.

  10. type CancellativeMonoid m = (Monoid m, Cancellative m)

    monoid-subclasses Data.Monoid.Cancellative

    No documentation available.

Page 21 of many | Previous | Next