Module algae_rs::mapping

source ·

Structs

AbelianOperation
A function wrapper enforcing commutativity.
AssociativeOperation
A function wrapper enforcing associativity.
CancellativeOperation
A function wrapper enforcing cancellativity.
IdentityOperation
A function wrapper enforcing identity existence.
MonoidOperation
A function wrapper enforcing identity existence and associativity.

Enums

PropertyError
PropertyType

Traits

BinaryOperation
Common interface for all Algae operations.