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

move WithMode to mode

Browse Source
This commit is contained in:
AF 2023-07-30 19:04:05 +00:00
parent f07f0f3607
commit 5bc65753dd
3 changed files with 26 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/mode.rs
View File

@ -1,3 +1,5 @@
use std::marker::PhantomData;
/// See [`ModeResult`]. /// See [`ModeResult`].
pub type ParseSuccess<M, A, I> = <M as Mode>::ParseSuccess<A, I>; pub type ParseSuccess<M, A, I> = <M as Mode>::ParseSuccess<A, I>;
@ -200,3 +202,26 @@ pub trait ImplMode {
/// Same as [`ParseMode::Mode`] /// Same as [`ParseMode::Mode`]
type Mode: ?Sized + Mode; type Mode: ?Sized + Mode;
} }
/// Used with [`WithMode`] for linking [`ImplMode`] to [`FactoryParse`] and [`Atomic`].
///
/// [`FactoryParse`]: crate::rcore::FactoryParse
/// [`Atomic`]: crate::rstd::atomic::Atomic
pub trait WithParseMode: ImplMode {
/// [`WithMode`] implementing [`FactoryModeProxy`] or [`AtomicModeProxy`].
///
/// [`FactoryModeProxy`]: crate::rcore::FactoryModeProxy
/// [`AtomicModeProxy`]: crate::rstd::atomic::AtomicModeProxy
type WithMode: ?Sized;
}
impl<T: ?Sized + ImplMode> ParseMode for T {
type Mode = <Self as ImplMode>::Mode;
}
impl<T: ?Sized + ImplMode> WithParseMode for T {
type WithMode = WithMode<Self, <Self as ParseMode>::Mode>;
}
/// Used as [`WithParseMode::WithMode`].
pub struct WithMode<T: ?Sized, M: ?Sized>(PhantomData<M>, T);

2
src/rcore.rs
View File

@ -35,7 +35,7 @@ pub use self::inctx::InCtx;
pub use self::inlining::{Inlining, InliningExt, InliningResultExt}; pub use self::inlining::{Inlining, InliningExt, InliningResultExt};
pub use self::modes::{ pub use self::modes::{
CRegularFactory, ExtensionResultM, ExtensionSourceM, FactoryModeParse, FactoryModeProxy, CRegularFactory, ExtensionResultM, ExtensionSourceM, FactoryModeParse, FactoryModeProxy,
ModeResultM, RegularFactory, RegularMode, WithMode, WithParseMode, ModeResultM, RegularFactory, RegularMode,
}; };
pub use self::origin::{OFctr, Origin}; pub use self::origin::{OFctr, Origin};
pub use self::point::Point; pub use self::point::Point;

23
src/rcore/modes.rs
View File

@ -1,28 +1,5 @@
use std::marker::PhantomData;
use super::*; use super::*;
/// Used with [`WithMode`] for linking [`ImplMode`] to [`FactoryParse`] and [`Atomic`].
///
/// [`Atomic`]: crate::rstd::atomic::Atomic
pub trait WithParseMode: ImplMode {
/// [`WithMode`] implementing [`FactoryModeProxy`] or [`AtomicModeProxy`].
///
/// [`AtomicModeProxy`]: crate::rstd::atomic::AtomicModeProxy
type WithMode: ?Sized;
}
impl<T: ?Sized + ImplMode> ParseMode for T {
type Mode = <Self as ImplMode>::Mode;
}
impl<T: ?Sized + ImplMode> WithParseMode for T {
type WithMode = WithMode<Self, <Self as ParseMode>::Mode>;
}
/// Used as [`WithParseMode::WithMode`].
pub struct WithMode<T: ?Sized, M: ?Sized>(PhantomData<M>, T);
impl<'a, Ctx: Context<'a>, F: FactoryModeParse<'a, Ctx>> FactoryParse<'a, Ctx> for F { impl<'a, Ctx: Context<'a>, F: FactoryModeParse<'a, Ctx>> FactoryParse<'a, Ctx> for F {
fn deserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self> { fn deserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self> {
self.mdeserialize(inctx).map(Self::seal) self.mdeserialize(inctx).map(Self::seal)