Skip to main content

SemanticTaskObservation

Struct SemanticTaskObservation

pub struct SemanticTaskObservation {
    pub program_source: Vec<u8>,
    pub input_bytes: Vec<u8>,
    pub result_bytes: Vec<u8>,
    pub expected_truth: [SemanticTruth; 3],
}

Expand description

Actual native observer output and the exact source/input/result custody used to derive it. These bytes describe execution; they grant no application rights.

Fields§

§program_source: Vec<u8>§input_bytes: Vec<u8>§result_bytes: Vec<u8>§expected_truth: [SemanticTruth; 3]

Auto Trait Implementations§

impl Freeze for SemanticTaskObservation

impl RefUnwindSafe for SemanticTaskObservation

impl Send for SemanticTaskObservation

impl Sync for SemanticTaskObservation

impl Unpin for SemanticTaskObservation

impl UnsafeUnpin for SemanticTaskObservation

impl UnwindSafe for SemanticTaskObservation

Blanket Implementations§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.