def restore_search

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

import Base
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as L

209def restore_search(~S:Data,~C:Type,fuel:Nat,state:Visit<S,C>,+stamp:L.Stamp) -> Column<S,C>:
210  match fuel state:
211    case 0n Visit{column,_,path}:rebuild(~S,~C,path,column)
212    case 1n+_ Visit{Leaf{values,stamps},+index,path}:rebuild(~S,~C,path,restore_leaf(~S,~C,values,stamps,index,stamp,U32.is_lt(index,8)))
213    case 1n+rest Visit{Branch{+half,left,right},+index,path}:restore_search(~S,~C,rest,edit_route(~S,~C,left,right,half,index,path,U32.is_lt(index,half)),stamp)