def read

bendvy-ecs-core@0.1.0.4 · internal/compact_operational_frame.bend:37

import Base
import bendvy-ecs-core@0.1.0.4/component.bend as C
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/internal/query_read_session.bend as Session

37def read(~S:Data,~Store:Type,~R:Type,~E:Data,~Rest:Type,~P:Type,~V:Data,~take:Store -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> Store,~view:P -> P & V,frame:Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & C.Access<V>:
38  match frame:
39    case Frame{namespace,allocator,store,+handle,error,cursor,shell}:read_returned(~S,~Store,~R,~E,~V,handle,error,shell,Session.read(~S,~Store,~Rest,~P,~V,~take,~put,~view,Session.Owner{namespace,allocator,store,cursor},handle))