def plain_view_sized

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

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

import Base
import lifecycle.bend as L

391def plain_view_sized(~S:Data,~C:Type,~V:Data,~project:C -> C & V,+id:U32,stamps:List<&2,L.Entry>,result:Array<Maybe<&1,C>> & U32) -> Column<S,C> & Maybe<&2,V>:
392  match result:
393    case (values,size): plain_view_checked(~S,~C,~V,~project,values,stamps,id,U32.is_gt(id,0) && U32.is_le(id,size) && U32.is_le(id,131072))

Uses (12)

Used by (1)

bendvy-ecs-core@0.1.0.3/column:view