morphisms-objects-0.1.3: Algebraic structures

Safe HaskellSafe
LanguageHaskell2010

Control.Object.Semigroup

Synopsis

Documentation

class Semigroup a where Source #

When providing a new instance, you should ensure it satisfies the one law:
* Associativity: x <> (y <> z) ≡ (x <> y) <> z

Minimal complete definition

(<>)

Methods

(<>) :: a -> a -> a Source #

Infix version of append