airlang 0.28.0

Air is a universal, reliable, and lean programming language.
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

use std::hash::Hash;
use std::hash::Hasher;
use std::rc::Rc;

use crate::semantics::fact::Fact;
use crate::trait_::derive::derive_debug;
use crate::trait_::derive::derive_display;
use crate::type_::wrap::rc_wrap;

rc_wrap!(pub FactVal(Fact));

derive_debug!(FactVal(Fact));

derive_display!(FactVal(Fact));

impl PartialEq for FactVal {
    fn eq(&self, other: &Self) -> bool {
        Rc::ptr_eq(&self.0, &other.0)
    }
}

impl Eq for FactVal {}

impl Hash for FactVal {
    fn hash<H: Hasher>(&self, state: &mut H) {
        Rc::as_ptr(&self.0).hash(state);
    }
}