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

use quote::ToTokens;
use syn::{parse_quote, Type};
use syn::__private::TokenStream2;
use ferment_macro::Display;
use crate::ext::ToType;
use crate::lang::Specification;

#[derive(Clone, Debug, Display)]
pub enum FieldTypeKind<SPEC>
where SPEC: Specification {
    Type(Type),
    Conversion(TokenStream2),
    Var(SPEC::Var)
}
impl<SPEC> ToTokens for FieldTypeKind<SPEC>
where SPEC: Specification {
    fn to_tokens(&self, tokens: &mut TokenStream2) {
        match self {
            FieldTypeKind::Type(ty) => ty.to_tokens(tokens),
            FieldTypeKind::Conversion(conversion) => conversion.to_tokens(tokens),
            FieldTypeKind::Var(var) => var.to_tokens(tokens)
        }
    }
}
impl<SPEC> ToType for FieldTypeKind<SPEC>
where SPEC: Specification {
    fn to_type(&self) -> Type {
        match self {
            FieldTypeKind::Type(ty) => ty.clone(),
            FieldTypeKind::Var(var) => var.to_type(),
            _ => panic!("improper use of kind as type")
        }
    }
}
impl<SPEC> FieldTypeKind<SPEC>
where SPEC: Specification {

    pub fn conversion<T: ToTokens>(conversion: T) -> Self {
        Self::Conversion(conversion.to_token_stream())
    }
    pub fn r#type(ty: &Type) -> Self {
        Self::Type(ty.clone())
    }
    pub fn type_count() -> Self {
        Self::Type(parse_quote!(usize))
    }
}