momo 0.2.2

A procedural macro to de-monomorphize generic methods
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

use momo::momo;

#[momo]
fn check_generic<I: Into<usize>, S: AsRef<str>, M: AsMut<[usize]>>(i: I, s: S, mut m: M) -> usize {
    i.into() + s.as_ref().len() + m.as_mut()[0]
}

#[momo]
fn check_impl_trait(i: impl Into<usize>, s: impl AsRef<str>, mut m: impl AsMut<[usize]>) -> usize {
    i.into() + s.as_ref().len() + m.as_mut()[0]
}

fn main() {
    let i = 1u8;
    let s = "Hello, Rust!";
    let mut m = [3usize, 42];
    assert_eq!(check_generic(i, s, &mut m), 16);
    assert_eq!(check_impl_trait(i, s, &mut m), 16);

    let check = Check;
    assert_eq!(check.generic(i, s, &mut m), 16);
    assert_eq!(check.impl_trait(i, s, &mut m), 16);
}

pub struct Check;

impl Check {
    #[momo]
    pub fn generic<I: Into<usize>, S: AsRef<str>, M: AsMut<[usize]>>(
        &self,
        i: I,
        s: S,
        mut m: M,
    ) -> usize {
        i.into() + s.as_ref().len() + m.as_mut()[0]
    }

    #[momo]
    pub fn impl_trait(
        &self,
        i: impl Into<usize>,
        s: impl AsRef<str>,
        mut m: impl AsMut<[usize]>,
    ) -> usize {
        i.into() + s.as_ref().len() + m.as_mut()[0]
    }
}