[][src]Trait prusto::types::Presto

pub trait Presto {
    type ValueType: Serialize;
    type Seed: DeserializeSeed<'de, Value = Self>;
    fn value(&self) -> Self::ValueType;
fn ty() -> PrestoTy;
fn seed<'a, 'de>(ctx: &'a Context<'a>) -> Self::Seed;
fn empty() -> Self; }

Associated Types

type ValueType: Serialize

type Seed: DeserializeSeed<'de, Value = Self>

Loading content...

Required methods

fn value(&self) -> Self::ValueType

fn ty() -> PrestoTy

fn seed<'a, 'de>(ctx: &'a Context<'a>) -> Self::Seed

caller must provide a valid context

fn empty() -> Self

Loading content...

Implementations on Foreign Types

impl Presto for bool[src]

type ValueType = &'a bool

type Seed = BoolSeed

impl Presto for NaiveDate[src]

type ValueType = String

type Seed = NaiveDateSeed

impl Presto for NaiveDateTime[src]

type ValueType = String

type Seed = NaiveDateTimeSeed

impl Presto for NaiveTime[src]

type ValueType = String

type Seed = NaiveTimeSeed

impl Presto for f32[src]

type ValueType = &'a f32

type Seed = F32Seed

impl Presto for f64[src]

type ValueType = &'a f64

type Seed = F64Seed

impl Presto for i8[src]

type ValueType = &'a i8

type Seed = I8Seed

impl Presto for i16[src]

type ValueType = &'a i16

type Seed = I16Seed

impl Presto for i32[src]

type ValueType = &'a i32

type Seed = I32Seed

impl Presto for i64[src]

type ValueType = &'a i64

type Seed = I64Seed

impl Presto for u8[src]

type ValueType = &'a u8

type Seed = U8Seed

impl Presto for u16[src]

type ValueType = &'a u16

type Seed = U16Seed

impl Presto for u32[src]

type ValueType = &'a u32

type Seed = U32Seed

impl Presto for u64[src]

type ValueType = &'a u64

type Seed = U64Seed

impl<K: PrestoMapKey + Eq + Hash, V: Presto> Presto for HashMap<K, V>[src]

type ValueType = impl Serialize

type Seed = HashMapSeed<'a, K, V>

impl<K: PrestoMapKey + Ord, V: Presto> Presto for BTreeMap<K, V>[src]

type ValueType = impl Serialize

type Seed = BTreeMapSeed<'a, K, V>

impl<T: Presto> Presto for Option<T>[src]

type ValueType = Option<T::ValueType>

type Seed = OptionSeed<'a, T>

impl<T: Presto> Presto for Vec<T>[src]

type ValueType = impl Serialize

type Seed = VecSeed<'a, T>

impl<T: Presto> Presto for LinkedList<T>[src]

type ValueType = impl Serialize

type Seed = LinkedListSeed<'a, T>

impl<T: Presto> Presto for VecDeque<T>[src]

type ValueType = impl Serialize

type Seed = VecDequeSeed<'a, T>

impl<T: Presto + Ord + Hash> Presto for HashSet<T>[src]

type ValueType = impl Serialize

type Seed = HashSetSeed<'a, T>

impl<T: Presto + Ord> Presto for BTreeSet<T>[src]

type ValueType = impl Serialize

type Seed = BTreeSetSeed<'a, T>

impl<T: Presto + Ord> Presto for BinaryHeap<T>[src]

type ValueType = impl Serialize

type Seed = BinaryHeapSeed<'a, T>

impl Presto for String[src]

type ValueType = &'a String

type Seed = StringSeed

Loading content...

Implementors

impl Presto for Row[src]

type ValueType = &'a [Value]

type Seed = RowSeed

impl<const P: usize, const S: usize> Presto for Decimal<P, S>[src]

type ValueType = String

type Seed = DecimalSeed<P, S>

Loading content...