type TypedRawOutcome

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

import Base

36# Exact caller-error preservation; the caller's decoder validates its own Raw.
37# Returning Raw on refusal retains the supplied finite input independently of
38# whatever diagnostic representation the caller places inside Error.
39type TypedRawOutcome<Raw: Data,Error: Data,WriteError: Data> is Data:
40  TypedRawWritten{}
41  TypedRawRejected{raw: Raw,error: Error}
42  TypedRawWriteRejected{raw: Raw,error: WriteError}