Data.Monoid.Category

Monoids on category composition.

Issue #3

Documentation

newtype Composition c

Monoid on category composition (>>>)

Constructors

Composition

Fields

• getComposition :: c

Instances

Category * c => Monoid (Composition (c a a))

Methods

mempty :: Composition (c a a)

mappend :: Composition (c a a) -> Composition (c a a) -> Composition (c a a)

mconcat :: [Composition (c a a)] -> Composition (c a a)

newtype RevComposition c

Monoid on reverse category composition (<<<)

Constructors

RevComposition

Fields

• getRevComposition :: c

Instances

Category * c => Monoid (RevComposition (c a a))

Methods

mempty :: RevComposition (c a a)

mappend :: RevComposition (c a a) -> RevComposition (c a a) -> RevComposition (c a a)

mconcat :: [RevComposition (c a a)] -> RevComposition (c a a)

composeMany :: (Alternative m, Category cat) => m (cat a a) -> m (cat a a)

Alternatives accumulator many for Composition

invComposeMany :: (Alternative m, Category cat) => m (cat a a) -> m (cat a a)

Alternatives accumulator many for RevComposition