OwnedEventFamilyReaderQuery.prepend: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend as OwnedEventFamilyReaderQuery Lines 41-43 of bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend&start_line=41&end_line=43 import Base import bendvy-ecs-core@0.1.0.4/world.bend as W import bendvy-ecs-core@0.1.0.4/transaction.bend as T def prepend(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Observation:Type,~U:Data,~Out:Data,observation:Observation,values:List<&2,Out>,result:Args & (List & (T.Tx,E> & (T.Outcome> & List<&2,Out>)))) -> Args & (List & (T.Tx,E> & (T.Outcome> & List<&2,Out>))): match result: case (args,(observations,(tx,(status,later)))):(args,(observation <> observations,(tx,(status,List.append(&2,Out,values,later))))) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend&name=Error https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World