def replace_operational

bendvy-ecs-core@0.1.0.4 · ordinary_query_builder.bend:61

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_observable.bend as O
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as N
import bendvy-ecs-core@0.1.0.4/inspector.bend as I

61# Trusted advanced adapter replacing the builder's operational declaration
62# while retaining its inspection and read-enumeration recipes. Caller must
63# preserve their intended relationship; no semantic equivalence is checked.
64# Does not grant inspection the replacement's write operations.
65def replace_operational(~S:Data,~Store:Type,~R:Type,~E:Data,~H:Type,~Old:Type,~New:Type,~V:Data,~operation:N.Declaration<S,H,New>,~builder:Builder<S,Store,R,E,H,Old,V>) -> Builder<S,Store,R,E,H,New,V>:
66  Builder{_=>O.Declaration{_=>operation,_=>O.inspection(~S,~H,~Old,~I.Frame<S,Store,R,E>,~V,ordinary(~S,~Store,~R,~E,~H,~Old,~V,builder))},_=>session(~S,~Store,~R,~E,~H,~Old,~V,builder)}