Skip to main content

Check

Struct Check 

Source
pub struct Check<'c> {
Show 17 fields pub session: &'c str, pub check: &'c str, pub idx: u64, pub stop_ms: i64, pub line: &'c str, pub model: &'c str, pub prompt_hash: &'c str, pub failed: bool, pub applied: &'c [(&'c Challenge, u8)], pub pending: &'c [String], pub text: &'c str, pub scope_text: &'c str, pub challenges: &'c [Challenge], pub delivered: &'c HashSet<&'c str>, pub in_play: &'c HashSet<&'c str>, pub lessons: &'c Path, pub outcomes: &'c Path,
}
Expand description

What the check adds after its call (hook.rs settle).

Fields§

§session: &'c str§check: &'c str§idx: u64§stop_ms: i64

When its stop ran: the store, the verdicts and the moves it reads are those before it.

§line: &'c str§model: &'c str§prompt_hash: &'c str§failed: bool§applied: &'c [(&'c Challenge, u8)]

The applies with their grades; the lessons whose verdict it judged.

§pending: &'c [String]§text: &'c str

The work the pool read (conscience.rs work_text), where the session works, the lessons the check could ask.

§scope_text: &'c str§challenges: &'c [Challenge]§delivered: &'c HashSet<&'c str>

The lessons delivered in the session, and those in play (delivered or applied by an earlier check).

§in_play: &'c HashSet<&'c str>§lessons: &'c Path

The store’s lessons file, and the outcomes the verdicts and the moves are read from.

§outcomes: &'c Path

Auto Trait Implementations§

§

impl<'c> Freeze for Check<'c>

§

impl<'c> RefUnwindSafe for Check<'c>

§

impl<'c> Send for Check<'c>

§

impl<'c> Sync for Check<'c>

§

impl<'c> Unpin for Check<'c>

§

impl<'c> UnsafeUnpin for Check<'c>

§

impl<'c> UnwindSafe for Check<'c>

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.