[][src]Struct prusto::types::U32Seed

pub struct U32Seed;

Trait Implementations

impl<'de> DeserializeSeed<'de> for U32Seed[src]

type Value = u32

The type produced by using this seed.

Auto Trait Implementations

impl RefUnwindSafe for U32Seed

impl Send for U32Seed

impl Sync for U32Seed

impl Unpin for U32Seed

impl UnwindSafe for U32Seed

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.