scalaz.Semigroup
A semigroup in type F must satisfy two laws:
∀ a, b in F, append(a, b)
F
∀ a, b, c
append(append(a, b), c) = append(a, append(b , c))
A semigroup in type F must satisfy two laws:
∀ a, b in F, append(a, b)
is also inF
. This is enforced by the type system.∀ a, b, c
inF
, the equationappend(append(a, b), c) = append(a, append(b , c))
holds.