Explicit typeclass which implements monoid operations for type a.

Construct an instance by specifying identity value and a concatenation operation.

Construct an instance by specifying a semigroup instance and an identity value.

Construct an instance for any type which satisfies Elm's appendable magic constraint, by providing an identity value.

Construct an instance for any type which satisfies Elm's number magic constraint. Implements multiplication.

Construct an instance for any type which satisfies Elm's number magic constraint. Implements sum.

Map over the owner type of an instance to produce a new instance.

You need to provide both a covariant and a contravariant mapping (i.e., (a -> b) and (b -> a)).

Instance for integers under the multiplication operation.

Instance for integers under the sum operation.

Instance for strings under the appending operation.

Instance for maybe, which chooses the first Just value.

Instance for list under concatenation.

Instance for set under the union operation.

Instance for set under the difference operation.

Instance for commands under the batch operation.

Instance for subscriptions under the batch operation.

Instance for tasks, which sequentially executes them and groups the results.