pub struct TemplateSpans<'fmt, A> { /* private fields */ }Expand description
A dynamically parsed iterator of the spans of a template string.
The main way to use a TemplateSpans is as an iterator of Result<Span, SyntaxError>. Construct a
TemplateSpans from a template string using TemplateSpans::new, or from a Oneshot
using Oneshot::spans.
Span iteration is deterministic and fully defined by the following rules. Go to:
§Error recovery
If the template string contains a syntax error, an Err(_) will be returned. Iteration will
continue past the error location if the error type is locally recoverable. This occurs in the
following cases:
- In the presence of an extra closing bracket.
- If the
Astimplementation fails to parse an expression.
Here is an example illustrating this behaviour.
let mut spans_iter = TemplateSpans::<usize>::new("{12} }and {invalid}");
assert_eq!(spans_iter.next(), Some(Ok(Span::Expr(12))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Text(" "))));
assert_eq!(
spans_iter.next().unwrap().unwrap_err().kind,
SyntaxErrorKind::ExtraBracket,
);
assert_eq!(spans_iter.next(), Some(Ok(Span::Text("and "))));
assert!(matches!(
spans_iter.next().unwrap().unwrap_err().kind,
SyntaxErrorKind::InvalidExpr(_),
));Unclosed expressions cannot be recovered.
let mut spans_iter = TemplateSpans::<&str>::new("{unclosed");
assert_eq!(
spans_iter.next().unwrap().unwrap_err().kind,
SyntaxErrorKind::UnclosedExpr,
);
// the entire template string was consumed trying to find the closing bracket
assert!(spans_iter.next().is_none());§Text span breaking
Approximately speaking, spans are produced to be as large as possible. However, since each span
must refer to a contiguous substring of the original template string (to avoid allocating), a text
span can be broken by an escaped bracket (either {{ or }}).
§Lazy escape breaking
Spans are broken lazily: the second char of an escaped bracket is included in the next
span. In particular, a text span does not contain { or } except possibly as the first
character of the span.
Here is an example illustrating this behaviour.
let mut spans_iter = TemplateSpans::<usize>::new("Escaped {{bracket}}");
assert_eq!(spans_iter.next(), Some(Ok(Span::Text("Escaped "))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Text("{bracket"))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Text("}"))));
assert_eq!(spans_iter.next(), None);In particular, lazy span production rules mean that the representation may not be
absolutely minimal: the above example has an equivalent representation in which the second span
is Span::Text("{bracket}"). This representation will never be produced.
§No spurious text spans
Text spans are guaranteed to be non-empty.
Here is an example illustrating this behaviour.
let mut spans_iter = TemplateSpans::<usize>::new("{0}{1} {2}");
assert_eq!(spans_iter.next(), Some(Ok(Span::Expr(0))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Expr(1))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Text(" "))));
assert_eq!(spans_iter.next(), Some(Ok(Span::Expr(2))));§Fused and bounded length
Each call to .next() is guaranteed to increment the parser position within the template
string, unless there are no characters remaining. In particular, TemplateSpans implements FusedIterator.
Since the parser position increments, the number of steps in the iteration is at most
self.remainder().len(). This is reported by the size_hint implementation.
let mut spans_iter = TemplateSpans::<&str>::new("Hello {name}!");
assert_eq!(spans_iter.remainder(), "Hello {name}!");
assert_eq!(spans_iter.size_hint(), (1, Some(spans_iter.remainder().len())));
let _ = spans_iter.next();
assert_eq!(spans_iter.remainder(), "{name}!");
assert_eq!(spans_iter.size_hint(), (1, Some(spans_iter.remainder().len())));
let _ = spans_iter.next();
assert_eq!(spans_iter.remainder(), "!");
assert_eq!(spans_iter.size_hint(), (1, Some(spans_iter.remainder().len())));
let _ = spans_iter.next();
assert_eq!(spans_iter.size_hint(), (0, Some(0)));
assert_eq!(spans_iter.remainder(), "");
assert!(spans_iter.next().is_none());The extremal conditions for size_hint are realized in the following cases.
// A single text block
let mut spans_iter = TemplateSpans::<&str>::new("Only text");
assert_eq!(spans_iter.size_hint().0, spans_iter.count());
// An alternating sequence of text blocks and extra closing brackets (resulting in errors)
// attains the size hint limit
let mut spans_iter = TemplateSpans::<&str>::new("0}0}");
assert_eq!(spans_iter.size_hint().1, Some(spans_iter.count()));Implementations§
Source§impl<'fmt, A> TemplateSpans<'fmt, A>where
A: Ast<'fmt>,
impl<'fmt, A> TemplateSpans<'fmt, A>where
A: Ast<'fmt>,
Trait Implementations§
Source§impl<'fmt, A> Iterator for TemplateSpans<'fmt, A>where
A: Ast<'fmt>,
impl<'fmt, A> Iterator for TemplateSpans<'fmt, A>where
A: Ast<'fmt>,
Source§type Item = Result<Span<&'fmt str, A>, SyntaxError<<A as Ast<'fmt>>::Error>>
type Item = Result<Span<&'fmt str, A>, SyntaxError<<A as Ast<'fmt>>::Error>>
Source§fn next(&mut self) -> Option<Self::Item>
fn next(&mut self) -> Option<Self::Item>
Source§fn size_hint(&self) -> (usize, Option<usize>)
fn size_hint(&self) -> (usize, Option<usize>)
Source§fn next_chunk<const N: usize>(
&mut self,
) -> Result<[Self::Item; N], IntoIter<Self::Item, N>>where
Self: Sized,
fn next_chunk<const N: usize>(
&mut self,
) -> Result<[Self::Item; N], IntoIter<Self::Item, N>>where
Self: Sized,
iter_next_chunk)N values. Read more1.0.0 · Source§fn count(self) -> usizewhere
Self: Sized,
fn count(self) -> usizewhere
Self: Sized,
1.0.0 · Source§fn last(self) -> Option<Self::Item>where
Self: Sized,
fn last(self) -> Option<Self::Item>where
Self: Sized,
Source§fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>>
fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>>
iter_advance_by)n elements. Read more1.0.0 · Source§fn nth(&mut self, n: usize) -> Option<Self::Item>
fn nth(&mut self, n: usize) -> Option<Self::Item>
nth element of the iterator. Read more1.28.0 · Source§fn step_by(self, step: usize) -> StepBy<Self>where
Self: Sized,
fn step_by(self, step: usize) -> StepBy<Self>where
Self: Sized,
1.0.0 · Source§fn chain<U>(self, other: U) -> Chain<Self, <U as IntoIterator>::IntoIter>
fn chain<U>(self, other: U) -> Chain<Self, <U as IntoIterator>::IntoIter>
1.0.0 · Source§fn zip<U>(self, other: U) -> Zip<Self, <U as IntoIterator>::IntoIter>where
Self: Sized,
U: IntoIterator,
fn zip<U>(self, other: U) -> Zip<Self, <U as IntoIterator>::IntoIter>where
Self: Sized,
U: IntoIterator,
Source§fn intersperse(self, separator: Self::Item) -> Intersperse<Self>
fn intersperse(self, separator: Self::Item) -> Intersperse<Self>
iter_intersperse)separator between adjacent
items of the original iterator. Read moreSource§fn intersperse_with<G>(self, separator: G) -> IntersperseWith<Self, G>
fn intersperse_with<G>(self, separator: G) -> IntersperseWith<Self, G>
iter_intersperse)separator
between adjacent items of the original iterator. Read more1.0.0 · Source§fn map<B, F>(self, f: F) -> Map<Self, F>
fn map<B, F>(self, f: F) -> Map<Self, F>
1.0.0 · Source§fn filter<P>(self, predicate: P) -> Filter<Self, P>
fn filter<P>(self, predicate: P) -> Filter<Self, P>
1.0.0 · Source§fn filter_map<B, F>(self, f: F) -> FilterMap<Self, F>
fn filter_map<B, F>(self, f: F) -> FilterMap<Self, F>
1.0.0 · Source§fn enumerate(self) -> Enumerate<Self>where
Self: Sized,
fn enumerate(self) -> Enumerate<Self>where
Self: Sized,
1.0.0 · Source§fn skip_while<P>(self, predicate: P) -> SkipWhile<Self, P>
fn skip_while<P>(self, predicate: P) -> SkipWhile<Self, P>
1.0.0 · Source§fn take_while<P>(self, predicate: P) -> TakeWhile<Self, P>
fn take_while<P>(self, predicate: P) -> TakeWhile<Self, P>
1.57.0 · Source§fn map_while<B, P>(self, predicate: P) -> MapWhile<Self, P>
fn map_while<B, P>(self, predicate: P) -> MapWhile<Self, P>
1.0.0 · Source§fn skip(self, n: usize) -> Skip<Self>where
Self: Sized,
fn skip(self, n: usize) -> Skip<Self>where
Self: Sized,
n elements. Read more1.0.0 · Source§fn take(self, n: usize) -> Take<Self>where
Self: Sized,
fn take(self, n: usize) -> Take<Self>where
Self: Sized,
n elements, or fewer
if the underlying iterator ends sooner. Read more1.0.0 · Source§fn flat_map<U, F>(self, f: F) -> FlatMap<Self, U, F>
fn flat_map<U, F>(self, f: F) -> FlatMap<Self, U, F>
1.29.0 · Source§fn flatten(self) -> Flatten<Self>
fn flatten(self) -> Flatten<Self>
Source§fn map_windows<F, R, const N: usize>(self, f: F) -> MapWindows<Self, F, N>
fn map_windows<F, R, const N: usize>(self, f: F) -> MapWindows<Self, F, N>
iter_map_windows)f for each contiguous window of size N over
self and returns an iterator over the outputs of f. Like slice::windows(),
the windows during mapping overlap as well. Read more1.0.0 · Source§fn inspect<F>(self, f: F) -> Inspect<Self, F>
fn inspect<F>(self, f: F) -> Inspect<Self, F>
1.0.0 · Source§fn by_ref(&mut self) -> &mut Selfwhere
Self: Sized,
fn by_ref(&mut self) -> &mut Selfwhere
Self: Sized,
Iterator. Read moreSource§fn try_collect<B>(
&mut self,
) -> <<Self::Item as Try>::Residual as Residual<B>>::TryType
fn try_collect<B>( &mut self, ) -> <<Self::Item as Try>::Residual as Residual<B>>::TryType
iterator_try_collect)Source§fn collect_into<E>(self, collection: &mut E) -> &mut E
fn collect_into<E>(self, collection: &mut E) -> &mut E
iter_collect_into)1.0.0 · Source§fn partition<B, F>(self, f: F) -> (B, B)
fn partition<B, F>(self, f: F) -> (B, B)
Source§fn is_partitioned<P>(self, predicate: P) -> bool
fn is_partitioned<P>(self, predicate: P) -> bool
iter_is_partitioned)true precede all those that return false. Read more1.27.0 · Source§fn try_fold<B, F, R>(&mut self, init: B, f: F) -> R
fn try_fold<B, F, R>(&mut self, init: B, f: F) -> R
1.27.0 · Source§fn try_for_each<F, R>(&mut self, f: F) -> R
fn try_for_each<F, R>(&mut self, f: F) -> R
1.0.0 · Source§fn fold<B, F>(self, init: B, f: F) -> B
fn fold<B, F>(self, init: B, f: F) -> B
1.51.0 · Source§fn reduce<F>(self, f: F) -> Option<Self::Item>
fn reduce<F>(self, f: F) -> Option<Self::Item>
Source§fn try_reduce<R>(
&mut self,
f: impl FnMut(Self::Item, Self::Item) -> R,
) -> <<R as Try>::Residual as Residual<Option<<R as Try>::Output>>>::TryType
fn try_reduce<R>( &mut self, f: impl FnMut(Self::Item, Self::Item) -> R, ) -> <<R as Try>::Residual as Residual<Option<<R as Try>::Output>>>::TryType
iterator_try_reduce)1.0.0 · Source§fn all<F>(&mut self, f: F) -> bool
fn all<F>(&mut self, f: F) -> bool
1.0.0 · Source§fn any<F>(&mut self, f: F) -> bool
fn any<F>(&mut self, f: F) -> bool
1.0.0 · Source§fn find<P>(&mut self, predicate: P) -> Option<Self::Item>
fn find<P>(&mut self, predicate: P) -> Option<Self::Item>
1.30.0 · Source§fn find_map<B, F>(&mut self, f: F) -> Option<B>
fn find_map<B, F>(&mut self, f: F) -> Option<B>
Source§fn try_find<R>(
&mut self,
f: impl FnMut(&Self::Item) -> R,
) -> <<R as Try>::Residual as Residual<Option<Self::Item>>>::TryType
fn try_find<R>( &mut self, f: impl FnMut(&Self::Item) -> R, ) -> <<R as Try>::Residual as Residual<Option<Self::Item>>>::TryType
try_find)1.0.0 · Source§fn position<P>(&mut self, predicate: P) -> Option<usize>
fn position<P>(&mut self, predicate: P) -> Option<usize>
1.0.0 · Source§fn max(self) -> Option<Self::Item>
fn max(self) -> Option<Self::Item>
1.0.0 · Source§fn min(self) -> Option<Self::Item>
fn min(self) -> Option<Self::Item>
1.6.0 · Source§fn max_by_key<B, F>(self, f: F) -> Option<Self::Item>
fn max_by_key<B, F>(self, f: F) -> Option<Self::Item>
1.15.0 · Source§fn max_by<F>(self, compare: F) -> Option<Self::Item>
fn max_by<F>(self, compare: F) -> Option<Self::Item>
1.6.0 · Source§fn min_by_key<B, F>(self, f: F) -> Option<Self::Item>
fn min_by_key<B, F>(self, f: F) -> Option<Self::Item>
1.15.0 · Source§fn min_by<F>(self, compare: F) -> Option<Self::Item>
fn min_by<F>(self, compare: F) -> Option<Self::Item>
1.0.0 · Source§fn unzip<A, B, FromA, FromB>(self) -> (FromA, FromB)
fn unzip<A, B, FromA, FromB>(self) -> (FromA, FromB)
1.36.0 · Source§fn copied<'a, T>(self) -> Copied<Self>
fn copied<'a, T>(self) -> Copied<Self>
Source§fn array_chunks<const N: usize>(self) -> ArrayChunks<Self, N>where
Self: Sized,
fn array_chunks<const N: usize>(self) -> ArrayChunks<Self, N>where
Self: Sized,
iter_array_chunks)N elements of the iterator at a time. Read more1.11.0 · Source§fn product<P>(self) -> P
fn product<P>(self) -> P
Source§fn cmp_by<I, F>(self, other: I, cmp: F) -> Ordering
fn cmp_by<I, F>(self, other: I, cmp: F) -> Ordering
iter_order_by)Iterator with those
of another with respect to the specified comparison function. Read more1.5.0 · Source§fn partial_cmp<I>(self, other: I) -> Option<Ordering>
fn partial_cmp<I>(self, other: I) -> Option<Ordering>
PartialOrd elements of
this Iterator with those of another. The comparison works like short-circuit
evaluation, returning a result without comparing the remaining elements.
As soon as an order can be determined, the evaluation stops and a result is returned. Read moreSource§fn partial_cmp_by<I, F>(self, other: I, partial_cmp: F) -> Option<Ordering>where
Self: Sized,
I: IntoIterator,
F: FnMut(Self::Item, <I as IntoIterator>::Item) -> Option<Ordering>,
fn partial_cmp_by<I, F>(self, other: I, partial_cmp: F) -> Option<Ordering>where
Self: Sized,
I: IntoIterator,
F: FnMut(Self::Item, <I as IntoIterator>::Item) -> Option<Ordering>,
iter_order_by)Iterator with those
of another with respect to the specified comparison function. Read moreSource§fn eq_by<I, F>(self, other: I, eq: F) -> bool
fn eq_by<I, F>(self, other: I, eq: F) -> bool
iter_order_by)1.5.0 · Source§fn lt<I>(self, other: I) -> bool
fn lt<I>(self, other: I) -> bool
Iterator are lexicographically
less than those of another. Read more1.5.0 · Source§fn le<I>(self, other: I) -> bool
fn le<I>(self, other: I) -> bool
Iterator are lexicographically
less or equal to those of another. Read more1.5.0 · Source§fn gt<I>(self, other: I) -> bool
fn gt<I>(self, other: I) -> bool
Iterator are lexicographically
greater than those of another. Read more1.5.0 · Source§fn ge<I>(self, other: I) -> bool
fn ge<I>(self, other: I) -> bool
Iterator are lexicographically
greater than or equal to those of another. Read more