pub struct Action<O, F: FnMut() -> O>(/* private fields */);Expand description
Runs a function when parsed. Parses nothing, and returns the function’s output.
The inner function must not recursively parse this rule! Doing so will cause a runtime panic.
ⓘ
thread_local! {
static ACTION: Action<(), fn()> = Action::new(adversarial);
}
fn adversarial() {
ACTION.with(|a| { let _res = a.parse(""); });
}
adversarial();Implementations§
Trait Implementations§
Source§impl<'i, S: 'i + ?Sized, O, F: FnMut() -> O> Rule<'i, S> for Action<O, F>
impl<'i, S: 'i + ?Sized, O, F: FnMut() -> O> Rule<'i, S> for Action<O, F>
Source§fn parse_at<'cursor, 'this, 'index>(
&'this self,
_input: &'cursor mut &'i S,
_index: &'index mut usize,
) -> Result<Self::Output, ParseError>where
'i: 'this,
fn parse_at<'cursor, 'this, 'index>(
&'this self,
_input: &'cursor mut &'i S,
_index: &'index mut usize,
) -> Result<Self::Output, ParseError>where
'i: 'this,
Parses a rule at a given index with a given input. Read more
Source§fn parse<'this>(
&'this self,
input: &'input SliceType,
) -> Result<(&'input SliceType, Self::Output), ParseError>where
'input: 'this,
fn parse<'this>(
&'this self,
input: &'input SliceType,
) -> Result<(&'input SliceType, Self::Output), ParseError>where
'input: 'this,
Parses a given rule at the start of some input. Read more
Source§fn map_parsed<Output, F: Fn(Self::Output) -> Output>(
self,
function: F,
) -> Map<'input, SliceType, Self, Output, F>where
Self: Sized,
fn map_parsed<Output, F: Fn(Self::Output) -> Output>(
self,
function: F,
) -> Map<'input, SliceType, Self, Output, F>where
Self: Sized,
Maps an infallible function onto the output of a rule.
Source§fn try_map_parsed<Output, E: Error + 'static, F: Fn(Self::Output) -> Result<Output, E>>(
self,
function: F,
) -> TryMap<'input, SliceType, Self, Output, E, F>where
Self: Sized,
fn try_map_parsed<Output, E: Error + 'static, F: Fn(Self::Output) -> Result<Output, E>>(
self,
function: F,
) -> TryMap<'input, SliceType, Self, Output, E, F>where
Self: Sized,
Maps a function onto the output of a rule, passing the error back if it fails.
Source§fn repeat_for<const REPS: usize>(
self,
) -> RepeatFor<'input, SliceType, Self, REPS>where
Self: Sized,
fn repeat_for<const REPS: usize>(
self,
) -> RepeatFor<'input, SliceType, Self, REPS>where
Self: Sized,
Repeats this rule a known amount of times.
Source§fn repeat(self, reps: usize) -> Repeat<'input, SliceType, Self>where
Self: Sized,
fn repeat(self, reps: usize) -> Repeat<'input, SliceType, Self>where
Self: Sized,
Repeats this rule a set amount of times.
Source§fn take(self, at_most: usize) -> Many<'input, SliceType, Self>where
Self: Sized,
fn take(self, at_most: usize) -> Many<'input, SliceType, Self>where
Self: Sized,
Repeats this rule at most a set amount of times.
Source§fn hoard(self) -> Many<'input, SliceType, Self>where
Self: Sized,
fn hoard(self) -> Many<'input, SliceType, Self>where
Self: Sized,
Repeats this rule forever until it fails.
Source§fn take_sep<R: Rule<'input, SliceType>>(
self,
separator: R,
at_most: usize,
) -> Separated<'input, SliceType, Self, R>where
Self: Sized,
fn take_sep<R: Rule<'input, SliceType>>(
self,
separator: R,
at_most: usize,
) -> Separated<'input, SliceType, Self, R>where
Self: Sized,
Repeats this rule at most a set amount of times, separated by another rule.
Source§fn hoard_sep<R: Rule<'input, SliceType>>(
self,
separator: R,
) -> Separated<'input, SliceType, Self, R>where
Self: Sized,
fn hoard_sep<R: Rule<'input, SliceType>>(
self,
separator: R,
) -> Separated<'input, SliceType, Self, R>where
Self: Sized,
Repeats this rule forever until it fails, separated by another rule.
Source§fn consume_all(self) -> Consume<'input, SliceType, Self>
fn consume_all(self) -> Consume<'input, SliceType, Self>
Repeats this rule until the end of input, failing if it ever does.
Auto Trait Implementations§
impl<O, F> !Freeze for Action<O, F>
impl<O, F> !RefUnwindSafe for Action<O, F>
impl<O, F> Send for Action<O, F>where
F: Send,
impl<O, F> !Sync for Action<O, F>
impl<O, F> Unpin for Action<O, F>where
F: Unpin,
impl<O, F> UnwindSafe for Action<O, F>where
F: UnwindSafe,
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