kontroli 0.4.0

Type checking for the lambda-Pi calculus modulo rewriting
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

//! Common error type.

use crate::gctx::Error as GCtxError;
use crate::kernel::Error as TypingError;
use crate::share::Error as ShareError;
use crate::symbols::Error as SymbolsError;

/// Common error type.
#[derive(Debug)]
pub enum Error {
    Share(ShareError),
    GCtx(GCtxError),
    Symbols(SymbolsError),
    Typing(TypingError),
}

impl From<ShareError> for Error {
    fn from(err: ShareError) -> Self {
        Self::Share(err)
    }
}

impl From<GCtxError> for Error {
    fn from(err: GCtxError) -> Self {
        Self::GCtx(err)
    }
}

impl From<SymbolsError> for Error {
    fn from(err: SymbolsError) -> Self {
        Self::Symbols(err)
    }
}

impl From<TypingError> for Error {
    fn from(err: TypingError) -> Self {
        Self::Typing(err)
    }
}