haskpy.typeclasses.semigroup.Semigroup

Semigroup

class Semigroup

Bases: Type

Semigroup typeclass

Minimal complete definition:

append

For property tests:

sample_semigroup_type

__add__(other)

Append two monoids

Using + operator to append two monoid values seems natural because that’s what Python is doing by default because lists are concatenated with +.

append(x)

m -> m -> m