def request

bendvy-ecs-core@0.1.0.3 · capabilities.bend:123

import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities

import Base

123# Execute a request with consumed input C, returning H and Data result V.
124# This is not the affine-output variant; use owned_request for Type results.
125def request(~H: Type,~C: Type,~V: Data,~cap: Request<H,C,V>,ctx: H,value: C) -> H & V:
126  request_field(~H,~C,~V,cap)(ctx,value)

Uses (3)

Used by (3)