diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/phase/mod.rs | 8 | 
1 files changed, 8 insertions, 0 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index abf4fe7..3d7afb6 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -203,9 +203,17 @@ impl Type {  impl Normalized {      #[allow(dead_code)] +    pub fn to_expr(&self) -> NormalizedSubExpr { +        self.0.to_expr() +    } +    #[allow(dead_code)]      pub fn to_expr_alpha(&self) -> NormalizedSubExpr {          self.0.to_expr_alpha()      } +    #[allow(dead_code)] +    pub fn to_type(&self) -> Type { +        self.0.to_type() +    }      pub fn to_value(&self) -> Value {          self.0.to_value()      }  | 
