Behaviour for composite type modules.

Composite types are parameterized by a spec that describes their inner structure (e.g., the element type for lists, the field specs for maps). Each composite module implements this behaviour to handle casting, typespec generation, guards, and display for its specific parameterization.

Callbacks that recurse into inner types receive a resolver function from the caller, keeping composite modules decoupled from the type resolution system.

Implementations

• Plushie.Type.Composite.Enum - {:enum, [atoms]}
• Plushie.Type.Composite.List - {:list, inner_type}
• Plushie.Type.Composite.Map - {:map, {key_type, val_type}} or {:map, [name: type]}
• Plushie.Type.Composite.Tuple - {:tuple, [types]}
• Plushie.Type.Composite.Union - {:union, [types]}