def request_field

bendvy-ecs-core@0.1.0.4 · ordinary_service_request.bend:54

import bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend as OrdinaryServiceRequest

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

54def request_field(~S:Data,~Input:Type,~Output:Type,~identity:Identity<S,Input,Output>,~H:Type,value:Grant<S,Input,Output,identity,H>) -> H -> Input -> H & RequestResult<Input,Output>:
55  match value:
56    case Grant{operation}:Cap.owned_request_field(~H,~Input,~RequestResult<Input,Output>,operation)

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.4/ordinary_service_request:request