Data.Fold.M1

Documentation

data M1 a b

A semigroup reducer

Constructors

forall m . M1 (m -> b) (a -> m) (m -> m -> m)

Instances

Arrow M1

ArrowChoice M1

Profunctor M1

Choice M1

Strong M1

Scan M1

AsRM1 M1

Category * M1

Semigroupoid * M1

Monad (M1 a)

Functor (M1 a)

Applicative (M1 a)

MonadZip (M1 a)

Pointed (M1 a)

Apply (M1 a)