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

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

use super::types::{CoqDiag, CoqDiagLevel};
use std::fmt;

impl std::fmt::Display for CoqDiag {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        let l = match self.level {
            CoqDiagLevel::Info => "info",
            CoqDiagLevel::Warning => "warning",
            CoqDiagLevel::Error => "error",
        };
        if let Some(item) = &self.item {
            write!(f, "[{}][{}] {}", l, item, self.message)
        } else {
            write!(f, "[{}] {}", l, self.message)
        }
    }
}