waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat(Type): add is_option method

This commit is contained in:
rvcas 2022-12-13 15:02:46 -05:00 committed by KtorZ
parent 8393d8555c
commit 11c793dd2a
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
crates/lang/src/tipo.rs
View File

@ -135,6 +135,14 @@ impl Type {
} }
} }
pub fn is_option(&self) -> bool {
match self {
Self::App { module, name, .. } if "Option" == name && module.is_empty() => true,
Self::Var { tipo } => tipo.borrow().is_option(),
_ => false,
}
}
pub fn is_map(&self) -> bool { pub fn is_map(&self) -> bool {
match self { match self {
Self::App { Self::App {
@ -416,6 +424,13 @@ impl TypeVar {
} }
} }
pub fn is_option(&self) -> bool {
match self {
Self::Link { tipo } => tipo.is_option(),
_ => false,
}
}
pub fn is_map(&self) -> bool { pub fn is_map(&self) -> bool {
match self { match self {
Self::Link { tipo } => tipo.is_map(), Self::Link { tipo } => tipo.is_map(),