def provide_owned

bendvy-ecs-core@0.1.0.4 · bundle_provider.bend:8

import Base
import capabilities.bend as Owned

8def provide_owned(~Owner:Type,~Input:Type,~Output:Type,~Args:Type,~BodyOutput:Type,~request:Owner -> Input -> Owner & Output,~body:@-H:Type -> @-cap:Owned.OwnedRequest<H,Input,Output> -> Args -> H -> H & BodyOutput,args:Args,ctx:Owner) -> Owner & BodyOutput:
9  Owned.invoke_owned(~h => Owned.OwnedRequest<h,Input,Output>,~Args,~BodyOutput,~body,~Owner,~Owned.OwnedRequest{request},args,ctx)