morphisms-objects-0.1.3: Algebraic structures
Control.Object.Semigroup
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
append