Skip to main content

ResubmissionFacts

Struct ResubmissionFacts 

Source
pub struct ResubmissionFacts {
    pub state: CreditRegistrationState,
    pub is_superseded: bool,
    pub error_code: Option<CreditRegistrationErrorCode>,
    pub resubmit_not_before: Option<DateTime<Utc>>,
    pub submitted_at: Option<DateTime<Utc>>,
}
Expand description

What decides whether a row may be moved by hand, read off whichever row type the caller has.

Fields§

§state: CreditRegistrationState§is_superseded: bool

A later attempt replaced this one.

§error_code: Option<CreditRegistrationErrorCode>§resubmit_not_before: Option<DateTime<Utc>>§submitted_at: Option<DateTime<Utc>>

Implementations§

Source§

impl ResubmissionFacts

Source

pub fn resubmission_refusal( &self, strictness: ResubmissionStrictness, ) -> Option<ResubmissionRefusal>

Whether the row may move back to ready_to_submit, and why not if it may not.

One precedence shared by the teacher-facing retry and the admin ledger’s hand transitions; strictness is how far outside a failure a caller may move a row from. A row that has been sent is refused at every strictness unless its state says the submission cannot count twice, so awaiting_verification -> cancelled -> ready_to_submit cannot launder a resend.

Source

fn uncertain_pending_window_end(&self) -> Option<DateTime<Utc>>

Until when Suotar may still hold an uncertain submission as pending; None for a row in any other state.

Source

pub fn resubmission_availability( &self, strictness: ResubmissionStrictness, ) -> ResubmissionAvailability

Whether the row may be sent again, how that send may go wrong, and for a refusal that only waits on time, when it lifts.

Source

pub fn cancel_refusal( &self, strictness: ResubmissionStrictness, ) -> Option<ResubmissionRefusal>

Why cancelling the row by hand is refused, or None if it may go ahead.

Refused while Sisu may be recording the submission: its request is in flight, or verify is waiting for the attainment, so a cancellation would tell the student “not registering” about credits that are arriving.

Source

pub fn check_now_target(&self) -> Option<CheckNowTarget>

What making the row due now brings forward, or None where no phase acts on it sooner for being due: a final state, a precondition wait, or a call already in flight.

Source

pub fn check_now_refusal(&self) -> Option<ResubmissionRefusal>

Why checking the row now is refused, or None if it may go ahead.

Source

pub fn admin_transition_refusal( &self, target: CreditRegistrationState, strictness: ResubmissionStrictness, ) -> Option<ResubmissionRefusal>

Why a hand transition of the row to target is refused, or None if it may go ahead.

The safety half of the admin path, next to the structural half in ADMIN_ONLY_TARGETS: the edge table says the move exists, this decides whether this row may take it.

Source

pub fn hand_actions( &self, strictness: ResubmissionStrictness, ) -> HandActionAvailability

Every hand action’s availability at once, for a surface that offers them.

Trait Implementations§

Source§

impl Clone for ResubmissionFacts

Source§

fn clone(&self) -> ResubmissionFacts

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ResubmissionFacts

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for ResubmissionFacts

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl Copy for ResubmissionFacts

Source§

impl StructuralPartialEq for ResubmissionFacts

Auto Trait Implementations§

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> FutureExt for T

§

fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
§

fn with_current_context(self) -> WithContext<Self> ⓘ

Attaches the current Context to this type, returning a WithContext wrapper. Read more
§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> IntoRequest<T> for T

§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
§

impl<L> LayerExt<L> for L

§

fn named_layer<S>(&self, service: S) -> Layered<<L as Layer<S>>::Service, S>
where L: Layer<S>,

Applies the layer to a service and wraps it in [Layered].
§

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

§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more
§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<T> ServiceExt for T

§

fn map_response_body<F>(self, f: F) -> MapResponseBody<Self, F>
where Self: Sized,

Apply a transformation to the response body. Read more
§

fn decompression(self) -> Decompression<Self>
where Self: Sized,

Decompress response bodies. Read more
§

fn trace_for_http(self) -> Trace<Self, SharedClassifier<ServerErrorsAsFailures>>
where Self: Sized,

High level tracing that classifies responses using HTTP status codes. Read more
§

fn trace_for_grpc(self) -> Trace<Self, SharedClassifier<GrpcErrorsAsFailures>>
where Self: Sized,

High level tracing that classifies responses using gRPC headers. Read more
§

fn follow_redirects(self) -> FollowRedirect<Self>
where Self: Sized,

Follow redirect resposes using the Standard policy. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

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

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

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.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T> ErasedDestructor for T
where T: 'static,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,