Enum CodecDefaultDecode 

pub enum CodecDefaultDecode {
    Datum,
    TermInEvalDatumOtherwise,
}

A codec’s policy for choosing a DecodeTarget from a DecodePosition.

Data codecs always yield data; eval-aware codecs yield a term in eval position and data otherwise.

Variants

Datum

Always decode to a Datum, regardless of position.

TermInEvalDatumOtherwise

Decode to a Term in DecodePosition::Eval, otherwise to a Datum.

Implementations

impl CodecDefaultDecode

pub fn target_for(self, position: DecodePosition) -> DecodeTarget

Resolve the DecodeTarget for position under this policy.

Examples

use sim_codec::{CodecDefaultDecode, DecodePosition, DecodeTarget};

let policy = CodecDefaultDecode::TermInEvalDatumOtherwise;
assert_eq!(policy.target_for(DecodePosition::Eval), DecodeTarget::Term);
assert_eq!(policy.target_for(DecodePosition::Data), DecodeTarget::Datum);

// A pure data codec always yields data.
assert_eq!(
    CodecDefaultDecode::Datum.target_for(DecodePosition::Eval),
    DecodeTarget::Datum,
);

pub fn as_symbol_name(self) -> &'static str

The stable kebab-case name of this policy, for metadata and display.

Trait Implementations

impl Clone for CodecDefaultDecode

fn clone(&self) -> CodecDefaultDecode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CodecDefaultDecode

impl Debug for CodecDefaultDecode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for CodecDefaultDecode

impl PartialEq for CodecDefaultDecode

fn eq(&self, other: &CodecDefaultDecode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CodecDefaultDecode