def read

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_resource.bend:24

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as Storage
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log
import bendvy-ecs-core@0.1.0.4/resource_field.bend as Field
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

24def read(~S:Data,~C:Type,~R:Type,~P:Type,~V:Data,~view:R -> R & V,owner:Q.Frame<S,C,Storage.Resources<R,P>,Nat>) -> Q.Frame<S,C,Storage.Resources<R,P>,Nat> & V:
25  match owner:
26    case Q.Frame{tx,handle,error,cursor}:read_returned(~S,~C,~R,~P,~V,handle,error,cursor,Cap.value_read(~T.Tx<W.World<S,C,Storage.Resources<R,P>,Nat>,Nat>,~V,~Field.read(~S,~C,~Storage.Resources<R,P>,~Nat,~R,~Log.Log<P>,~V,~lens(~R,~P),~view),tx))