def ordinary

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

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

41# Advanced App projection: consume the declaration and return its operational
42# resource declaration. Recreate a closed declaration when multiple projections
43# are needed; metadata strings alone cannot substitute for the typed grant.
44def ordinary(~S:Data,~C:Type,~R:Type,~E:Data,~Ops:Type -> Type,~V:Data,declaration:Declaration<S,C,R,E,Ops,V>) -> P.Declaration<S,R,T.Tx<W.World<S,C,R,E>,E>,Ops(T.Tx<W.World<S,C,R,E>,E>)>:
45  match declaration:
46    case Declaration{ordinary,_,_}:ordinary