def view_taken

bendvy-ecs-core@0.1.0.3 · column.bend:369

import bendvy-ecs-core@0.1.0.3/column.bend as Column

import Base

369def view_taken(~S: Data, ~C: Type, ~V: Data, ~project: C -> C & V, id: U32, outcome: SwapOutcome<S,C>) -> Column<S,C> & Maybe<&2,V>:
370  match outcome:
371    case Rejected{column, incoming}:
372      (column, None{})
373    case Accepted{column, None{}}:
374      (column, None{})
375    case Accepted{column, Some{owner}}:
376      viewed(~S, ~C, ~V, project(owner), column, id)

Uses (7)

Used by (2)