pub struct Parser<'arena, R>where
R: Read,{ /* private fields */ }Implementations§
Source§impl<'arena, R> Parser<'arena, R>where
R: Read,
impl<'arena, R> Parser<'arena, R>where
R: Read,
pub fn new<P: ToString>(arena: &'arena Arena, reader: R, path: P) -> Selfwhere
R: Read,
pub fn next_token(&mut self) -> Result<()>
pub fn parse_unit(&mut self) -> Result<&'arena Unit<'arena>>
Sourcepub fn parse_package_decl(&mut self) -> Result<&'arena Decl<'arena>>
pub fn parse_package_decl(&mut self) -> Result<&'arena Decl<'arena>>
package_decl ::= package name ([ ])? !
pub fn parse_clause(&mut self) -> Result<&'arena Clause<'arena>>
pub fn parse_term(&mut self) -> Result<&'arena Term<'arena>>
pub fn parse_atom(&mut self) -> Result<&'arena Atom<'arena>>
pub fn parse_base_term(&mut self) -> Result<&'arena BaseTerm<'arena>>
Auto Trait Implementations§
impl<'arena, R> Freeze for Parser<'arena, R>where
R: Freeze,
impl<'arena, R> !RefUnwindSafe for Parser<'arena, R>
impl<'arena, R> !Send for Parser<'arena, R>
impl<'arena, R> !Sync for Parser<'arena, R>
impl<'arena, R> Unpin for Parser<'arena, R>where
R: Unpin,
impl<'arena, R> UnsafeUnpin for Parser<'arena, R>where
R: UnsafeUnpin,
impl<'arena, R> !UnwindSafe for Parser<'arena, R>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more