aeri 0.2.1

Aeri is a Cardano smart contract language by Trevor Knott and Knott Dynamics, with tools for compiling contracts to UPLC.
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

use std::io;

use thiserror::Error;

pub type Result<T> = std::result::Result<T, AeriError>;

#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub struct Span {
    pub start: usize,
    pub end: usize,
    pub line: usize,
    pub column: usize,
}

impl Span {
    pub fn new(start: usize, end: usize, line: usize, column: usize) -> Self {
        Self {
            start,
            end,
            line,
            column,
        }
    }

    pub fn join(self, other: Span) -> Self {
        Self {
            start: self.start.min(other.start),
            end: self.end.max(other.end),
            line: self.line,
            column: self.column,
        }
    }
}

#[derive(Debug, Error)]
pub enum AeriError {
    #[error("{file}:{line}:{column}: {message}{snippet}")]
    Diagnostic {
        file: String,
        line: usize,
        column: usize,
        length: usize,
        message: String,
        snippet: String,
    },
    #[error(transparent)]
    Io(#[from] io::Error),
    #[error(transparent)]
    Json(#[from] serde_json::Error),
}

impl AeriError {
    pub fn at(
        file: impl Into<String>,
        line: usize,
        column: usize,
        message: impl Into<String>,
    ) -> Self {
        Self::Diagnostic {
            file: file.into(),
            line,
            column,
            length: 1,
            message: message.into(),
            snippet: String::new(),
        }
    }

    pub fn at_span(file: impl Into<String>, span: Span, message: impl Into<String>) -> Self {
        Self::Diagnostic {
            file: file.into(),
            line: span.line,
            column: span.column,
            length: span.end.saturating_sub(span.start).max(1),
            message: message.into(),
            snippet: String::new(),
        }
    }

    pub fn with_source(self, source: &str) -> Self {
        let Self::Diagnostic {
            file,
            line,
            column,
            length,
            message,
            snippet,
        } = self
        else {
            return self;
        };

        if !snippet.is_empty() {
            return Self::Diagnostic {
                file,
                line,
                column,
                length,
                message,
                snippet,
            };
        }

        let source_line = source.lines().nth(line.saturating_sub(1)).unwrap_or("");
        let caret_width = length
            .min(source_line.len().saturating_sub(column.saturating_sub(1)))
            .max(1);
        let marker = format!(
            "{}{}",
            " ".repeat(column.saturating_sub(1)),
            "^".repeat(caret_width)
        );

        Self::Diagnostic {
            file,
            line,
            column,
            length,
            message,
            snippet: format!("\n  {source_line}\n  {marker}"),
        }
    }
}