RestoredRow.project: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restored_row.bend as RestoredRow
Lines 28-32 of bendvy-ecs-core@0.1.0.4/restored_row.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&start_line=28&end_line=32

import Base

def project(~S:Data,~C:Type,~V:Data,~project:C -> C & V,cell:Cell<S,C>) -> Projected<S,C,V>:
  match cell:
    case Taken{id,None{},stamp,dirty,cold}: Projected{Taken{id,None{},stamp,dirty,cold},None{}}
    case Taken{id,Some{owner},stamp,dirty,cold}: projected_owner(~S,~C,~V,id,stamp,dirty,cold,project(owner))
    case Untaken{column}: Deferred{Untaken{column}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=Projected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=projected_owner