def values

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

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

52# Trusted component-display callback for a raw slot index, returning store
53# and one optional rendered-value slot. Missing component remains None;
54# handle validity is established by the enclosing World dump traversal.
55def values(~S:Data,~C:Type,~Rest:Type,~P:Type,~V:Data,~take:C -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> C,~view:P -> P & V,~render:V -> String,store:C,id:U32) -> C & List<&2,Maybe<&2,String>>:view_taken(~S,~C,~Rest,~P,~V,~put,~view,~render,id,take(store))