ordinary_app_dispatch_result.bend

bendvy-ecs-core@0.1.0.0 · 19 lines · 0 definitions

1import Base
2import bendvy-ecs-core@0.1.0.0/world.bend as W
3import bendvy-ecs-core@0.1.0.0/system.bend as Sys
4
5# Private generated transport: heterogenous arguments and results keep their
6# affine owners. Registration refusal is not a transaction failure.
7type Arguments<Component:Data,Resource:Type> is Type:
8  ComponentArgs{value:Component & U32}
9  ResourceArgs{value:Resource}
10type Error<Component:Data,Resource:Data> is Data:
11  ComponentError{value:Component}
12  ResourceError{value:Resource}
13type Output<Component:Data,Resource:Type> is Type:
14  ComponentOutput{value:List<&2,Component>}
15  ResourceOutput{value:Resource}
16type DispatchResult<S:Data,C:Type,R:Type,E:Data,H:Type,Args:Type,Failure:Data,Out:Type> is Type:
17  Completed{owners:H,outcome:Sys.Outcome<W.World<S,C,R,E>,Failure,Out>}
18  RegistrationRejected{owners:H,world:W.World<S,C,R,E>,args:Args}
19  UnknownSystem{owners:H,world:W.World<S,C,R,E>,id:U32}