CaptureQuery.prepend: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/capture_query.bend as CaptureQuery Lines 12-14 of bendvy-ecs-core@0.1.0.4/capture_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/capture_query.bend&start_line=12&end_line=14 import Base import bendvy-ecs-core@0.1.0.4/world.bend as W import bendvy-ecs-core@0.1.0.4/compose.bend as Q import bendvy-ecs-core@0.1.0.4/transaction.bend as T def prepend(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~U:Data,~Out:Data,value:Out,observed:L & (T.Tx,E> & (T.Outcome> & List<&2,Out>))) -> L & (T.Tx,E> & (T.Outcome> & List<&2,Out>)): match observed: case (capture,(tx,(status,values))):(capture,(tx,(status,value <> values))) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List 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/compose.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