juvix-docs - 0.0.0

Stdlib.Trait.Semigroup

Description

Definitions

trait type Semigroup ASource#

Constructors

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

open Semigroup using {++} public