Module algae_rs::mapping

source ·

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.