Trait Optionable 

pub trait Optionable {
    type Optioned: ?Sized;
}

Marker trait that associated this type with a corresponding type where potential inner sub-fields are recursively optional if possible for the given use case of the type. Implementations of the trait can decide that some fields are also non-optional for the optioned type.

In detail this means that an Option<T::Optioned> should allow for every combination of itself being set as well as just partial subfields of itself being set except for fields that are always required. Hence, for types without inner structure like i32 the Optioned type will resolve to itself, as e.g. Option<i32> already expresses the needed granularity.

Required Associated Types

type Optioned: ?Sized

The associated type where fields (if possible for the given use case) are recursively optional.

Implementations on Foreign Types

impl Optionable for Value

Available on crate feature serde_json only.

type Optioned = Value

impl Optionable for bool

type Optioned = bool

impl Optionable for char

type Optioned = char

impl Optionable for f32

type Optioned = f32

impl Optionable for f64

type Optioned = f64

impl Optionable for i8

type Optioned = i8

impl Optionable for i16

type Optioned = i16

impl Optionable for i32

type Optioned = i32

impl Optionable for i64

type Optioned = i64

impl Optionable for i128

type Optioned = i128

impl Optionable for isize

type Optioned = isize

impl Optionable for str

type Optioned = str

impl Optionable for u8

type Optioned = u8

impl Optionable for u16

type Optioned = u16

impl Optionable for u32

type Optioned = u32

impl Optionable for u64

type Optioned = u64

impl Optionable for u128

type Optioned = u128

impl Optionable for ()

type Optioned = ()

impl Optionable for usize

type Optioned = usize

impl Optionable for String

Available on crate features alloc or std only.

type Optioned = String

impl Optionable for Duration

Available on crate feature std only.

type Optioned = Duration

impl Optionable for OsStr

Available on crate feature std only.

type Optioned = OsStr

impl Optionable for OsString

Available on crate feature std only.

type Optioned = OsString

impl Optionable for Path

Available on crate feature std only.

type Optioned = Path

impl Optionable for PathBuf

Available on crate feature std only.

type Optioned = PathBuf

impl Optionable for Months

Available on crate feature chrono04 only.

type Optioned = Months

impl Optionable for NaiveDate

Available on crate feature chrono04 only.

type Optioned = NaiveDate

impl Optionable for NaiveDateTime

Available on crate feature chrono04 only.

type Optioned = NaiveDateTime

impl Optionable for Days

Available on crate feature chrono04 only.

type Optioned = Days

impl Optionable for NaiveTime

Available on crate feature chrono04 only.

type Optioned = NaiveTime

impl Optionable for TimeDelta

Available on crate feature chrono04 only.

type Optioned = TimeDelta

impl Optionable for SignedDuration

Available on crate feature jiff02 only.

type Optioned = SignedDuration

impl Optionable for Span

Available on crate feature jiff02 only.

type Optioned = Span

impl Optionable for SpanFieldwise

Available on crate feature jiff02 only.

type Optioned = SpanFieldwise

impl Optionable for Timestamp

Available on crate feature jiff02 only.

type Optioned = Timestamp

impl Optionable for Zoned

Available on crate feature jiff02 only.

type Optioned = Zoned

impl<'a, T: ?Sized + Optionable + ToOwned> Optionable for Cow<'a, T>

where T::Optioned: ToOwned,

Available on crate features alloc or std only.

type Optioned = Cow<'a, <T as Optionable>::Optioned>

impl<'a, T: ?Sized + Optionable> Optionable for &'a T

type Optioned = &'a <T as Optionable>::Optioned

impl<'a, T: ?Sized + Optionable> Optionable for &'a mut T

type Optioned = &'a mut <T as Optionable>::Optioned

impl<K, T: Optionable> Optionable for BTreeMap<K, T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = BTreeMap<K, <T as Optionable>::Optioned>

impl<K, T: Optionable, S> Optionable for HashMap<K, T, S>

where T::Optioned: Sized,

Available on crate feature std only.

type Optioned = HashMap<K, <T as Optionable>::Optioned, S>

impl<T0, T1> Optionable for (T0, T1)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>)

impl<T0, T1, T2> Optionable for (T0, T1, T2)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>)

