stdlib - 0.12.0

Stdlib.Trait.Semigroup

Definitions

trait type Semigroup ASource#

Constructors

mk@{ --- Associative operation append : A -> A -> A; }

open Semigroup using {++} public