def edit_route

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

import Base

174def edit_route(~S:Data,~C:Type,left:Column<S,C>,right:Column<S,C>,+half:U32,+index:U32,path:Path<S,C>,first:Bool) -> Visit<S,C>:
175  match first:
176    case True{}: Visit{left,index,FromLeft{half,right,path}}
177    case False{}: Visit{right,U32.sub(index,half),FromRight{half,left,path}}