mitrid_core 0.9.4

Core library of the Mitrid framework
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

//! # Data
//!
//! `data` is the module providing the trait implemented by types that can be used
//! as generic types in struct fields and function parameters.

use std::fmt::Debug;
use base::check::Checkable;
use base::size::Sizable;

/// Trait implemented by generic types that can be used as fields or parameters.
pub trait Datable : 'static + Send + Sync + Sized + Clone + Eq + Debug + Default + Sizable + Checkable {}

impl Datable for () {}

impl Datable for bool {}

impl Datable for u8 {}

impl Datable for i8 {}

impl Datable for u16 {}

impl Datable for i16 {}

impl Datable for u32 {}

impl Datable for i32 {}

impl Datable for u64 {}

impl Datable for i64 {}

impl Datable for String {}

impl<T> Datable for Vec<T>
    where   T: Datable
{}

impl<T> Datable for Option<T>
    where   T: Datable
{}

impl<T> Datable for Box<T>
    where   T: Datable
{}

impl<A, B> Datable for (A, B)
    where   A: Datable,
            B: Datable
{}

impl<A, B, C> Datable for (A, B, C)
    where   A: Datable,
            B: Datable,
            C: Datable
{}

impl<A, B, C, D> Datable for (A, B, C, D)
    where   A: Datable,
            B: Datable,
            C: Datable,
            D: Datable
{}

impl<A, B, C, D, E> Datable for (A, B, C, D, E)
    where   A: Datable,
            B: Datable,
            C: Datable,
            D: Datable,
            E: Datable
{}

impl<A, B, C, D, E, F> Datable for (A, B, C, D, E, F)
    where   A: Datable,
            B: Datable,
            C: Datable,
            D: Datable,
            E: Datable,
            F: Datable
{}