stdlib - 0.11.1

Stdlib.Trait.Semigroup

Description

Definitions

trait type Semigroup ASource#

Constructors

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

open Semigroup hiding {mk} public