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 member is added by an implicit conversion from DestructureTypes to
any2stringadd[DestructureTypes] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from DestructureTypes to
StringFormat[DestructureTypes] performed by method StringFormat in scala.Predef.
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.