oxilean-codegen 0.1.2

OxiLean code generator - LCNF-based compilation and optimization
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

//! # LcnfType - Trait Implementations
//!
//! This module contains trait implementations for `LcnfType`.
//!
//! ## Implemented Traits
//!
//! - `Display`
//!
//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)

use super::types::LcnfType;
use std::fmt;

impl fmt::Display for LcnfType {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            LcnfType::Erased => write!(f, "erased"),
            LcnfType::Var(name) => write!(f, "{}", name),
            LcnfType::Fun(params, ret) => {
                write!(f, "(")?;
                for (i, p) in params.iter().enumerate() {
                    if i > 0 {
                        write!(f, ", ")?;
                    }
                    write!(f, "{}", p)?;
                }
                write!(f, ") -> {}", ret)
            }
            LcnfType::Ctor(name, args) => {
                write!(f, "{}", name)?;
                if !args.is_empty() {
                    write!(f, "<")?;
                    for (i, a) in args.iter().enumerate() {
                        if i > 0 {
                            write!(f, ", ")?;
                        }
                        write!(f, "{}", a)?;
                    }
                    write!(f, ">")?;
                }
                Ok(())
            }
            LcnfType::Object => write!(f, "object"),
            LcnfType::Nat => write!(f, "nat"),
            LcnfType::LcnfString => write!(f, "string"),
            LcnfType::Unit => write!(f, "unit"),
            LcnfType::Irrelevant => write!(f, "irrelevant"),
        }
    }
}