def returned

bendvy-ecs-core@0.1.0.4 · captured_schedule_query.bend:16

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Decl
import bendvy-ecs-core@0.1.0.4/ordinary_capture_query.bend as O
import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as Comp

16def returned(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~Ops:Type -> Type,~A:Data,~U:Data,~Out:Data,~query:Decl.Declaration<S,Q.Frame<S,C,R,E>,Ops(Q.Frame<S,C,R,E>)>,~body:@-H:Type -> @-caps:Ops(H) -> L -> A -> H -> H & (L & (T.Outcome<U> & Out)),args:A,enabled:Bool,result:O.Run<W.World<S,C,R,E>,O.Owner<S,C,R,E,L,Ops,A,U,Out,query,body>,A,Q.Error<U>,Out>) -> Comp.Outcome<W.World<S,C,R,E>,Leaf<S,C,R,E,L,Ops,A,U,Out,query,body>,Q.Error<U>>:
17  match result:
18    case O.Completed{world,owner,Done{_}}:Comp.Completed{world,Leaf{owner,args,enabled}}
19    case O.Completed{world,owner,Fail{error}}:Comp.Failed{world,Leaf{owner,args,enabled},error}
20    case O.Refused{world,owner,_}:Comp.Refused{world,Leaf{owner,args,enabled}}