The immutable state of the phase that can also be accessed by other phases.
The immutable state of the phase that can also be accessed by other phases.
Run the phase
Run the phase
Create a Node representing a structure of null values of the given Type
Fuse unnecessary Option operations
The unique name of the phase
The unique name of the phase
Create a SilentCast call unless the type already matches
Strip nominal types and convert all atomic types to OptionTypes
Perform the sum expansion on a Node
Perform the sum expansion on a Type
Translate an Option-extended left outer, right outer or full outer join
(expandSums: StringAdd).self
(expandSums: StringFormat).self
(expandSums: ArrowAssoc[ExpandSums]).x
(Since version 2.10.0) Use leftOfArrow
instead
(expandSums: Ensuring[ExpandSums]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Expand sum types and their catamorphisms to equivalent product type operations.