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
//! # IdrisPattern - Trait Implementations
//!
//! This module contains trait implementations for `IdrisPattern`.
//!
//! ## Implemented Traits
//!
//! - `Display`
//!
//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
use super::types::IdrisPattern;
use std::fmt;
impl fmt::Display for IdrisPattern {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
match self {
IdrisPattern::Wildcard => write!(f, "_"),
IdrisPattern::Var(x) => write!(f, "{}", x),
IdrisPattern::Lit(l) => write!(f, "{}", l),
IdrisPattern::Nil => write!(f, "[]"),
IdrisPattern::Tuple(ps) => {
write!(f, "(")?;
for (i, p) in ps.iter().enumerate() {
if i > 0 {
write!(f, ", ")?;
}
write!(f, "{}", p)?;
}
write!(f, ")")
}
IdrisPattern::Cons(h, t) => write!(f, "{} :: {}", h, t),
IdrisPattern::As(n, p) => write!(f, "{}@{}", n, p),
IdrisPattern::Implicit(p) => write!(f, "{{{}}}", p),
IdrisPattern::Dot(e) => write!(f, ".{}", e),
IdrisPattern::Con(c, args) => {
if args.is_empty() {
write!(f, "{}", c)
} else {
write!(f, "({}", c)?;
for a in args {
write!(f, " {}", a)?;
}
write!(f, ")")
}
}
}
}
}