-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Algebraic structures
--   
--   Attempt to define algebraic structures in more robust and useful way.
@package morphisms-objects
@version 0.1.0

module Control.Object.Semigroup

-- | <pre>
--   When providing a new instance, you should ensure it satisfies the one law:
--   * Associativity: x &lt;&gt; (y &lt;&gt; z) = (x &lt;&gt; y) &lt;&gt; z
--   </pre>
class Semigroup a

-- | Infix version of <a>binop</a>
(<>) :: Semigroup a => a -> a -> a

-- | Prefix version of <a>&lt;&gt;</a>
binop :: Semigroup a => a -> a -> a

module Control.Object.Monoid

-- | <pre>
--   When providing a new instance, you should ensure it satisfies the two law:
--   * Right absorption: unit &lt;&gt; x = x
--   * Left absorption: x &lt;&gt; unit = x
--   </pre>
class Semigroup a => Monoid a
unit :: Monoid a => a

module Control.Object.Group

-- | <pre>
--   When providing a new instance, you should ensure it satisfies the two law:
--   * Right absorption: x &lt;&gt; inverse x = unit
--   * Left absorption: inverse x &lt;&gt; x = unit
--   </pre>
class Monoid a => Group a
inverse :: Group a => a -> a

module Control.Object