def framed

bendvy-ecs-core@0.1.0.4 · machine_handler_phases_context.bend:11

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx

11def framed(~S:Data,~C:Type,~R:Type,~E:Data,~frame:W.World<S,C,R,E> -> W.World<S,C,R,E>,context:Ctx.Context<W.World<S,C,R,E>>) -> Ctx.Context<W.World<S,C,R,E>>:
12  match context:
13    case Ctx.Context{world,trace}:Ctx.Context{frame(world),trace}