Data.Semigroup

class Semigroup a  where

The Semigroup type class identifies an associative operation on a type.

Instances are required to satisfy the following law:

• Associativity: (x <> y) <> z = x <> (y <> z)

One example of a Semigroup is String, with (<>) defined as string concatenation.

Members

• append :: a -> a -> a

Instances

• Semigroup String
• Semigroup Unit
• Semigroup Void
• (Semigroup s') => Semigroup (s -> s')
• Semigroup (Array a)
• (RowToList row list, SemigroupRecord list row row) => Semigroup (Record row)

Operator alias for Data.Semigroup.append (right-associative / precedence 5)

class SemigroupRecord rowlist row subrow | rowlist -> subrow where

A class for records where all fields have Semigroup instances, used to implement the Semigroup instance for records.

Members

• appendRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow

Instances

• SemigroupRecord Nil row ()
• (IsSymbol key, Cons key focus subrowTail subrow, SemigroupRecord rowlistTail row subrowTail, Semigroup focus) => SemigroupRecord (Cons key focus rowlistTail) row subrow