State.result_observed: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/state.bend as State
Lines 47-50 of bendvy-ecs-core@0.1.0.3/state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&start_line=47&end_line=50

import Base
import capabilities.bend as Cap

def 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>:
  match decoded:
    case Done{value}: written_result(~H,~Raw,~Error,~WriteError,raw,Cap.request(~H,~Value,~WriteStatus<WriteError>,~write,owner,value))
    case Fail{error}: (owner,TypedRawRejected{raw,error})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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/capabilities.bend&name=request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=TypedRawOutcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=WriteStatus
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=written_result