Trait pear::Input

pub trait Input: Sized {
    type Token: PartialEq + Copy;
    type Slice: PartialEq + Clone + Length;
    type InSlice: PartialEq + Clone + Length;
    type Many: Length;
    type Context: Display;

    fn peek(&mut self) -> Option<Self::Token>;
    fn peek_slice(&mut self, _: Self::InSlice) -> Option<Self::Slice>;
    fn advance(&mut self, _: usize);
    fn is_empty(&mut self) -> bool;
    fn take_many<F: FnMut(Self::Token) -> bool>(&mut self, cond: F) -> Self::Many;
    fn skip_many<F: FnMut(Self::Token) -> bool>(&mut self, cond: F) -> usize;

    fn context(&mut self) -> Option<Self::Context> { ... }
}

Required Associated Types

type Token: PartialEq + Copy

type Slice: PartialEq + Clone + Length

type InSlice: PartialEq + Clone + Length

type Many: Length

type Context: Display

Required Methods

fn peek(&mut self) -> Option<Self::Token>

fn peek_slice(&mut self, _: Self::InSlice) -> Option<Self::Slice>

fn advance(&mut self, _: usize)

fn is_empty(&mut self) -> bool

fn take_many<F: FnMut(Self::Token) -> bool>(&mut self, cond: F) -> Self::Many

fn skip_many<F: FnMut(Self::Token) -> bool>(&mut self, cond: F) -> usize

Provided Methods

fn context(&mut self) -> Option<Self::Context>

Implementations on Foreign Types

impl<'a> Input for &'a str

type Token = char

type InSlice = &'a str

type Slice = &'a str

type Many = <&'a str as Input>::Slice

type Context = &'a str

fn peek(&mut self) -> Option<Self::Token>

fn peek_slice(&mut self, slice: Self::InSlice) -> Option<Self::Slice>

fn skip_many<F>(&mut self, cond: F) -> usizewhere
    F: FnMut(Self::Token) -> bool,

fn take_many<F>(&mut self, cond: F) -> Self::Manywhere
    F: FnMut(Self::Token) -> bool,

fn advance(&mut self, count: usize)

fn is_empty(&mut self) -> bool

impl<'a> Input for &'a [u8]

type Token = u8

type InSlice = &'a [u8]

type Slice = &'a [u8]

type Many = <&'a [u8] as Input>::Slice

type Context = &'a str

fn peek(&mut self) -> Option<Self::Token>

fn peek_slice(&mut self, slice: Self::InSlice) -> Option<Self::Slice>

fn skip_many<F>(&mut self, cond: F) -> usizewhere
    F: FnMut(Self::Token) -> bool,

fn take_many<F>(&mut self, cond: F) -> Self::Manywhere
    F: FnMut(Self::Token) -> bool,

fn advance(&mut self, count: usize)

fn is_empty(&mut self) -> bool

Implementors

impl<'a> Input for Text<'a>

type Token = char

type InSlice = &'a str

type Slice = &'a str

type Many = <Text<'a> as Input>::Slice

type Context = Position<'a>

impl<'s> Input for StringFile<'s>

type Token = char

type InSlice = &'s str

type Slice = &'s str

type Many = String

type Context = &'s str