parameterized-0.2.0.0: Extensible records and polymorphic variants.

Safe Haskell Safe Haskell2010

Parameterized.Data.Semigroup

Synopsis

# Documentation

class PSemigroup n t u v | t u -> v where Source #

Parameterized version of (<>) in Semigroup If used in conjunction with Empty, ie as a parameterized Monoid, then the instance should follow the following laws: * pmempty' pmappend' x = x * x pmappend' pempty' = x * x pmappend' (y pmappend' z) = (x pmappend' y) pmappend' z

Minimal complete definition

pmappend

Methods

pmappend :: n t -> n u -> n v Source #

(&<>) :: PSemigroup n t u v => n t -> n u -> n v infixr 6 Source #