type Ops

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

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

49# Reuse the canonical Type-result request; rejected payloads are not forced to Data.
50# Capabilities a lifetime-scope system body receives for payload type P.
51# spawn consumes a scope/payload request and returns an owning SpawnResult;
52# cleanup queues scope cleanup and returns QueueStatus. The opaque owner H must
53# be threaded through both. P may be affine Type; a scope is metadata, not an
54# entity owner or evidence that any member is currently live.
55type Ops<-H:Type,-S:Data,-P:Type> is Type:
56  Ops{spawn:Cap.OwnedRequest<H,Sc.Scope<S> & P,Sc.SpawnResult<S,P>>,cleanup:Cap.Request<H,Sc.Scope<S>,A.QueueStatus>}