Data.Monoid.Action

class (Monoid m) <= Action m s  where

Type class for monoid (and semigroup) actions, where monoidal

Members

• act :: m -> s -> s

  Convert a value of type @m@ to an action on @s@ values.

Instances

• Action Unit l

  @()@ acts as the identity.

• (Action m s) => Action (Maybe m) s

  @Nothing@ acts as the identity; @Just m@ acts as @m@.

• Action (Endo Function a) a

  @Endo@ acts by application.