[][src]Struct prusto::types::I16Seed

pub struct I16Seed;

Trait Implementations

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

type Value = i16

The type produced by using this seed.

Auto Trait Implementations

impl RefUnwindSafe for I16Seed

impl Send for I16Seed

impl Sync for I16Seed

impl Unpin for I16Seed

impl UnwindSafe for I16Seed

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.