Struct shoulda_core::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> RefUnwindSafe for Should<'a, Inner, Hook, Epsilon>where Epsilon: RefUnwindSafe, Hook: RefUnwindSafe, Inner: RefUnwindSafe,

§

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

§

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

§

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

§

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

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere 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 Twhere 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 Twhere U: Into<T>,

§

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 Twhere U: TryFrom<T>,

§

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.