def apply

bendvy-ecs-core@0.1.0.4 · decode_constructed_requests.bend:27

import Base
import decode_construction.bend as Constructor
import ordinary_declaration.bend as Identity
import decode_data.bend as D
import bundle_construction.bend as Build
import decode_requests.bend as Request
import capabilities.bend as Cap

27def apply(~S:Data,~I:Type,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,P,D.Error>,~factory:Constructor.Factory<S,I,P,identity,project,incoming,build>,~H:Type,~request:Cap.OwnedRequest<H,Request.Input<S,P>,Request.Output<S,P>>,ctx:H,input:Input<S,I>) -> H & Output<S,I,P>:
28  match input:
29    case Input{operation,raw}:constructed(~S,~I,~P,~H,~request,ctx,operation,Constructor.construct(~S,~I,~P,~identity,~project,~incoming,~build,factory,raw))