diff options
author | Nadrieril | 2019-08-20 23:06:14 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 23:06:14 +0200 |
commit | 6c006e122a050ebbe76c8c566e559bbf9f2301a7 (patch) | |
tree | 9986d815c5fee13f8cb5a991b2612ca8c4905d2d /dhall/src/phase | |
parent | 8c1ffc5b68489be4694fff922ca48afeb0d45fc4 (diff) |
Reduce API surface of dhall crate
Diffstat (limited to 'dhall/src/phase')
-rw-r--r-- | dhall/src/phase/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index b5b7b64..ecf04e9 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -92,13 +92,13 @@ impl Typed { pub(crate) fn from_const(c: Const) -> Self { Typed(Value::from_const(c)) } - pub fn from_valuef_and_type(v: ValueF, t: Typed) -> Self { + pub(crate) fn from_valuef_and_type(v: ValueF, t: Typed) -> Self { Typed(Value::from_valuef_and_type(v, t.into_value())) } pub(crate) fn from_value(th: Value) -> Self { Typed(th) } - pub fn const_type() -> Self { + pub(crate) fn const_type() -> Self { Typed::from_const(Const::Type) } @@ -108,7 +108,7 @@ impl Typed { pub(crate) fn to_expr_alpha(&self) -> NormalizedSubExpr { self.0.to_expr_alpha() } - pub fn to_value(&self) -> Value { + pub(crate) fn to_value(&self) -> Value { self.0.clone() } pub(crate) fn into_value(self) -> Value { |