Crate alux_ext 

Reifies extension methods as first-order operations with explicit application meaning.

Re-exports

pub use alux_ext_macros as macros;

Structs

ContextArg

States an argument whose type the context or a selected type decides, so only an interpretation that names them can check it.

StatedArg

States an argument’s type as the method writes it, known without any context.

Traits

ApplyAlg

Applies a defunctionalized operation to a context and an argument product.

HandlerContextAlg

Selects an owned runtime handle for a semantic context.

OperationAlg

Describes the semantic signature of a defunctionalized operation.

Attribute Macros

ext

Declares extension methods and optionally gives each method a first-order operation type.