PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

mode tables

Browse Source
This commit is contained in:
AF 2023-07-30 20:47:27 +00:00
parent 0ebcc4623c
commit 6e19ebcbbb
1 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/mode.rs
View File

@ -1,4 +1,16 @@
//! [`Mode`]-based parsing. //! [`Mode`]-based parsing.
//!
//! | [`Mode`] | [`Factory`] | [`Atomic`] |
//! |------------------|---------------------|--------------------|
//! | [`RegularMode`] | [`RegularFactory`] | [`RegularAtomic`] |
//! | [`InliningMode`] | [`InliningFactory`] | [`InliningAtomic`] |
//!
//! [`Factory`]: crate::rcore::Factory
//! [`Atomic`]: crate::atomic::Atomic
//! [`RegularFactory`]: crate::rcore::RegularFactory
//! [`RegularAtomic`]: crate::atomic::RegularAtomic
//! [`InliningFactory`]: crate::rcore::InliningFactory
//! [`InliningAtomic`]: crate::atomic::InliningAtomic
mod inlining; mod inlining;
mod regular; mod regular;
@ -32,13 +44,16 @@ pub type ModeResult<M, A, E, I> = Result<ParseSuccess<M, A, I>, E>;
/// Mode of parsing. /// Mode of parsing.
/// ///
/// | [`Mode`] | [`Mode::ParseSuccess<A, I>`] | [`Mode::ExtensionResult<A, E>`] | [`Mode::ExtensionSource<A>`] | /// | [`Mode`] | [`ParseSuccess<A, I>`] | [`ExtensionResult<A, E>`] | [`ExtensionSource<A>`] |
/// |------------------|------------------------------|---------------------------------|------------------------------| /// |------------------|------------------------|---------------------------|------------------------|
/// | [`RegularMode`] | `A` | [`Result<A, E>`] | `A` | /// | [`RegularMode`] | `A` | [`Result<A, E>`] | `A` |
/// | [`InliningMode`] | [`(A, I)`] | `E` | [`()`] | /// | [`InliningMode`] | [`(A, I)`] | `E` | [`()`] |
/// ///
/// [`(A, I)`]: tuple /// [`(A, I)`]: tuple
/// [`()`]: unit /// [`()`]: unit
/// [`ParseSuccess<A, I>`]: Mode::ParseSuccess
/// [`ExtensionResult<A, E>`]: Mode::ExtensionResult
/// [`ExtensionSource<A>`]: Mode::ExtensionSource
pub trait Mode { pub trait Mode {
/// Successful parsing, may contain the parser itself /// Successful parsing, may contain the parser itself
/// (`I`, usually [`Stream`]). /// (`I`, usually [`Stream`]).