Crate kind_derive
source ·Expand description
Utility to derive functions from their definitions.
Modules
- Module to derive a “open” function for records.
- Module to derive a dependent eliminator out of a sum type declaration.
- Module to derive mutters for record types
- Module to derive getters function for records.
- Module to derive setters for record types