Crate kind_derive 

Utility to derive functions from their definitions.

Modules

diagnostic

getters

Module to derive a “open” function for records.

matching

Module to derive a dependent eliminator out of a sum type declaration.

mutters

Module to derive mutters for record types

open

Module to derive getters function for records.

setters

Module to derive setters for record types

subst