Module types 

Data types and their corresponding implementations.

Re-exports

pub use self::endofunction::Endofunction;

pub use self::endomorphism::Endomorphism;

pub use self::identity::Identity;

pub use self::pair::Pair;

Modules

arc_fn

Implementations for atomically reference-counted closures (Arc<dyn Fn(A) -> B>).

endofunction

Implementations for Endofunction, a wrapper for endofunctions (functions from a set to the same set) that enables monoidal operations.

endomorphism

Implementations for Endomorphism, a wrapper for endomorphisms (morphisms from an object to the same object) that enables monoidal operations.

identity

Implementations for Identity, a type that wraps a value.

option

Implementations for Option.

pair

Implementations for Pair, a type that wraps two values.

rc_fn

Implementations for reference-counted closures (Rc<dyn Fn(A) -> B>).

result

Implementations for Result.

string

Implementations for String.

vec

Implementations for Vec.