Skip to main content

oxilean_codegen/idris_backend/
totality_traits.rs

1//! # Totality - Trait Implementations
2//!
3//! This module contains trait implementations for `Totality`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::Totality;
12use std::fmt;
13
14impl fmt::Display for Totality {
15    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16        match self {
17            Totality::Total => writeln!(f, "total"),
18            Totality::Partial => writeln!(f, "partial"),
19            Totality::Covering => writeln!(f, "covering"),
20            Totality::Default => Ok(()),
21        }
22    }
23}