Skip to main content

Questions

Struct Questions 

Source
pub struct Questions<A: Answers> { /* private fields */ }
Expand description

The question set of a named set: the struct A, which derives Answers.

The type A selects the questions, so Questions takes no data. Each question is a constant, and cargo check validates it. Questions makes its questions for each request, and again to read the answers.

§Examples

use system2::prelude::*;
use system2::NoulAnswer;

#[derive(Debug, Answers)]
struct Triage {
    #[system2(question = noul!("Is the ticket urgent?"))]
    urgent: NoulAnswer,
    #[system2(question = noul!("Is the customer angry?"))]
    angry: NoulAnswer,
}

// the struct is the caller's, so it can have methods
impl Triage {
    fn needs_a_call(&self) -> bool {
        self.urgent.is_likely() && self.angry.is_likely()
    }
}

const TRIAGE: Questions<Triage> = Questions::new();

let triage = TRIAGE.ask("The site is down again.").await?;
if triage.needs_a_call() { /* … */ }
let triage: Triage = Questions::new().ask("The site is down again.").await?;

Implementations§

Source§

impl<A: Answers> Questions<A>

Source

pub const fn new() -> Self

Makes the question set of A.

Trait Implementations§

Source§

impl<A: Answers> Clone for Questions<A>

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<A: Answers> Debug for Questions<A>

Source§

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

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

impl<A: Answers> Default for Questions<A>

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl<A: Answers> QuestionSet for Questions<A>

Source§

type AnswerSet = A

The answers of the set, with the shape of the set.

Auto Trait Implementations§

§

impl<A> Forget for Questions<A>

§

impl<A> Freeze for Questions<A>
where PhantomData<fn() -> A>: Freeze,

§

impl<A> Move for Questions<A>

§

impl<A> RefUnwindSafe for Questions<A>
where PhantomData<fn() -> A>: RefUnwindSafe,

§

impl<A> Send for Questions<A>
where PhantomData<fn() -> A>: Send,

§

impl<A> Sync for Questions<A>
where PhantomData<fn() -> A>: Sync,

§

impl<A> Unpin for Questions<A>
where PhantomData<fn() -> A>: Unpin,

§

impl<A> UnsafeUnpin for Questions<A>
where PhantomData<fn() -> A>: UnsafeUnpin,

§

impl<A> UnwindSafe for Questions<A>
where PhantomData<fn() -> A>: UnwindSafe,

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<Q> Ask for Q
where Q: QuestionSet,

Source§

fn ask<S: Serialize + ?Sized>(self, state: &S) -> AskFuture<Self> ⓘ

Asks the set about a state, with the global client. Read more
Source§

fn ask_with_receipt<S: Serialize + ?Sized>( self, state: &S, ) -> AskWithReceiptFuture<Self> ⓘ

Asks the set about a state, and returns a Receipt next to the answers. Read more
Source§

fn tag<T>(self, tag: T) -> Tagged<Self, T>

Puts a tag next to the set, so that the answers come back next to it. Read more
Source§

impl<Q> Ask for Q
where Q: QuestionSet,

Source§

fn ask<S: Serialize + ?Sized>( self, state: &S, ) -> Result<Self::AnswerSet, AskError>

Asks the set about a state, with the global client, and waits for the answers. Read more
Source§

fn ask_with_receipt<S: Serialize + ?Sized>( self, state: &S, ) -> Result<(Self::AnswerSet, Receipt), AskError>

Asks the set about a state, and returns a Receipt next to the answers. Read more
Source§

fn tag<T>(self, tag: T) -> Tagged<Self, T>

Puts a tag next to the set, so that the answers come back next to it. 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.

Source§

impl<T> Instrument for T

Source§

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

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

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> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + 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
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + 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
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 = !

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

impl<T> WithSubscriber for T

Source§

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

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

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