diff options
author | Nadrieril | 2019-04-12 21:44:47 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-12 21:44:47 +0200 |
commit | 57fb440349443b20a6b72ee04f93e0abc4d03e56 (patch) | |
tree | 7142754f6a5c69b86aaaff863656169ac0e72ef2 /dhall/src/expr.rs | |
parent | 3cd881387d1e356db574448a9006596038877b5c (diff) |
Restrict public API to its most minimal expression
Diffstat (limited to 'dhall/src/expr.rs')
-rw-r--r-- | dhall/src/expr.rs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index ab59ce0..6f9f280 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -22,18 +22,20 @@ macro_rules! derive_other_traits { } #[derive(Debug, Clone, Eq)] -pub struct Parsed<'a>( +pub(crate) struct Parsed<'a>( pub(crate) SubExpr<Span<'a>, Import>, pub(crate) ImportRoot, ); derive_other_traits!(Parsed); #[derive(Debug, Clone, Eq)] -pub struct Resolved<'a>(pub(crate) SubExpr<Span<'a>, Normalized<'static>>); +pub(crate) struct Resolved<'a>( + pub(crate) SubExpr<Span<'a>, Normalized<'static>>, +); derive_other_traits!(Resolved); #[derive(Debug, Clone, Eq)] -pub struct Typed<'a>( +pub(crate) struct Typed<'a>( pub(crate) SubExpr<X, Normalized<'static>>, pub(crate) Option<Type<'static>>, pub(crate) PhantomData<&'a ()>, @@ -41,7 +43,7 @@ pub struct Typed<'a>( derive_other_traits!(Typed); #[derive(Debug, Clone, Eq)] -pub struct Normalized<'a>( +pub(crate) struct Normalized<'a>( pub(crate) SubExpr<X, X>, pub(crate) Option<Type<'static>>, pub(crate) PhantomData<&'a ()>, @@ -90,6 +92,7 @@ impl<'a> From<Normalized<'a>> for Typed<'a> { } } +#[doc(hidden)] impl<'a> Typed<'a> { pub(crate) fn as_expr(&self) -> &SubExpr<X, Normalized<'a>> { &self.0 @@ -99,6 +102,7 @@ impl<'a> Typed<'a> { } } +#[doc(hidden)] impl<'a> Normalized<'a> { pub(crate) fn as_expr(&self) -> &SubExpr<X, X> { &self.0 |