Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A strict version of the semi-direct product. If a monoid m acts on s then this version of the semi-direct product is strict in the m-portion of the semi-direct product.
Documentation
The semi-direct product of monoids s
and m
. When the monoid
m
acts on the monoid s
, this type acquires a monoid structure.
We call the monoid m
the quotient monoid and the monoid s
the
sub-monoid of the semi-direct product. The semi-direct product
Semi s m
is an extension of the monoid s
with m
being the
quotient.