~/jendhub

def read_returned

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

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
import Base

49def read_returned(~P:Type,~Args:Type,~Observation:Type,id:Nat,tail:List<Row<P>>,observed:P & Observation) -> List<Row<P>> & ReadResult<Args,Observation>:
50  match observed:
51    case (payload,value):(Row{id,payload} <> tail,Found{value})

Uses (6)

Used by (1)