Struct ClLiteReaderCodec 

pub struct ClLiteReaderCodec;

Decoder turning CL-lite surface text into the shared Expr graph.

Implements the kernel Decoder, LocatedDecoder, and TreeDecoder contracts; this profile supplies no encoder.

Trait Implementations

impl Decoder for ClLiteReaderCodec

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

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

impl LocatedDecoder for ClLiteReaderCodec

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 TreeDecoder for ClLiteReaderCodec

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

Decode input into a LocatedExprTree, attributing spans to source_id.