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

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 {
    /// The generics of this guarantee
    pub generics: Vec<IdentifierNode>,
    /// The return type of this guarantee
    pub return_type: Option<ExpressionNode>,
    /// The effects of this guarantee
    pub effect_type: Option<ExpressionNode>,
    /// The body of this guarantee
    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 {
    /// The generics of this effect
    pub effect_type: Vec<ExpressionNode>,
    /// The range of the node
    pub span: Range<u32>,
}