Struct Should

Source
pub struct Should<'a, Inner, Hook: AssertionHook = NoOpAssertionHook, Epsilon: EpsilonProvider = EnvEpsilonProvider> { /* private fields */ }
Expand description

A wrapper type around a borrowed value to assert things about it for testing

Implementations§

Source§

impl<'a, T: ShouldaOfType> Should<'a, T>

Source

pub fn of_type<I: Any + 'static>(self) -> Self

Source§

impl<'a> Should<'a, bool>

Source§

impl<'a> Should<'a, Output>

Source

pub fn succeed(self) -> Should<'a, Output, NoOpAssertionHook>

Source

pub fn code(self, expected: i32) -> Should<'a, Output, NoOpAssertionHook>

Source

pub fn stdout(self, bytes: &[u8]) -> Should<'a, Output, NoOpAssertionHook>

Source

pub fn stderr(self, bytes: &[u8]) -> Should<'a, Output, NoOpAssertionHook>

Source§

impl<'a, T, K, Hook, Epsilon> Should<'a, T, Hook, Epsilon>
where &'a T: IntoIterator<Item = &'a K>, T: Debug, K: Debug + ShouldaEqual + 'a, Hook: AssertionHook, Epsilon: EpsilonProvider,

Source

pub fn contain<I: Borrow<K>>( self, item: I, ) -> Should<'a, T, NoOpAssertionHook, Epsilon>

Source

pub fn contain_sequence<L: Borrow<K>, I: IntoIterator<Item = L>>( self, items: I, ) -> Should<'a, T, NoOpAssertionHook, Epsilon>

Source

pub fn contains<I: Fn(&K) -> bool>( self, predicate: I, ) -> Should<'a, T, NoOpAssertionHook, Epsilon>

Source§

impl<'a, T: Debug> Should<'a, Option<T>>

Source

pub fn none(self) -> Should<'a, Option<T>, NoOpAssertionHook>

Source

pub fn some(self) -> Should<'a, Option<T>>

Source§

impl<'a, Inner, Hook, Epsilon> Should<'a, Inner, Hook, Epsilon>
where Inner: Debug + RefUnwindSafe, Hook: AssertionHook, Epsilon: EpsilonProvider,

Source

pub fn panic<Expr: Panicable<'a, Inner>>(self, e: Expr) -> Self

Source

pub fn panic_with<Expr: Panicable<'a, Inner>, S: AsRef<str>>( self, e: Expr, message: S, ) -> Self

Source§

impl<'a, T: Debug, E: Debug> Should<'a, Result<T, E>>

Source

pub fn err(self) -> Should<'a, Result<T, E>>

Source

pub fn ok(self) -> Should<'a, Result<T, E>>

Source§

impl<'a, Inner, Hook, Epsilon> Should<'a, Inner, Hook, Epsilon>
where Hook: AssertionHook, Epsilon: EpsilonProvider,

Source

pub fn be(self) -> Self

no-op, there to allow you to write english-like sentences

Source

pub fn and(self) -> Self

no-op, there to allow you to write english-like sentences

Source

pub fn float_diff<T: EpsilonProvider>(self) -> Should<'a, Inner, Hook, T>

Changes the generic for which EpsilonProvider to use

Source§

impl<'a, Inner, Hook, Epsilon> Should<'a, Inner, Hook, Epsilon>
where Inner: ShouldaEqual + Debug, Hook: AssertionHook, Epsilon: EpsilonProvider,

Source

pub fn eq<K: Into<Inner>>(self, other: K) -> Self

Asserts equality

Source

pub fn equal<K: Into<Inner>>(self, other: K) -> Self

alias for eq

Source§

impl<'a, Inner, Epsilon> Should<'a, Inner, NoOpAssertionHook, Epsilon>
where Epsilon: EpsilonProvider,

Source

pub fn not(self) -> Should<'a, Inner, NotAssertionHook, Epsilon>

Changes the assertion hook to not the next assertion

Source§

impl<'a, Inner, Epsilon> Should<'a, Inner, NoOpAssertionHook, Epsilon>
where Epsilon: EpsilonProvider,

Source

pub fn or(self) -> Should<'a, Inner, OrAssertionHook, Epsilon>

Changes the assertion hook to or the next assertion with the previous, in case of no previous assertion this will be a no-op

Source§

impl<'a, Inner, Epsilon> Should<'a, Inner, NotAssertionHook, Epsilon>
where Epsilon: EpsilonProvider,

Source

pub fn not(self) -> Should<'a, Inner, NoOpAssertionHook, Epsilon>

Changes the assertion hook to not the next assertion

Auto Trait Implementations§

§

impl<'a, Inner, Hook, Epsilon> Freeze for Should<'a, Inner, Hook, Epsilon>

§

impl<'a, Inner, Hook, Epsilon> RefUnwindSafe for Should<'a, Inner, Hook, Epsilon>
where Inner: RefUnwindSafe, Hook: RefUnwindSafe, Epsilon: RefUnwindSafe,

§

impl<'a, Inner, Hook, Epsilon> Send for Should<'a, Inner, Hook, Epsilon>
where Inner: Sync, Hook: Send, Epsilon: Send,

§

impl<'a, Inner, Hook, Epsilon> Sync for Should<'a, Inner, Hook, Epsilon>
where Inner: Sync, Hook: Sync, Epsilon: Sync,

§

impl<'a, Inner, Hook, Epsilon> Unpin for Should<'a, Inner, Hook, Epsilon>
where Hook: Unpin, Epsilon: Unpin,

§

impl<'a, Inner, Hook, Epsilon> UnwindSafe for Should<'a, Inner, Hook, Epsilon>
where Inner: RefUnwindSafe, Hook: UnwindSafe, Epsilon: 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<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> Shoulda for T

Source§

fn should(&self) -> Should<'_, Self>
where Self: Sized,

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.