type Semigroup

bend-lawful-stdlib@0.1.0.0 · src/class.bend:28

import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class

import Base

28# an associative operation
29type Semigroup<-A: Data> is Type:
30  Semigroup{op: A -> A -> A, assoc: @x: A -> @y: A -> @z: A -> {op(x, op(y, z)) == op(op(x, y), z) : A}}

Uses (0)

This definition uses no other definition.

Used by (6)