mlsub 0.1.0

Template.
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139

mod arbitrary;
mod build;

pub use self::arbitrary::{arb_auto_ty, arb_polar_ty};
pub use self::build::Constructed;

use std::cmp::Ordering;
use std::rc::Rc;
use std::vec;

use im::OrdMap;
use itertools::EitherOrBoth;

use crate::auto::StateSet;
use crate::Polarity;

#[derive(Clone, Debug, Eq, PartialEq)]
pub enum Constructor {
    Bool,
    Fun(StateSet, StateSet),
    Record(OrdMap<Rc<str>, StateSet>),
}

#[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd)]
pub enum Component {
    Bool,
    Fun,
    Record,
}

impl crate::Constructor for Constructor {
    type Label = Label;
    type Component = Component;

    fn component(&self) -> Self::Component {
        match self {
            Constructor::Bool => Component::Bool,
            Constructor::Fun(..) => Component::Fun,
            Constructor::Record(..) => Component::Record,
        }
    }

    fn join(&mut self, other: &Self, pol: Polarity) {
        match (self, other) {
            (Constructor::Bool, Constructor::Bool) => (),
            (Constructor::Fun(ld, lr), Constructor::Fun(rd, rr)) => {
                ld.union(rd);
                lr.union(rr);
            }
            (Constructor::Record(ref mut lhs), Constructor::Record(ref rhs)) => match pol {
                Polarity::Pos => {
                    *lhs = lhs.clone().intersection_with(rhs.clone(), |mut l, r| {
                        l.union(&r);
                        l
                    })
                }
                Polarity::Neg => {
                    *lhs = lhs.clone().union_with(rhs.clone(), |mut l, r| {
                        l.union(&r);
                        l
                    })
                }
            },
            _ => unreachable!(),
        }
    }

    fn visit_params_intersection<F, E>(&self, other: &Self, mut visit: F) -> Result<(), E>
    where
        F: FnMut(Self::Label, &StateSet, &StateSet) -> Result<(), E>,
    {
        itertools::merge_join_by(self.params(), other.params(), |l, r| Ord::cmp(&l.0, &r.0))
            .try_for_each(|eob| match eob {
                EitherOrBoth::Both(l, r) => visit(l.0, &l.1, &r.1),
                _ => Ok(()),
            })
    }

    fn map<F>(self, mut mapper: F) -> Self
    where
        F: FnMut(Self::Label, StateSet) -> StateSet,
    {
        match self {
            Constructor::Bool => Constructor::Bool,
            Constructor::Fun(d, r) => {
                Constructor::Fun(mapper(Label::Domain, d), mapper(Label::Range, r))
            }
            Constructor::Record(fields) => Constructor::Record(
                fields
                    .into_iter()
                    .map(|(label, set)| (label.clone(), mapper(Label::Label(label), set)))
                    .collect(),
            ),
        }
    }
}

impl Constructor {
    fn params(&self) -> Vec<(Label, StateSet)> {
        match self {
            Constructor::Bool => vec![],
            Constructor::Fun(d, r) => vec![(Label::Domain, d.clone()), (Label::Range, r.clone())],
            Constructor::Record(fields) => fields
                .clone()
                .into_iter()
                .map(|(label, set)| (Label::Label(label), set))
                .collect(),
        }
    }
}

impl PartialOrd for Constructor {
    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
        match (self, other) {
            (Constructor::Bool, Constructor::Bool) => Some(Ordering::Equal),
            (Constructor::Fun(..), Constructor::Fun(..)) => Some(Ordering::Equal),
            (Constructor::Record(ref lhs), Constructor::Record(ref rhs)) => {
                iter_set::cmp(lhs.keys(), rhs.keys()).map(Ordering::reverse)
            }
            _ => None,
        }
    }
}

#[derive(Clone, Debug, PartialEq, PartialOrd, Eq, Ord)]
pub enum Label {
    Domain,
    Range,
    Label(Rc<str>),
}

impl crate::Label for Label {
    fn polarity(&self) -> Polarity {
        match self {
            Label::Domain => Polarity::Neg,
            Label::Range | Label::Label(_) => Polarity::Pos,
        }
    }
}