def project

bendvy-ecs-core@0.1.0.4 · row_column.bend:35

import Base

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