API improvements.

This commit is contained in:
Mauro D
2022-07-07 17:06:47 +00:00
parent a6d1dbeae9
commit 890bfa3a70
9 changed files with 43 additions and 6 deletions

View File

@@ -10,7 +10,7 @@ impl Principal<Get> {
}
pub fn unwrap_id(self) -> String {
self.id.unwrap()
self.id.unwrap_or_default()
}
pub fn ptype(&self) -> Option<&Type> {