formality-core 0.1.1

Language-independent formality system used by a-mir-formality
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

use std::{fmt::Debug, hash::Hash, sync::Arc};

use crate::{
    binder::CoreBinder,
    cast::{DowncastFrom, Upcast},
    collections::Set,
    fold::CoreFold,
    language::Language,
    parse::CoreParse,
};

pub trait CoreTerm<L: Language>:
    Clone
    + CoreFold<L>
    + CoreParse<L>
    + Ord
    + Eq
    + Hash
    + Debug
    + Upcast<Self>
    + DowncastFrom<Self>
    + 'static
    + Sized
{
}

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Vec<T> {}

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Set<T> {}

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Option<T> {}

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Arc<T> {}

impl<L: Language> CoreTerm<L> for usize {}

impl<L: Language> CoreTerm<L> for u32 {}

impl<L: Language, A: CoreTerm<L>, B: CoreTerm<L>> CoreTerm<L> for (A, B) {}

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for CoreBinder<L, T> {}

impl<L: Language> CoreTerm<L> for () {}