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.

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 strings under the appending operation.

Instance for maybe, which chooses the first Just value.

Instance for list under concatenation.

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.

Instance for a -> a function

Instance for set under the difference operation.

Instance for set under the union operation.

Instance for all

Instance for any

Instance for exclusiveOr

Instance for integers under the multiplication operation.

Instance for integers under the sum operation.

Instance for modularArithmetic

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.

Instance for trivial monoid