def provide

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

import Base

62# Run a universally quantified Local body through read/replace capabilities.
63# Returns the retained Local owner and Out. project must preserve its L owner;
64# replacement does not invoke a finalizer or journal arbitrary mutations.
65# Contract and accepted scenarios: docs/design/public-local-policy.md.
66def provide(~L: Type,~V: Data,~Out: Type,~project: L -> L & V,~consume: @-H: Type -> Ops<H,L,V> -> H -> H & Out,local: L) -> L & Out:
67  unwrapped(~L,~Out,consume(Cell<L>,Ops{read_cell(~L,~V,~project),replace_cell(~L)},Cell{local}))