oak-ocaml 0.0.11

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

use oak_core::{ElementType, UniversalElementRole};

/// Element types for the OCaml parser.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub enum OCamlElementType {
    /// Root node of the OCaml AST.
    Root,
    /// A module definition.
    ModuleDef,
    /// A let binding.
    LetBinding,
    /// A match expression.
    MatchExpr,
    /// A function definition.
    FunctionDef,
    /// A type definition.
    TypeDefinition,
    /// An expression.
    Expression,
    /// A binary expression.
    BinaryExpr,
    /// A unary expression.
    UnaryExpr,
    /// A function call.
    CallExpr,
    /// A literal expression.
    LiteralExpr,
    /// An identifier expression.
    IdentifierExpr,
    /// An error element.
    Error,
}

impl ElementType for OCamlElementType {
    type Role = UniversalElementRole;

    fn role(&self) -> Self::Role {
        match self {
            _ => UniversalElementRole::None,
        }
    }
}

impl From<crate::lexer::token_type::OCamlTokenType> for OCamlElementType {
    fn from(token: crate::lexer::token_type::OCamlTokenType) -> Self {
        use crate::lexer::token_type::OCamlTokenType;
        match token {
            OCamlTokenType::Root => OCamlElementType::Root,
            OCamlTokenType::ModuleDef => OCamlElementType::ModuleDef,
            OCamlTokenType::LetBinding => OCamlElementType::LetBinding,
            OCamlTokenType::MatchExpr => OCamlElementType::MatchExpr,
            OCamlTokenType::FunctionDef => OCamlElementType::FunctionDef,
            OCamlTokenType::TypeDefinition => OCamlElementType::TypeDefinition,
            OCamlTokenType::Expression => OCamlElementType::Expression,
            OCamlTokenType::BinaryExpr => OCamlElementType::BinaryExpr,
            OCamlTokenType::UnaryExpr => OCamlElementType::UnaryExpr,
            OCamlTokenType::CallExpr => OCamlElementType::CallExpr,
            OCamlTokenType::LiteralExpr => OCamlElementType::LiteralExpr,
            OCamlTokenType::IdentifierExpr => OCamlElementType::IdentifierExpr,
            _ => OCamlElementType::Error,
        }
    }
}