Struct JsonCodec 

pub struct JsonCodec;

JSON codec runtime object that round-trips every Expr through JSON.

Implements all codec roles – Decoder/Encoder, the located LocatedDecoder/LocatedEncoder, and the tree TreeDecoder/TreeEncoder – by projecting the shared Expr graph onto $expr-tagged (and $located) serde_json::Value forms, so any expression the kernel can hold survives a JSON round-trip losslessly.

Trait Implementations

impl Decoder for JsonCodec

fn decode(&self, cx: &mut ReadCx<'_>, input: Input) -> Result<Expr>

Decode input into a kernel Expr, charging the ReadCx budget.

impl Encoder for JsonCodec

fn encode(&self, cx: &mut WriteCx<'_>, expr: &Expr) -> Result<Output>

Encode expr into Output under the context’s encode options.

impl LocatedDecoder for JsonCodec

fn decode_located( &self, cx: &mut ReadCx<'_>, input: Input, _source_id: String, ) -> Result<LocatedExpr>

Decode input into a LocatedExpr, attributing spans to source_id.

impl LocatedEncoder for JsonCodec

fn encode_located( &self, cx: &mut WriteCx<'_>, expr: &LocatedExpr, ) -> Result<Output>

Encode a LocatedExpr, optionally using its origin for fidelity.

impl TreeDecoder for JsonCodec

fn decode_tree( &self, cx: &mut ReadCx<'_>, input: Input, _source_id: String, ) -> Result<LocatedExprTree>

Decode input into a LocatedExprTree, attributing spans to source_id.

impl TreeEncoder for JsonCodec

fn encode_tree( &self, cx: &mut WriteCx<'_>, expr: &LocatedExprTree, ) -> Result<Output>

Encode a LocatedExprTree, reproducing layout and trivia where present.