impl<T0, T1, T2, T3> Optionable for (T0, T1, T2, T3)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4> Optionable for (T0, T1, T2, T3, T4)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5> Optionable for (T0, T1, T2, T3, T4, T5)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6> Optionable for (T0, T1, T2, T3, T4, T5, T6)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized, T11: Optionable, T11::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>, Option<<T11 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized, T11: Optionable, T11::Optioned: Sized, T12: Optionable, T12::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>, Option<<T11 as Optionable>::Optioned>, Option<<T12 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized, T11: Optionable, T11::Optioned: Sized, T12: Optionable, T12::Optioned: Sized, T13: Optionable, T13::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>, Option<<T11 as Optionable>::Optioned>, Option<<T12 as Optionable>::Optioned>, Option<<T13 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized, T11: Optionable, T11::Optioned: Sized, T12: Optionable, T12::Optioned: Sized, T13: Optionable, T13::Optioned: Sized, T14: Optionable, T14::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>, Option<<T11 as Optionable>::Optioned>, Option<<T12 as Optionable>::Optioned>, Option<<T13 as Optionable>::Optioned>, Option<<T14 as Optionable>::Optioned>)

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> Optionable for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)

where T0: Optionable, T0::Optioned: Sized, T1: Optionable, T1::Optioned: Sized, T2: Optionable, T2::Optioned: Sized, T3: Optionable, T3::Optioned: Sized, T4: Optionable, T4::Optioned: Sized, T5: Optionable, T5::Optioned: Sized, T6: Optionable, T6::Optioned: Sized, T7: Optionable, T7::Optioned: Sized, T8: Optionable, T8::Optioned: Sized, T9: Optionable, T9::Optioned: Sized, T10: Optionable, T10::Optioned: Sized, T11: Optionable, T11::Optioned: Sized, T12: Optionable, T12::Optioned: Sized, T13: Optionable, T13::Optioned: Sized, T14: Optionable, T14::Optioned: Sized, T15: Optionable, T15::Optioned: Sized,

type Optioned = (Option<<T0 as Optionable>::Optioned>, Option<<T1 as Optionable>::Optioned>, Option<<T2 as Optionable>::Optioned>, Option<<T3 as Optionable>::Optioned>, Option<<T4 as Optionable>::Optioned>, Option<<T5 as Optionable>::Optioned>, Option<<T6 as Optionable>::Optioned>, Option<<T7 as Optionable>::Optioned>, Option<<T8 as Optionable>::Optioned>, Option<<T9 as Optionable>::Optioned>, Option<<T10 as Optionable>::Optioned>, Option<<T11 as Optionable>::Optioned>, Option<<T12 as Optionable>::Optioned>, Option<<T13 as Optionable>::Optioned>, Option<<T14 as Optionable>::Optioned>, Option<<T15 as Optionable>::Optioned>)

impl<T: Optionable> Optionable for Option<T>

where T::Optioned: Sized,

type Optioned = Option<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for [T]

where T::Optioned: Sized,

type Optioned = [<T as Optionable>::Optioned]

impl<T: Optionable> Optionable for Box<T>

Available on crate features alloc or std only.

type Optioned = Box<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for BinaryHeap<T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = BinaryHeap<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for BTreeSet<T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = BTreeSet<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for LinkedList<T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = LinkedList<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for VecDeque<T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = VecDeque<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Rc<T>

Available on crate features alloc or std only.

type Optioned = Rc<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Weak<T>

Available on crate features alloc or std only.

type Optioned = Weak<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Arc<T>

Available on crate features alloc or std only.

type Optioned = Arc<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Weak<T>

Available on crate features alloc or std only.

type Optioned = Weak<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Vec<T>

where T::Optioned: Sized,

Available on crate features alloc or std only.

type Optioned = Vec<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Cell<T>

type Optioned = Cell<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for RefCell<T>

type Optioned = RefCell<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for Mutex<T>

Available on crate feature std only.

type Optioned = Mutex<<T as Optionable>::Optioned>

impl<T: Optionable> Optionable for RwLock<T>

Available on crate feature std only.

type Optioned = RwLock<<T as Optionable>::Optioned>

impl<T: Optionable, E> Optionable for Result<T, E>

where T::Optioned: Sized,

type Optioned = Result<<T as Optionable>::Optioned, E>

impl<T: Optionable, S> Optionable for HashSet<T, S>

where T::Optioned: Sized,

Available on crate feature std only.

type Optioned = HashSet<<T as Optionable>::Optioned, S>

impl<T: Optionable, const N: usize> Optionable for [T; N]

where T::Optioned: Sized,

type Optioned = [<T as Optionable>::Optioned; N]

impl<Tz: TimeZone> Optionable for DateTime<Tz>

Available on crate feature chrono04 only.

type Optioned = DateTime<Tz>

Implementors