modus_lib::logic::parser

Function 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.