Struct puffin::trace::RawKnowledge

pub struct RawKnowledge<PT: ProtocolTypes> {
    pub source: Source,
    pub matcher: Option<PT::Matcher>,
    pub associated_term: Option<Term<PT>>,
    pub data: Box<dyn EvaluatedTerm<PT>>,
}

RawKnowledge stores

Fields

source: Source

matcher: Option<PT::Matcher>

associated_term: Option<Term<PT>>

data: Box<dyn EvaluatedTerm<PT>>

Trait Implementations

impl<PT: Debug + ProtocolTypes> Debug for RawKnowledge<PT>

where PT::Matcher: Debug,

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

Formats the value using the given formatter.

impl<PT: ProtocolTypes> Display for RawKnowledge<PT>

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

Formats the value using the given formatter.

impl<'a, PT: ProtocolTypes> IntoIterator for &'a RawKnowledge<PT>

type IntoIter = IntoIter<Knowledge<'a, PT>>

Which kind of iterator are we turning this into?

type Item = Knowledge<'a, PT>

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.