pandora-0.1.0: Pandora/Pattern/Object/Group.hs

module Pandora.Pattern.Object.Group (Group (..)) where

import Pandora.Pattern.Object.Monoid (Monoid)

{- |
> When providing a new instance, you should ensure it satisfies the two laws:
> * Right absorption: x <> inverse x ≡ unit
> * Left absorption: inverse x <> x ≡ unit
-}

class Monoid a => Group a where
	{-# MINIMAL inverse #-}
	inverse :: a -> a