def grant

bendvy-ecs-core@0.1.0.4 · decode_fallible_constructed_resource.bend:23

import Base
import decode_construction.bend as Constructor
import decode_validated_resource.bend as Resource
import ordinary_declaration.bend as Identity
import decode_data.bend as D
import bundle_construction.bend as Build
import capabilities.bend as Cap

23def grant(~S:Data,~I:Type,~R:Type,~Custom:Data,~identity:Identity.Declaration<S,R>,~project:R -> R & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,R,Custom>,~factory:Constructor.FallibleFactory<S,I,R,Custom,identity,project,incoming,build>,~H:Type,~request:Cap.OwnedRequest<H,R,Resource.Output<R>>) -> Cap.OwnedRequest<H,I,Output<I,R,Custom>>:
24  Cap.OwnedRequest{ctx => input => apply(~S,~I,~R,~Custom,~identity,~project,~incoming,~build,~factory,~H,~request,ctx,input)}