def result_observed
bendvy-ecs-core@0.1.0.3 · state.bend:47
import bendvy-ecs-core@0.1.0.3/state.bend as State
import Base
import capabilities.bend as Cap
47def result_observed(~H: Type,~Value: Data,~Raw: Data,~Error: Data,~WriteError: Data,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,owner: H,raw: Raw,decoded: Result<&2,&1,Error,Value>) -> H & TypedRawOutcome<Raw,Error,WriteError>:
48 match decoded:
49 case Done{value}: written_result(~H,~Raw,~Error,~WriteError,raw,Cap.request(~H,~Value,~WriteStatus<WriteError>,~write,owner,value))
50 case Fail{error}: (owner,TypedRawRejected{raw,error})