equator 0.3.4

Composable assertion library
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
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
81
82
83
84

use crate::{
    decompose,
    traits::{DynInfo, DynInfoType, Expr},
};
use core::fmt;

pub struct DebugMessageImpl<'a, D: decompose::Recompose> {
    pub result: D::Result,
    pub source: &'a D::Source,
    pub debug_lhs: D::DebugLhs,
    pub debug_rhs: D::DebugRhs,
    pub debug_cmp: D::DebugCmp,
    pub vtable: &'a D::VTable,
}
pub struct DebugMessage<'a, D: decompose::Recompose> {
    pub source: &'a WithSource<D::Source, &'static D::VTable>,
    pub debug_lhs: D::DebugLhs,
    pub debug_rhs: D::DebugRhs,
    pub debug_cmp: D::DebugCmp,
    pub message: fmt::Arguments<'a>,
}
impl<D: decompose::Recompose> fmt::Debug for DebugMessage<'_, D> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        D::debug_final(self, f)
    }
}

impl<D: decompose::Recompose> Copy for DebugMessage<'_, D> {}
impl<D: decompose::Recompose> Clone for DebugMessage<'_, D> {
    fn clone(&self) -> Self {
        *self
    }
}

#[derive(Copy, Clone)]
pub struct WithSource<S, V> {
    pub source: S,
    pub file: &'static str,
    pub line: u32,
    pub col: u32,
    pub vtable: V,
}

#[derive(Copy, Clone)]
pub struct Finalize<E> {
    pub inner: E,
}

impl<E: DynInfoType> DynInfoType for Finalize<E> {
    type VTable = E::VTable;
    const NULL_VTABLE: &'static Self::VTable = E::NULL_VTABLE;
}

impl<E: DynInfo> DynInfo for Finalize<E> {
    const VTABLE: &'static Self::VTable = E::VTABLE;
}

impl<E> Expr for &Finalize<E> {
    type Result = bool;

    #[inline(always)]
    fn eval_expr(&self) -> bool {
        unimplemented!()
    }

    #[inline(always)]
    fn result(&self) -> Self::Result {
        unimplemented!()
    }
}

impl<E: Expr> Expr for &&Finalize<E> {
    type Result = E::Result;

    #[inline(always)]
    fn eval_expr(&self) -> bool {
        self.inner.eval_expr()
    }

    #[inline(always)]
    fn result(&self) -> Self::Result {
        self.inner.result()
    }
}