def rebuild

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

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

import Base

126def rebuild(~S:Data,~C:Type,path:Path<S,C>,column:Column<S,C>) -> Column<S,C>:
127  match path:
128    case Root{}: column
129    case FromLeft{half,right,parent}: rebuild(~S,~C,parent,Branch{half,column,right})
130    case FromRight{half,left,parent}: rebuild(~S,~C,parent,Branch{half,left,column})

Uses (2)

Used by (6)