From dd8e0322e87ad6447c5ec78d67ee2f51973eacd6 Mon Sep 17 00:00:00 2001 From: timofey Date: Fri, 28 Jul 2023 21:24:18 +0000 Subject: [PATCH] `rcore::modes::*` renaming --- src/rcore.rs | 4 ++-- src/rcore/modes.rs | 18 +++++++++--------- src/rstd/atomic/atomic_object.rs | 4 ++-- src/rstd/atomic/modes.rs | 8 ++++---- src/rstd/collections/stack.rs | 4 ++-- src/rstd/collections/tree.rs | 8 ++++---- src/rstd/inlining/static_pair.rs | 4 ++-- src/rstd/nullable.rs | 4 ++-- src/rstd/point.rs | 4 ++-- src/rstd/typeless.rs | 4 ++-- 10 files changed, 31 insertions(+), 31 deletions(-) diff --git a/src/rcore.rs b/src/rcore.rs index 1083b30..bb43b31 100644 --- a/src/rcore.rs +++ b/src/rcore.rs @@ -33,7 +33,7 @@ pub use self::hashing::{Hash, HASH_SIZE, HASH_ZEROS}; pub use self::inctx::InCtx; pub use self::inlining::{Inlining, InliningExt, InliningResultExt}; pub use self::modes::{ - FactoryProxy, FactoryWithMode, ModeFactory, RegularFactory, RegularFactoryMode, WithMode, + FactoryProxy, ParseMode, RegularFactory, RegularMode, WithMode, WithParseMode, }; pub use self::origin::{OFctr, Origin}; pub use self::point::Point; @@ -86,7 +86,7 @@ pub trait FactoryBase<'a, Ctx: Context<'a>>: 'a + Send + Sync + Clone { /// Trait representing deserialisation rules for [Mentionable]s. /// Crucial for [`crate::rstd::typeless`]. -pub trait Factory<'a, Ctx: Context<'a>>: FactoryBase<'a, Ctx> + ModeFactory { +pub trait Factory<'a, Ctx: Context<'a>>: FactoryBase<'a, Ctx> + ParseMode { /// See [`Deserializer`], [`Resolver`]. fn deserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self>; /// Called by finite stream parsers if there's any data left. diff --git a/src/rcore/modes.rs b/src/rcore/modes.rs index cfb2cee..9be318d 100644 --- a/src/rcore/modes.rs +++ b/src/rcore/modes.rs @@ -2,31 +2,31 @@ use std::marker::PhantomData; use super::*; -pub trait ModeFactory { +pub trait ParseMode { type Mode: ?Sized; } -pub struct RegularFactoryMode; +pub struct RegularMode; pub trait RegularFactory<'a, Ctx: Context<'a>>: - FactoryBase<'a, Ctx> + ModeFactory + FactoryBase<'a, Ctx> + ParseMode { fn rdeserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self>; fn rextend(&self, mentionable: Self::Mtbl, tail: &[u8]) -> ParseResult<'a, Ctx, Self>; } -pub trait FactoryWithMode: ModeFactory { +pub trait WithParseMode: ParseMode { type WithMode: ?Sized; } pub struct WithMode(PhantomData, F); -impl FactoryWithMode for F { - type WithMode = WithMode::Mode>; +impl WithParseMode for F { + type WithMode = WithMode::Mode>; } pub trait FactoryProxy<'a, Ctx: Context<'a>> { - type F: FactoryBase<'a, Ctx> + ModeFactory; + type F: FactoryBase<'a, Ctx> + ParseMode; fn pdeserialize(f: &Self::F, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self::F>; fn pextend( @@ -37,7 +37,7 @@ pub trait FactoryProxy<'a, Ctx: Context<'a>> { } impl<'a, Ctx: Context<'a>, F: RegularFactory<'a, Ctx>> FactoryProxy<'a, Ctx> - for WithMode + for WithMode { type F = F; @@ -54,7 +54,7 @@ impl<'a, Ctx: Context<'a>, F: RegularFactory<'a, Ctx>> FactoryProxy<'a, Ctx> } } -impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx> + FactoryWithMode> Factory<'a, Ctx> for F +impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx> + WithParseMode> Factory<'a, Ctx> for F where F::WithMode: FactoryProxy<'a, Ctx, F = Self>, { diff --git a/src/rstd/atomic/atomic_object.rs b/src/rstd/atomic/atomic_object.rs index f9eef31..c45a579 100644 --- a/src/rstd/atomic/atomic_object.rs +++ b/src/rstd/atomic/atomic_object.rs @@ -73,8 +73,8 @@ impl<'a, Ctx: Context<'a>, A: Atomic> FactoryBase<'a, Ctx> for AtomicFactory type ParseError = A::AParseError; } -impl ModeFactory for AtomicFactory { - type Mode = RegularFactoryMode; +impl ParseMode for AtomicFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, A: Atomic> RegularFactory<'a, Ctx> for AtomicFactory { diff --git a/src/rstd/atomic/modes.rs b/src/rstd/atomic/modes.rs index 3c5f07d..f58d6ba 100644 --- a/src/rstd/atomic/modes.rs +++ b/src/rstd/atomic/modes.rs @@ -1,18 +1,18 @@ use super::*; -pub trait RegularAtomic: AtomicBase + ModeFactory { +pub trait RegularAtomic: AtomicBase + ParseMode { fn ra_deserialize(inlining: impl Inlining) -> AParseResult; fn ra_extend(self, tail: &[u8]) -> AParseResult; } pub trait AtomicProxy { - type A: AtomicBase + ModeFactory; + type A: AtomicBase + ParseMode; fn pa_deserialize(inlining: impl Inlining) -> AParseResult; fn pa_extend(a: Self::A, tail: &[u8]) -> AParseResult; } -impl AtomicProxy for WithMode { +impl AtomicProxy for WithMode { type A = A; fn pa_deserialize(inlining: impl Inlining) -> AParseResult { @@ -24,7 +24,7 @@ impl AtomicProxy for WithMode { } } -impl Atomic for A +impl Atomic for A where A::WithMode: AtomicProxy, { diff --git a/src/rstd/collections/stack.rs b/src/rstd/collections/stack.rs index a68d2c5..add0670 100644 --- a/src/rstd/collections/stack.rs +++ b/src/rstd/collections/stack.rs @@ -93,8 +93,8 @@ impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> FactoryBase<'a, Ctx> for Sta type ParseError = StackParseError>; } -impl ModeFactory for StackNodeFactory { - type Mode = RegularFactoryMode; +impl ParseMode for StackNodeFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, F: Factory<'a, Ctx>> RegularFactory<'a, Ctx> for StackNodeFactory { diff --git a/src/rstd/collections/tree.rs b/src/rstd/collections/tree.rs index 7579238..618e50a 100644 --- a/src/rstd/collections/tree.rs +++ b/src/rstd/collections/tree.rs @@ -137,8 +137,8 @@ impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> FactoryBase<'a, Ctx> for Nod type ParseError = TreeParseError; } -impl ModeFactory for NodeFactory { - type Mode = RegularFactoryMode; +impl ParseMode for NodeFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, F: Factory<'a, Ctx>> RegularFactory<'a, Ctx> for NodeFactory { @@ -165,8 +165,8 @@ impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> FactoryBase<'a, Ctx> for Tre type ParseError = TreeParseError; } -impl ModeFactory for TreeFactory { - type Mode = RegularFactoryMode; +impl ParseMode for TreeFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> RegularFactory<'a, Ctx> for TreeFactory { diff --git a/src/rstd/inlining/static_pair.rs b/src/rstd/inlining/static_pair.rs index 65a15c6..cf89c63 100644 --- a/src/rstd/inlining/static_pair.rs +++ b/src/rstd/inlining/static_pair.rs @@ -132,8 +132,8 @@ impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> FactoryBase<'a, Ctx> type ParseError = SP::ParseError; } -impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> ModeFactory for StaticPairFactory<'a, Ctx, SP> { - type Mode = RegularFactoryMode; +impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> ParseMode for StaticPairFactory<'a, Ctx, SP> { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> RegularFactory<'a, Ctx> diff --git a/src/rstd/nullable.rs b/src/rstd/nullable.rs index 4c8b01a..438a614 100644 --- a/src/rstd/nullable.rs +++ b/src/rstd/nullable.rs @@ -56,8 +56,8 @@ impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> FactoryBase<'a, Ctx> for Nul type ParseError = PointParseError; } -impl ModeFactory for NullableFactory { - type Mode = RegularFactoryMode; +impl ParseMode for NullableFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> RegularFactory<'a, Ctx> for NullableFactory { diff --git a/src/rstd/point.rs b/src/rstd/point.rs index e80a683..524805d 100644 --- a/src/rstd/point.rs +++ b/src/rstd/point.rs @@ -75,8 +75,8 @@ impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> FactoryBase<'a, Ctx> for Poi type ParseError = PointParseError; } -impl ModeFactory for PointFactory { - type Mode = RegularFactoryMode; +impl ParseMode for PointFactory { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx>> RegularFactory<'a, Ctx> for PointFactory { diff --git a/src/rstd/typeless.rs b/src/rstd/typeless.rs index d46845f..72a163e 100644 --- a/src/rstd/typeless.rs +++ b/src/rstd/typeless.rs @@ -93,8 +93,8 @@ impl<'a, Ctx: Context<'a>> FactoryBase<'a, Ctx> for TypelessFactory<'a, Ctx> { type ParseError = TypelessError<'a>; } -impl<'a, Ctx: Context<'a>> ModeFactory for TypelessFactory<'a, Ctx> { - type Mode = RegularFactoryMode; +impl<'a, Ctx: Context<'a>> ParseMode for TypelessFactory<'a, Ctx> { + type Mode = RegularMode; } impl<'a, Ctx: Context<'a>> RegularFactory<'a, Ctx> for TypelessFactory<'a, Ctx> {