Cmf

This module provides many concurrent monoidal folds for commutative monoids.

Some notes (applies to all folds):

1. This module is intended to be imported qualified to avoid name clashing.
2. Accumulation is strict.
3. Exceptions that occur will accumulate into a CmfException and be re-thrown.

Folds

foldMap :: forall t m a. (Foldable t, Monoid m) => (a -> IO m) -> t a -> IO m

A concurrent monoidal fold over some Foldable.

This operation may fail with:

• CmfException if any of the threads throws an exception.

foldMapWithKey :: Monoid m => (k -> a -> IO m) -> Map k a -> IO m

A concurrent monoidal fold (with keys) over a Map.

This operation may fail with:

• CmfException if any of the threads throws an exception.

Exception Type

newtype CmfException

An exception to be re-thrown by a fold in this module. It is just an accumulation of all the exceptions that occurred among the running threads.

Constructors

CmfException [SomeException]

Instances

Show CmfException

Defined in Cmf

Methods

showsPrec :: Int -> CmfException -> ShowS

show :: CmfException -> String

showList :: [CmfException] -> ShowS

Generic CmfException

Defined in Cmf

Associated Types

type Rep CmfException :: Type -> Type

Methods

from :: CmfException -> Rep CmfException x

to :: Rep CmfException x -> CmfException

Exception CmfException

Defined in Cmf

Methods

toException :: CmfException -> SomeException

fromException :: SomeException -> Maybe CmfException

displayException :: CmfException -> String

type Rep CmfException

Defined in Cmf

type Rep CmfException = D1 (MetaData "CmfException" "Cmf" "cmf-0.1-4UrlJMAq50QEzgyp2sUP9B" True) (C1 (MetaCons "CmfException" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SomeException])))