valkyrie-ast 0.1.0

Strong typed abstract syntax tree of valkyrie 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
29

use crate::{ExpressionNode, IdentifierNode};
use alloc::vec::Vec;
use core::ops::Range;

/// `vow T {} fun f() { return T }`
///
///
/// ```vk
/// vouch T, U {
///     return T
///     effect [Asynchronous, Logging]
/// }
/// ```
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct GuaranteeNode {
    pub generics: Vec<IdentifierNode>,
    pub return_type: Option<ExpressionNode>,
    pub effect_type: Option<ExpressionNode>,
    pub span: Range<u32>,
}

/// `[Asynchronous<T>, Logging]`
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct EffectTypeNode {
    pub effect_type: Vec<ExpressionNode>,
    pub span: Range<u32>,
}