gorm 0.1.4

An orm that is simple to use and prevents all mistakes at compile time
Documentation 
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

//! Utilities that are not directly related to the purpose of this crate.

use crate::sql::{FieldNameCharsConsListItem, FieldsConsListItem};

/// A marker trait for marking 2 types that are not the same type.
/// Used for generic constraints where 2 types must not be equal.
pub auto trait TypesNotEqual {}
impl<T> !TypesNotEqual for (T, T) {}

/// A marker trait for marking 2 types that are the same.
/// Used for generic constraints where 2 types must equal.
pub trait TypesEqual {}
impl<T> TypesEqual for (T, T) {}

/// A nil item of a typed cons list.
pub struct TypedConsListNil;
impl FieldsConsListItem for TypedConsListNil {}
impl FieldNameCharsConsListItem for TypedConsListNil {}

/// A `false` value encoded as a type.
pub struct TypedFalse;

/// A `true` value encoded as a type.
pub struct TypedTrue;

/// A boolean value encoded as a type.
pub trait TypedBool {
    /// The boolean value of the type.
    const VALUE: bool;
}
impl TypedBool for TypedFalse {
    const VALUE: bool = false;
}
impl TypedBool for TypedTrue {
    const VALUE: bool = true;
}