oak-dhall 0.0.11

Dhall language parser with support for functional programming and type system features.
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

#![doc = include_str!("readme.md")]
use core::range::Range;

/// DHall AST root node.
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Debug, PartialEq, Clone)]
pub struct DHallRoot {
    /// List of expressions in the root.
    pub expressions: Vec<DHallExpr>,
}

/// DHall expression.
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Debug, PartialEq, Clone)]
pub enum DHallExpr {
    /// Identifier.
    Identifier {
        /// Name of the identifier.
        name: String,
        /// Source range of the identifier.
        #[cfg_attr(feature = "serde", serde(with = "oak_core::serde_range"))]
        span: Range<usize>,
    },
    /// Literal.
    Literal {
        /// Value of the literal.
        value: String,
        /// Source range of the literal.
        #[cfg_attr(feature = "serde", serde(with = "oak_core::serde_range"))]
        span: Range<usize>,
    },
    /// Function application.
    Application {
        /// Function being applied.
        func: Box<DHallExpr>,
        /// Argument being applied to the function.
        arg: Box<DHallExpr>,
        /// Source range of the application.
        #[cfg_attr(feature = "serde", serde(with = "oak_core::serde_range"))]
        span: Range<usize>,
    },
    /// Lambda expression.
    Lambda {
        /// Parameter name.
        param: String,
        /// Body of the lambda.
        body: Box<DHallExpr>,
        /// Source range of the lambda.
        #[cfg_attr(feature = "serde", serde(with = "oak_core::serde_range"))]
        span: Range<usize>,
    },
}