~/jendhub

def written_result

bendvy-ecs-core@0.1.0.3 · state.bend:43

import bendvy-ecs-core@0.1.0.3/state.bend as State
import Base

43def written_result(~H: Type,~Raw: Data,~Error: Data,~WriteError: Data,raw: Raw,pair: H & WriteStatus<WriteError>) -> H & TypedRawOutcome<Raw,Error,WriteError>:
44  match pair:
45    case (owner,WriteAccepted{}): (owner,TypedRawWritten{})
46    case (owner,WriteRejected{error}): (owner,TypedRawWriteRejected{raw,error})

Uses (4)

Used by (1)