IPropagation.IBranch is a branch type composing IPropagation type,
which is gathering all possible status codes and their body data types as a
union type.
Evidence
contracts/common.md#principled-implementation A branch pairs a literal success flag with the status, the data, and the headers, and turns a range spelling into the union of its integers, so a narrowed status is a number the caller can compare.
Evidence
contracts/common.md#clear-and-simple-design One record with a conditional on the status member.
Evidence
contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
Evidence
contracts/common.md#meaningful-documentation The comment explains that it is the element of the propagation union.
Branch type of propagation.
IPropagation.IBranchis a branch type composingIPropagationtype, which is gathering all possible status codes and their body data types as a union type.Evidence
contracts/common.md#principled-implementation A branch pairs a literal success flag with the status, the data, and the headers, and turns a range spelling into the union of its integers, so a narrowed status is a number the caller can compare.
Evidence
contracts/common.md#clear-and-simple-design One record with a conditional on the status member.
Evidence
contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
Evidence
contracts/common.md#meaningful-documentation The comment explains that it is the element of the propagation union.