Module mapping

Structs

AbelianOperation

A function wrapper enforcing commutativity.

AssociativeOperation

A function wrapper enforcing associativity.

CancellativeOperation

A function wrapper enforcing cancellativity.

GroupOperation

A function wrapper enforcing identity existence, invertibility, and associativity.

IdentityOperation

A function wrapper enforcing identity existence.

InvertibleOperation

A function wrapper enforcing identity existence and invertibility.

LoopOperation

A function wrapper enforcing identity existence and cancellativity.

MonoidOperation

A function wrapper enforcing identity existence and associativity.

Enums

PropertyError

PropertyType

Traits

BinaryOperation

Common interface for all Algae operations.

Functions

binop_has_invertible_identity

Returns whether or not the given invertible BinaryOperation has the given identity.

binop_is_invertible

Returns whether or not the given BinaryOperation has the PropertyType::Invertible property.