def provide_with

bendvy-ecs-core@0.1.0.4 · local.bend:69

import Base

69# Local capability invocation with affine Args and Out, returning retained
70# L. As with provide, the opaque body gets no concrete cell and the caller
71# must handle any operation-specific ownership/recovery it requires.
72def provide_with(~L: Type,~V: Data,~Args: Type,~Out: Type,~project: L -> L & V,~consume: @-H: Type -> Ops<H,L,V> -> H -> Args -> H & Out,local: L,args: Args) -> L & Out:
73  unwrapped(~L,~Out,consume(Cell<L>,Ops{read_cell(~L,~V,~project),replace_cell(~L)},Cell{local},args))