ChunkQuery.effect_leaf_right: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/chunk_query.bend as ChunkQuery
Lines 78-80 of bendvy-ecs-core@0.1.0.3/chunk_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/chunk_query.bend&start_line=78&end_line=80

import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as Effects

def effect_leaf_right(~F:Type -> Type,~effects:Effects.Effects<F>,~A:Type,~B:Type,~O:Type,~E:Data,left:OutputValues<A,B,O,E>,walk:O -> F(OutputValues<A,B,O,E>)) -> F(OutputValues<A,B,O,E>):
  match left:
    case OutputValues{read,write,stamps,output,errors,aligned}:Effects.map(~F,OutputValues<A,B,O,E>,OutputValues<A,B,O,E>,effects,walk(output),right => output_values_join(~A,~B,~O,~E,read,write,stamps,errors,aligned,right))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_query.bend&name=OutputValues
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_query.bend&name=output_values_join
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Effects
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=map