Trait puffin::protocol::EvaluatedTerm

pub trait EvaluatedTerm<PT: ProtocolTypes>:
    CodecP
    + Extractable<PT>
    + Debug
    + AsAny
    + 'static
where
    Self: 'static,
{
    // Required method
    fn boxed(&self) -> Box<dyn EvaluatedTerm<PT>>;

    // Provided methods
    fn type_id(&self) -> TypeId { ... }
    fn type_name(&self) -> &'static str { ... }
}

EvaluatedTerm: have both Codec and a way to extract knowledge out of a Message/OpaqueMessage or any type that might be used in a precomputation

Required Methods

fn boxed(&self) -> Box<dyn EvaluatedTerm<PT>>

Provided Methods

fn type_id(&self) -> TypeId

fn type_name(&self) -> &'static str

Trait Implementations

impl<PT: ProtocolTypes> Serialize for Box<dyn EvaluatedTerm<PT>>

Allow serializing Box<dyn EvaluatedTerm<_>>

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

Implementors

impl<T, PT: ProtocolTypes> EvaluatedTerm<PT> for T

where T: CodecP + Extractable<PT> + 'static + Clone,