~/jendhub

def indexed_view_sized

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

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

117def indexed_view_sized(~S:Data,~C:Type,~V:Data,~project:C -> C & V,+id:U32,metadata:M.Metadata,result:Array<Maybe<&1,C>> & U32) -> Column<S,C> & Maybe<&2,V>:
118  match result:
119    case (values,size): indexed_view_checked(~S,~C,~V,~project,id,values,metadata,U32.is_gt(id,0) && U32.is_le(id,size) && U32.is_le(id,131072))

Uses (11)

Used by (1)