Skip to main content

oxilean_codegen/idris_backend/
idrisattribute_traits.rs

1//! # IdrisAttribute - Trait Implementations
2//!
3//! This module contains trait implementations for `IdrisAttribute`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::{IdrisAttribute, Totality};
12use std::fmt;
13
14impl fmt::Display for IdrisAttribute {
15    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16        match self {
17            IdrisAttribute::Auto => write!(f, "auto"),
18            IdrisAttribute::Interface => write!(f, "interface"),
19            IdrisAttribute::Search => write!(f, "search"),
20            IdrisAttribute::Totality(t) => write!(f, "{}", t),
21            IdrisAttribute::Inline => write!(f, "inline"),
22            IdrisAttribute::Static => write!(f, "static"),
23        }
24    }
25}