SemiGroup

A module to define generic functions for semigroup.

Types

= SemiGroup (a -> a -> a)

Main type.

type Sum a

= Sum a

Semigroup under addition

= Product a

MoSemigroupnoid under multiplication.

append : SemiGroup a -> a -> a -> a

Take the way to append a semigroups.

Semigroup type for String.

Semigroup type for Sum.

Semigroup type for Product.

Semigroup type for List.

SemiGroup type for Array.

dict : SemiGroup (Dict comparable a)

SemiGroup type for Dict.

set : SemiGroup (Set comparable)

SemiGroup type for Set.

cmd : SemiGroup (Cmd comparable)

SemiGroup type for Cmd.

sub : SemiGroup (Sub comparable)

Monoid type for Sub.