type Shell

bendvy-ecs-core@0.1.0.4 · internal/compact_operational_frame.bend:14

import Base
import bendvy-ecs-core@0.1.0.4/clock_state.bend as Clock
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Facts
import bendvy-ecs-core@0.1.0.4/deferred_command.bend as Deferred

14# Read operations retain this affine shell without inspecting its fields.
15type Shell<-S:Data,-Store:Type,-R:Type,-E:Data> is Type:
16  Shell{resource:R,worldEvents:List<&2,E>,pending:List<Deferred.Command<W.World<S,Store,R,E>>>,registrations:List<&2,W.RegistrationMeta>,nextSystemId:U32,clock:Clock.State,undo:List<(W.World<S,Store,R,E> -> W.World<S,Store,R,E>)>,commands:List<Deferred.Command<W.World<S,Store,R,E>>>,events:List<&2,E>,trace:Facts.State}