def read_counted

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:74

import Base
import bendvy-ecs-core@0.1.0.3/capabilities.bend as Cap

74def read_counted(~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,next:Nat,id:Nat,args:Args,counted:List<Row<P>> & Nat) -> Log<P> & ReadResult<Args,Observation>:
75  match counted:
76    case (rows,count):read_finished(~P,~Args,~Observation,next,read_rows(~P,~Request,~Projection,~Args,~Observation,~at,~body,count,rows,id,args))