Function modus_lib::logic::parser::recognized_span

source · [−]

pub fn recognized_span<'a, P, T>(
    inner: P
) -> impl FnMut(Span<'a>) -> IResult<Span<'a>, (SpannedPosition, T)> where
    P: FnMut(Span<'a>) -> IResult<Span<'a>, T>,

Expand description

Creates a parser that returns a SpannedPosition that spans the consumed input of a given parser. Also returns the actual output of the parser.