Collapses an intersection of object types into a single object type.
Re-maps every key of the intersection onto one object, so the composed type is seen and hovered
as a single property list rather than as an A & B spelling. Presents every key as readonly,
preserving the optional key modifiers assigned by Relaxed. Used by Relaxed and
Composition to present their assembled templates as flat models.
Type Parameters
T
The intersection type to merge
Remarks
The readonly modifier is restated rather than inherited: mapping over an intersection drops
the source modifiers, so a homomorphic re-map alone would yield a mutable model.
Collapses an intersection of object types into a single object type.
Re-maps every key of the intersection onto one object, so the composed type is seen and hovered as a single property list rather than as an
A & Bspelling. Presents every key asreadonly, preserving the optional key modifiers assigned by Relaxed. Used by Relaxed and Composition to present their assembled templates as flat models.