haskpy.types.monoids.Endo

Endo

class Endo(app_endo)

Bases: Monoid

Endofunction monoid (a -> a)

__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 +.

__eq_test__(other, data, input_strategy=integers())

append(f)

m -> m -> m

empty = Endo(<haskpy.types.function.Function object>)