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

use std::fmt::{Display, Error, Formatter};

/// Row-polymorphic types.
#[derive(Debug, PartialEq, Eq, Copy, Clone, Ord, PartialOrd, Hash)]
pub enum VarRec {
    Variant,
    Record,
}

impl Display for VarRec {
    fn fmt(&self, f: &mut Formatter) -> Result<(), Error> {
        f.write_str(match self {
            VarRec::Variant => "Sum",
            VarRec::Record => "Rec",
        })
    }
}

/// Various kinds of dependent types
#[derive(Debug, PartialEq, Eq, Copy, Clone, Ord, PartialOrd, Hash)]
pub enum PiSig {
    Pi,
    Sigma,
}

impl Display for PiSig {
    fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error> {
        f.write_str(match self {
            PiSig::Pi => "\u{03A0}",
            PiSig::Sigma => "\u{03A3}",
        })
    }
}

/// Visibility of a parameter -- it can be explicit or implicit
#[derive(Debug, PartialEq, Eq, Copy, Clone, Ord, PartialOrd, Hash)]
pub enum Plicit {
    Ex,
    Im,
}