dyadic-rationals 0.1.2

Binary and Dyadic rational expressions (with binders) in Rust
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

use pretty::{Pretty, DocAllocator, BoxAllocator, DocBuilder};
use std::fmt;

#[derive(Clone, Hash, Ord, PartialOrd, Eq, PartialEq)]
pub struct Id(char);

#[cfg(test)] use arbitrary::{Unstructured, Arbitrary};

impl<'a, D, A> Pretty<'a, D, A> for Id
where
    D: DocAllocator<'a, A>,
    D::Doc: Clone,
    A: 'a + Clone,
{
    fn pretty(self, allocator: &'a D) -> DocBuilder<'a, D, A> {
        allocator.text(self.0.to_string())
    }
}

#[cfg(test)]
impl<'a> Arbitrary<'a> for Id {
    fn arbitrary(u: &mut Unstructured<'a>) -> arbitrary::Result<Id, arbitrary::Error> {
        let c = u.int_in_range(0..=25)?;
        Ok(Id((b'a' + c) as char))
    }
}

/// Display instance calls the pretty printer
impl<'a> fmt::Display for Id {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        <Id as Pretty<'_, BoxAllocator, ()>>::pretty(self.clone(), &BoxAllocator)
            .1
            .render_fmt(4, f)
    }
}

impl From<char> for Id {
    fn from(s: char) -> Self {
        Id(s)
    }
}

impl<'a> fmt::Debug for Id {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{}", self)
    }
}