ExecutionQueryColumn.effect_branch: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_column.bend as ExecutionQueryColumn
Lines 31-34 of bendvy-ecs-core@0.1.0.3/execution_query_column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_column.bend&start_line=31&end_line=34

import Base
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Col
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as E

def effect_branch(~F:Type -> Type,~effects:E.Effects<F>,-S:Data,-C:Type,-P:Type,-O:Type,+half:U32,left:Col.Column<S,C>,right:Col.Column<S,C>,goLeft:Col.Column<S,C> -> O -> (P -> O -> F(P & O)) -> F(Update<S,C,O>),goRight:Col.Column<S,C> -> O -> (P -> O -> F(P & O)) -> F(Update<S,C,O>),state:O,operation:P -> O -> F(P & O),first:Bool) -> F(Update<S,C,O>):
  match first:
    case True{}:E.map(~F,Update<S,C,O>,Update<S,C,O>,effects,goLeft(left,state,operation),result=>effect_left(S,C,O,half,right,result))
    case False{}:E.map(~F,Update<S,C,O>,Update<S,C,O>,effects,goRight(right,state,operation),result=>effect_right(S,C,O,half,left,result))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=Column
  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
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_column.bend&name=Update
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_column.bend&name=effect_left
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_column.bend&name=effect_right