~/jendhub

def take_branch

bendvy-ecs-core@0.1.0.3 · chunk_column.bend:237

import bendvy-ecs-core@0.1.0.3/chunk_column.bend as ChunkColumn
import Base

237def take_branch(-S:Data,-C:Type,descend:Column<S,C> -> U32 -> Column<S,C> & Maybe<&1,C>,+half:U32,index:U32,left:Column<S,C>,right:Column<S,C>,first:Bool) -> Column<S,C> & Maybe<&1,C>:
238  match first:
239    case True{}:take_left_done(S,C,half,right,descend(left,index))
240    case False{}:take_right_done(S,C,half,left,descend(right,U32.sub(index,half)))

Uses (8)

Used by (1)