def component_inspected

bendvy-ecs-core@0.1.0.3 · execution_save_layout_field.bend:80

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_data.bend as Saved
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Column
import bendvy-ecs-core@0.1.0.3/chunk_shape.bend as Part
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

80def component_inspected(-S:Data,-P:Type,-V:Data,+key:String,-origin:Layout.Layout,mode:Mode,project:P -> P & D.Raw,logical:U32,result:Column.Column<S,Layout.Viewed<P,V>> & Part.Inspection) -> Layout.ColumnSlot<S,Layout.Viewed<P,V>,key,origin> & Saved.Fields:
81  match result:
82    case (column,Part.Inspection{_,capacity,valid}):component_valid(S,P,V,key,origin,mode,project,column,logical,Bool.and(valid,U32.is_le(capacity,Column.maximum_capacity())))