def entered

bendvy-ecs-core@0.1.0.4 · relation_cleanup.bend:36

import Base
import entity_key.bend as Key
import relation_types.bend as G
import relation_commands.bend as A
import world.bend as W

36def entered(~S: Data,~C: Type,~R: Type,~E: Data,checked: W.World<S,A.Store<S,C>,R,A.Notice<S,E>> & Bool,id:Key.Key,descriptors: List<&2,G.Descriptor<S>>,frames: List<&2,G.CleanupFrame<S>>) -> W.World<S,A.Store<S,C>,R,A.Notice<S,E>> & List<&2,G.CleanupFrame<S>>:
37  match checked:
38    case (world,False{}): (world,frames)
39    case (world,True{}): (world,G.CleanupDescriptors{id,descriptors} <> frames)