summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dhall/src/phase/mod.rs8
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()
}