(destructureTypes: StringAdd).self
(destructureTypes: StringFormat).self
(destructureTypes: ArrowAssoc[DestructureTypes]).x
(Since version 2.10.0) Use leftOfArrow
instead
(destructureTypes: Ensuring[DestructureTypes]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A generic means of breaking down types into their subcomponents. Types are decomposed top down, and recognizable substructure is dispatched via self-apparently named methods. Those methods can be overridden for custom behavior, but only the abstract methods require implementations, each of which must create some unknown "Node" type from its inputs.
This is a work in progress.