~/jendhub

def viewed_return

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

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

358def viewed_return(~S:Data,~C:Type,~V:Data,view:V,result:SwapOutcome<S,C>) -> Column<S,C> & Maybe<&2,V>:
359  match result:
360    case Accepted{column,_}: (column,Some{view})
361    case Rejected{column,_}: (column,None{})

Uses (5)

Used by (1)