Explicit typeclass which implements semigroup operations for type a.

Notice that the binary operation function is named "prepend" instead of "append", because it follows the convention of having the context value come as the last value.

Construct from a prepend function.

Construct from a concatenation function.

Construct an instance for any type which satisfies Elm's appendable magic constraint.

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 intersection 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.