type Executed

bendvy-ecs-core@0.1.0.4 · compose.bend:30

import Base
import transaction.bend as T

30# Returned World and traversal outcome with ordered detached Data row outputs.
31# Failure returns the rolled-back World and an empty output list, including when
32# earlier rows produced values. This is not an affine payload recovery receipt.
33type Executed<-World: Type,Error: Data,Out: Data> is Type:
34  Executed{world: World,outcome: T.Outcome<Error>,values: List<&2,Out>}