type Ops

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

import Base

41# Opaque Local read/replacement operations. read returns detached Data V;
42# replace consumes L and returns H without a displaced-owner receipt.
43# Use explicit recovery APIs if replacement must return the displaced owner.
44type Ops<H: Type,L: Type,V: Data> is Type:
45  Ops{read: H -> H & V,replace: H -> L -> H}