blob: 89d8b00a8fff4c600659b1db25da0d59069941eb [file] [log] [blame]
Matthew Maurerdc6194e2020-06-02 11:15:18 -07001//! Special types handling
2
3use crate::spanned::Sp;
4
5use syn::{
6 spanned::Spanned, GenericArgument, Path, PathArguments, PathArguments::AngleBracketed,
7 PathSegment, Type, TypePath,
8};
9
10#[derive(Copy, Clone, PartialEq, Debug)]
11pub enum Ty {
12 Bool,
13 Vec,
14 Option,
15 OptionOption,
16 OptionVec,
17 Other,
18}
19
20impl Ty {
21 pub fn from_syn_ty(ty: &syn::Type) -> Sp<Self> {
22 use Ty::*;
23 let t = |kind| Sp::new(kind, ty.span());
24
25 if is_simple_ty(ty, "bool") {
26 t(Bool)
27 } else if is_generic_ty(ty, "Vec") {
28 t(Vec)
29 } else if let Some(subty) = subty_if_name(ty, "Option") {
30 if is_generic_ty(subty, "Option") {
31 t(OptionOption)
32 } else if is_generic_ty(subty, "Vec") {
33 t(OptionVec)
34 } else {
35 t(Option)
36 }
37 } else {
38 t(Other)
39 }
40 }
41}
42
43pub fn sub_type(ty: &syn::Type) -> Option<&syn::Type> {
44 subty_if(ty, |_| true)
45}
46
47fn only_last_segment(ty: &syn::Type) -> Option<&PathSegment> {
48 match ty {
49 Type::Path(TypePath {
50 qself: None,
51 path:
52 Path {
53 leading_colon: None,
54 segments,
55 },
56 }) => only_one(segments.iter()),
57
58 _ => None,
59 }
60}
61
62fn subty_if<F>(ty: &syn::Type, f: F) -> Option<&syn::Type>
63where
64 F: FnOnce(&PathSegment) -> bool,
65{
66 only_last_segment(ty)
67 .filter(|segment| f(segment))
68 .and_then(|segment| {
69 if let AngleBracketed(args) = &segment.arguments {
70 only_one(args.args.iter()).and_then(|genneric| {
71 if let GenericArgument::Type(ty) = genneric {
72 Some(ty)
73 } else {
74 None
75 }
76 })
77 } else {
78 None
79 }
80 })
81}
82
83pub fn subty_if_name<'a>(ty: &'a syn::Type, name: &str) -> Option<&'a syn::Type> {
84 subty_if(ty, |seg| seg.ident == name)
85}
86
87pub fn is_simple_ty(ty: &syn::Type, name: &str) -> bool {
88 only_last_segment(ty)
89 .map(|segment| {
90 if let PathArguments::None = segment.arguments {
91 segment.ident == name
92 } else {
93 false
94 }
95 })
96 .unwrap_or(false)
97}
98
99fn is_generic_ty(ty: &syn::Type, name: &str) -> bool {
100 subty_if_name(ty, name).is_some()
101}
102
103fn only_one<I, T>(mut iter: I) -> Option<T>
104where
105 I: Iterator<Item = T>,
106{
107 iter.next().filter(|_| iter.next().is_none())
108}