ferment-sys 0.2.14

Syntax tree morphing of FFI-compatible stuff
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

use syn::{BareFnArg, GenericArgument, ReturnType, Type};
use crate::composable::NestedArgument;
use crate::ext::MaybeGenericType;

#[allow(unused)]
pub trait RefineWithNestedArg {
    fn refine_with_nested_arg(&mut self, nested_argument: &NestedArgument) -> bool;
}

/// Refinement of the actual types with refined nested arguments
/// Nested argument should be refined before
impl RefineWithNestedArg for GenericArgument {
    fn refine_with_nested_arg(&mut self, nested_argument: &NestedArgument) -> bool {
        self.maybe_generic_type_mut().map(|inner_ty| if let Some(ty) = nested_argument.object().maybe_type() {
            *inner_ty = ty;
            true
        } else {
            false
        }).unwrap_or_default()
    }
}

impl RefineWithNestedArg for BareFnArg {
    fn refine_with_nested_arg(&mut self, nested_argument: &NestedArgument) -> bool {
        self.ty.refine_with_nested_arg(nested_argument)
    }
}

impl RefineWithNestedArg for ReturnType {
    fn refine_with_nested_arg(&mut self, nested_argument: &NestedArgument) -> bool {
        match self {
            ReturnType::Type(_, inner_ty) => {
                if let Some(ty) = nested_argument.maybe_type() {
                    *inner_ty = Box::new(ty);
                    true
                } else {
                    false
                }
            },
            _ => false
        }
    }
}

impl RefineWithNestedArg for Type {
    fn refine_with_nested_arg(&mut self, nested_argument: &NestedArgument) -> bool {
        if let Some(ty) = nested_argument.maybe_type() {
            *self = ty;
            true
        } else {
            false
        }
    }
}