OwnedEventLog.read_selected: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
Lines 55-58 of bendvy-ecs-core@0.1.0.3/owned_event_log.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&start_line=55&end_line=58

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

def read_selected(~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:List<Row<P>> -> Args -> List<Row<P>> & ReadResult<Args,Observation>,selected:Bool,id:Nat,payload:P,tail:List<Row<P>>,args:Args) -> List<Row<P>> & ReadResult<Args,Observation>:
  match selected:
    case True{}:read_returned(~P,~Args,~Observation,id,tail,Scope.provide(~P,~Request,~Projection,~Args,~Observation,~at,~body,payload,args))
    case False{}:read_rebuilt(~P,~Args,~Observation,Row{id,payload},next(tail,args))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=ReadResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=Row
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=read_rebuilt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=read_returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_scope.bend&name=provide