type Group

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

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

import Base

46# addition and subtraction that undo each other (wrapping integers)
47type Group<-A: Data> is Type:
48  Group{add: A -> A -> A, sub: A -> A -> A,
49    sub_add: @a: A -> @b: A -> {a == sub(add(a, b), b) : A},
50    add_sub: @a: A -> @b: A -> {a == add(sub(a, b), b) : A}}

Uses (0)

This definition uses no other definition.

Used by (13)