def take_search

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

import Base

241def take_search(-S:Data,-C:Type,fuel:Nat,column:Column<S,C>,+index:U32) -> Column<S,C> & Maybe<&1,C>:
242  match fuel column:
243    case 0n column:(column,None{})
244    case 1n+_ Leaf{values,stamps}:take_leaf(S,C,values,stamps,index,U32.is_lt(index,8))
245    case 1n+rest Branch{+half,left,right}:take_branch(S,C,(column => index => take_search(S,C,rest,column,index)),half,index,left,right,U32.is_lt(index,half))