def floor_grow

bendvy-ecs-core@0.1.0.3 · entity_allocator.bend:143

import Base

143def floor_grow(fuel:Nat,+floor:U32,allocator:Allocator) -> Allocator:
144  match fuel allocator:
145    case 0n allocator:floor_finish(floor,allocator)
146    case 1n+rest Allocator{+next,+high,slots,+capacity,+depth,+free,+order}:floor_step(U32.is_lt(capacity,floor),floor,owner => floor_grow(rest,floor,owner),Allocator{next,high,slots,capacity,depth,free,order})