def with

bendvy-ecs-core@0.1.0.4 · ordinary_optional_resource_declaration.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_field_system.bend as Field
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

27# Extra operational grants describe distinct actual fields, not a metadata mirror.
28def with(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type -> Type,~Right:Type -> Type,~V:Data,left:Declaration<S,C,R,E,L,V>,right:Field.Declaration<S,T.Tx<W.World<S,C,R,E>,E>,Right(T.Tx<W.World<S,C,R,E>,E>)>) -> Declaration<S,C,R,E,PairOps(~L,~Right),V>:
29  match left:
30    case Declaration{ordinary,required,observe,render}:Declaration{Field.pair(~S,~T.Tx<W.World<S,C,R,E>,E>,~L(T.Tx<W.World<S,C,R,E>,E>),~Right(T.Tx<W.World<S,C,R,E>,E>),ordinary,right),required,observe,render}