def spawn_cap

bendvy-ecs-core@0.1.0.4 · ordinary_lifetime_scope.bend:57

import Base
import bendvy-ecs-core@0.1.0.4/lifetime_scope.bend as Sc
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

57# Advanced capability projection: consume Ops and obtain its owned spawn
58# request operation. Normal system bodies use spawn to thread their opaque owner.
59def spawn_cap(~H:Type,~S:Data,~P:Type,ops:Ops<H,S,P>) -> Cap.OwnedRequest<H,Sc.Scope<S> & P,Sc.SpawnResult<S,P>>:
60  match ops:
61    case Ops{spawn,_}:spawn