monoid-extras-0.7: Various extra monoid-related definitions and utilities

# monoid-extras-0.7: Various extra monoid-related definitions and utilities

Various extra monoid-related definitions and utilities, such as monoid actions, monoid coproducts, semi-direct products, "deletable" monoids, "split" monoids, and "cut" monoids.

Modules

monoid-extras-0.7

- Data
  Submodules
  - Monoid
    Submodules
    - Data.Monoid.Action
    - Data.Monoid.Coproduct
    - Data.Monoid.Cut
    - Data.Monoid.Deletable
    - Data.Monoid.Endomorphism
    - Data.Monoid.Inf
    - Data.Monoid.MList
    - Data.Monoid.Recommend
    - Data.Monoid.SemiDirectProduct
      Submodules
      - Data.Monoid.SemiDirectProduct.Strict
    - Data.Monoid.Split
    - Data.Monoid.WithSemigroup
  - Semigroup
    Submodules
    - Data.Semigroup.Coproduct