RowColumn.project: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/row_column.bend as RowColumn
Lines 35-39 of bendvy-ecs-core@0.1.0.4/row_column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&start_line=35&end_line=39

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,incoming,error}: Deferred{Untaken{column,incoming,error}}

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/row_column.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&name=Projected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&name=projected_owner