ExecutionPlan[P, In, E, R]: steps to try in order until one
succeeds. P is what every step provides, In the errors the
steps' predicates and schedules accept, E and R what building
the steps' layers and running their predicates and schedules may fail
with and need. Build one with make or merge.
Attributes#
| Attribute | Type | Description |
|---|---|---|
steps | tuple[Step[P_contra, In_contra, E_co, R_co], ...] | |
capture_requirements | Effect[ExecutionPlan[P_contra, In_contra, E_co], Never, R_co] | The plan with the current services baked into every step's
layer, predicate and schedule, so it no longer needs |
Functions#
__init__#
__init__(steps) -> None| Parameter | Type | Description |
|---|---|---|
steps | tuple[Step[P_contra, In_contra, E_co, R_co], ...] |