Crate functional [] [src]

Structs

Add
Mul

One of the basic binary operation type It's autoimplemeted for all types which implement std::ops::Mul

Traits

AssociativeOperation

Declare binary operation as associative

BinaryOperation

Algebra Define binary operation as type

Functor

Basic functional trait

Generic1

Generic types can implement this trait providing an ability to extract first generic parameter.

Generic2

Generic types with at least two parameters can implement this trait providing an ability to extract second generic parameter.

Magma

Basic algebraic structure/ Combines binary operation with type

Monoid

Monoid is Semigroup with neutral element for is's operation

Rebind1

Generic types can implement this trait providing an ability to change first generic parameter. Associated Type must have same HKT.

Rebind2

Generic types with at least two parameters can implement this trait providing an ability to change second generic parameter. Associated Type must have same HKT.

Semigroup

Combines asscotiative operation with type