Expand description
§alux-sdk-macros
This crate contains the procedural macro implementations exported by alux-sdk.
For what a trait algebra is for, read First-order programs and Defunctionalization in the ALUX programming guidelines.
Applications should depend on alux-sdk, which is the reference library
for documentation and executable usage examples:
See the trait_algebra documentation
for usage.
Attribute Macros§
- trait_
algebra - Reifies a trait as pure operation data and its fold.