type OwnedRequest

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

import Base

135# Additive owned input/result capability; existing Data APIs are unchanged.
136# Operation consuming an affine Input and returning H with affine Output.
137# Operation-specific results can preserve refused payloads; the wrapper does
138# not invent recovery or change their ownership semantics.
139type OwnedRequest<-H:Type,-Input:Type,-Output:Type> is Type:
140  OwnedRequest{run:H -> Input -> H & Output}