SingularResolution for Point to rcore
All checks were successful
buildbot/cargo fmt (1.72) Build done.
buildbot/cargo clippy (1.65) Build done.
buildbot/cargo clippy (1.72) Build done.
buildbot/cargo doc (1.72) Build done.
buildbot/cargo test (1.65) Build done.

This commit is contained in:
AF 2023-09-03 20:23:52 +00:00
parent 4de6fec722
commit 9e9b281c6d
2 changed files with 12 additions and 12 deletions

View File

@ -5,3 +5,15 @@ pub trait SingularResolution<'a, Ctx: Context<'a>>: 'a + Send + Sync {
fn s_hash(&self) -> Hash; fn s_hash(&self) -> Hash;
} }
impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>> SingularResolution<'a, Ctx>
for Point<'a, Ctx, A>
{
fn singular(self: Arc<Self>) -> HashResolution<'a, Ctx> {
self.origin.ref_resolve_bytes()
}
fn s_hash(&self) -> Hash {
self.point
}
}

View File

@ -2,18 +2,6 @@ use crate::func::context::*;
use super::*; use super::*;
impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>> SingularResolution<'a, Ctx>
for Point<'a, Ctx, A>
{
fn singular(self: Arc<Self>) -> HashResolution<'a, Ctx> {
self.origin.ref_resolve_bytes()
}
fn s_hash(&self) -> Hash {
self.point
}
}
/// ```rust /// ```rust
/// # use radn::rcore::Context; /// # use radn::rcore::Context;
/// # use radn::rcore::Factory; /// # use radn::rcore::Factory;