def read

bendvy-ecs-core@0.1.0.4 · owned_event_storage.bend:75

import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log

75# The projection is trusted schema provisioning. The closed body receives only an
76# abstract payload handle and declared scoped read request; it never gets World.
77def read(~S:Data,~C:Type,~R:Type,~P:Type,~Request:Type,~Projection:Data,~Args:Type,~Observation:Type,~at:P -> Request -> P & Projection,~body:@-H:Type -> @-read:Cap.Request<H,Request,Projection> -> H -> Args -> H & Observation,world:World(~S,~C,~R,~P),id:Nat,args:Args) -> World(~S,~C,~R,~P) & Log.ReadResult<Args,Observation>:
78  with_resources(~S,~C,~R,~P,~Log.ReadResult<Args,Observation>,resources => read_resources(~R,~P,~Request,~Projection,~Args,~Observation,~at,~body,resources,id,args),world)