Module

Data.Semigroup

Package: prelude
Repository: purerl/purescript-prelude

#Semigroup Source

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)

#(<>) Source

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

#SemigroupRecord Source

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