diff options
author | Nadrieril | 2019-05-09 01:20:35 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 01:20:35 +0200 |
commit | 82b08fa01b0980e7998760fe3cbba50c855ce454 (patch) | |
tree | 5fef5b7f94cd00bf9e8fdc86d363e040c862cdc7 /dhall_syntax/src/core | |
parent | 0d9b3405021b956fad3a87fc7a8eced16968509d (diff) |
Update dhall-lang submodule
Diffstat (limited to 'dhall_syntax/src/core')
-rw-r--r-- | dhall_syntax/src/core/text.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dhall_syntax/src/core/text.rs b/dhall_syntax/src/core/text.rs index 83643d9..e79a86b 100644 --- a/dhall_syntax/src/core/text.rs +++ b/dhall_syntax/src/core/text.rs @@ -43,6 +43,18 @@ impl<SubExpr> InterpolatedTextContents<SubExpr> { } impl<SubExpr> InterpolatedText<SubExpr> { + pub fn head(&self) -> &str { + &self.head + } + + pub fn head_mut(&mut self) -> &mut String { + &mut self.head + } + + pub fn is_empty(&self) -> bool { + self.head.is_empty() && self.tail.is_empty() + } + pub fn traverse_ref<'a, SubExpr2, E, F>( &'a self, mut f: F, |