nar 0.0.8

Narc, a dependently-typed programming language with dependent pattern matching
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use crate::syntax::surf::ExprDecl;

pub use self::monad::*;
use self::{decls::*, error::*, exprs::*};

/// Desugar declarations.
mod decls;
/// Desugar error.
mod error;
/// Desugar expressions.
mod exprs;
/// Desugar monad (state and monad-result).
mod monad;

pub fn desugar_main(decls: Vec<ExprDecl>) -> DesugarM {
    desugar_decls(DesugarState::with_capacity(decls.len()), decls)
}

#[cfg(test)]
mod tests;