uniplate 0.4.6

Simple, boilerplate-free operations on tree-shaped data types
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

//! Specialisation helpers for uniplate on basic types.

/// Specialization proxy for [`uniplate::Uniplate`].
pub trait UniplateYes {
    /// The type to perform the Uniplate operation on.
    type T: Eq + Clone;

    /// Calls `Uniplate` on the inner value.
    ///
    /// This method is called when the wrapped type implements `Uniplate`.
    fn spez_try_uniplate(&self) -> (Tree<Self::T>, Box<dyn Fn(Tree<Self::T>) -> Self::T>);

    #[allow(missing_docs)]
    fn spez_impls_uniplate(&self) -> bool;
}

/// Specialization proxy for [`uniplate::Uniplate`].
pub trait UniplateNo {
    /// The type to perform the Uniplate operation on.
    type T: Eq + Clone;

    /// Fallback implementation used when the inner value doesn't implement `Uniplate`.
    fn spez_try_uniplate(&self) -> (Tree<Self::T>, Box<dyn Fn(Tree<Self::T>) -> Self::T>);

    #[allow(missing_docs)]
    fn spez_impls_uniplate(&self) -> bool;
}

impl<T> UniplateYes for &SpezUniplate<T>
where
    T: Eq + Clone + Uniplate,
{
    type T = T;

    fn spez_try_uniplate(&self) -> (Tree<Self::T>, Box<dyn Fn(Tree<Self::T>) -> Self::T>) {
        self.0.uniplate()
    }

    #[inline(always)]
    fn spez_impls_uniplate(&self) -> bool {
        true
    }
}

impl<T> UniplateNo for SpezUniplate<T>
where
    T: Eq + Clone + 'static,
{
    type T = T;
    fn spez_try_uniplate(&self) -> (Tree<Self::T>, Box<dyn Fn(Tree<Self::T>) -> Self::T>) {
        let self2 = self.0.clone();
        (Tree::Zero, Box::new(move |_| self2.clone()))
    }

    #[inline(always)]
    fn spez_impls_uniplate(&self) -> bool {
        false
    }
}

#[doc(inline)]
/// Tries to call `Uniplate::uniplate` on `$x`, returning a default implementation if `$x` does not
/// implement `Uniplate`.
pub use crate::try_uniplate;

#[macro_export]
#[doc(hidden)]
macro_rules! try_uniplate {
    ($x:expr) => {{
        #[allow(unused_imports)]
        use ::uniplate::spez::{SpezUniplate, UniplateNo, UniplateYes};
        #[allow(clippy::needless_borrow)]
        (&&SpezUniplate($x)).spez_try_biplate()
    }};
}
use crate::Tree;
use crate::Uniplate;
#[doc(inline)]
/// Returns whether `x` implements `Uniplate`.
pub use crate::impls_uniplate;

use super::SpezUniplate;

#[macro_export]
#[doc(hidden)]
macro_rules! impls_uniplate {
    ($x:expr) => {{
        #[allow(unused_imports)]
        use ::uniplate::spez::{SpezUniplate, UniplateNo as _, UniplateYes as _};
        #[allow(clippy::needless_borrow)]
        (&&SpezUniplate($x)).spez_impls_uniplate()
    }};
}