pub trait Form {
    type Type: PartialEq + Eq + PartialOrd + Ord + Clone + Debug;
    type String: AsRef<str> + PartialEq + Eq + PartialOrd + Ord + Clone + Debug;
}
Expand description

Trait to control the internal structures of type definitions.

This allows for type-level separation between free forms that can be instantiated out of the flux and portable forms that require some sort of interning data structures.

Associated Types

The type representing the type.

The string type.

Implementors