~/jendhub

def indexed_plain_sized

bendvy-ecs-core@0.1.0.4 · captured_column.bend:35

import bendvy-ecs-core@0.1.0.4/captured_column.bend as CapturedColumn
import Base
import indexed_lifecycle.bend as M

35def indexed_plain_sized(~S:Data,~C:Type,+id:U32,metadata:M.Metadata,sized:Array<Maybe<&1,C>> & U32) -> Capture<S,C>:
36  match sized:
37    case (values,size): indexed_plain_checked(~S,~C,id,metadata,values,U32.is_gt(id,0) && U32.is_le(id,size) && U32.is_le(id,131072))

Uses (11)

Used by (1)