~/jendhub

def view_taken

bendvy-ecs-core@0.1.0.4 · ordinary_binding_provision.bend:49

import bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend as OrdinaryBindingProvision
import Base
import bendvy-ecs-core@0.1.0.4/column.bend as Col

49def view_taken(~S:Data,~C:Type,~Rest:Type,~P:Type,~V:Data,~put:Rest -> Col.Column<S,P> -> C,~view:P -> P & V,~render:V -> String,id:U32,result:Rest & Col.Column<S,P>) -> C & List<&2,Maybe<&2,String>>:
50  match result:
51    case (rest,column):view_returned(~S,~C,~Rest,~P,~put,rest,Col.view(~S,~P,~String,~present(~P,~V,~view,~render),column,id))

Uses (10)

Used by (1)