language-servers/tinymist
1
0
Fork 0
mirror of https://github.com/Myriad-Dreamin/tinymist.git synced 2025-07-24 13:13:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

dev: simplify a bit (#296)

Browse source
This commit is contained in:
Myriad-Dreamin 2024-05-16 11:59:23 +08:00 • committed by GitHub
parent 9835ffe6ab
commit 7336c61453
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 16 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

68
crates/tinymist-query/src/ty/mutate.rs
View file

@ -142,63 +142,27 @@ struct Mutator;
impl Mutator { impl Mutator {
fn ty(&mut self, ty: &Ty, pol: bool, mutator: &mut impl MutateDriver) -> Option<Ty> { fn ty(&mut self, ty: &Ty, pol: bool, mutator: &mut impl MutateDriver) -> Option<Ty> {
use Ty::*;
match ty { match ty {
Ty::Func(f) => { Value(..) | Any | Boolean(..) | Builtin(..) => mutator.mutate(ty, pol),
let f = mutator.mutate_func(f, pol)?; Union(v) => Some(Union(mutator.mutate_vec(v, pol)?)),
Some(Ty::Func(f.into())) Var(..) | Let(..) => mutator.mutate(ty, pol),
} Array(e) => Some(Array(mutator.mutate(e, pol)?.into())),
Ty::Dict(r) => { Dict(r) => Some(Dict(mutator.mutate_record(r, pol)?.into())),
let r = mutator.mutate_record(r, pol)?; Tuple(e) => Some(Tuple(mutator.mutate_vec(e, pol)?)),
Some(Ty::Dict(r.into())) Func(f) => Some(Func(mutator.mutate_func(f, pol)?.into())),
} Args(args) => Some(Args(mutator.mutate_func(args, pol)?.into())),
Ty::Tuple(e) => { Field(f) => {
let e = mutator.mutate_vec(e, pol)?;
Some(Ty::Tuple(e))
}
Ty::Array(e) => {
let ty = mutator.mutate(e, pol)?;
Some(Ty::Array(ty.into()))
}
Ty::With(w) => {
let w = mutator.mutate_with_sig(w, pol)?;
Some(Ty::With(w.into()))
}
Ty::Args(args) => {
let args = mutator.mutate_func(args, pol)?;
Some(Ty::Args(args.into()))
}
Ty::Unary(u) => {
let u = mutator.mutate_unary(u, pol)?;
Some(Ty::Unary(u.into()))
}
Ty::Binary(b) => {
let b = mutator.mutate_binary(b, pol)?;
Some(Ty::Binary(b.into()))
}
Ty::If(i) => {
let i = mutator.mutate_if(i, pol)?;
Some(Ty::If(i.into()))
}
Ty::Union(v) => {
let v = mutator.mutate_vec(v, pol)?;
Some(Ty::Union(v))
}
Ty::Field(f) => {
let field = f.field.mutate(pol, mutator)?; let field = f.field.mutate(pol, mutator)?;
let mut f = f.as_ref().clone(); let mut f = f.as_ref().clone();
f.field = field; f.field = field;
Some(Ty::Field(f.into())) Some(Field(f.into()))
} }
Ty::Select(s) => { Select(s) => Some(Select(mutator.mutate_select(s, pol)?.into())),
let s = mutator.mutate_select(s, pol)?; With(w) => Some(With(mutator.mutate_with_sig(w, pol)?.into())),
Some(Ty::Select(s.into())) Unary(u) => Some(Unary(mutator.mutate_unary(u, pol)?.into())),
} Binary(b) => Some(Binary(mutator.mutate_binary(b, pol)?.into())),
Ty::Var(..) If(i) => Some(If(mutator.mutate_if(i, pol)?.into())),
| Ty::Let(..)
| Ty::Value(..)
| Ty::Any
| Ty::Boolean(..)
| Ty::Builtin(..) => mutator.mutate(ty, pol),
} }
} }
} }