pub enum ContentNorm {
Raw,
Normalized(LiteralNorm),
ResolvedNormalized(LiteralNorm),
}Expand description
How content is folded before hashing.
Variants§
Raw
Kind tags plus raw lexeme text: Type-1 identity.
Normalized(LiteralNorm)
Scope-local alpha renaming with the given literal strategy: Type-2
identity (see normalize).
ResolvedNormalized(LiteralNorm)
Scope-local alpha renaming corrected by compiler name resolution.
The compiler answer is optional at each token: when it has no answer, the lexical fallback remains in force. This nevertheless has a distinct fingerprint domain because a semantic run must not share stored identity with a purely lexical one.
Implementations§
Trait Implementations§
Source§impl Clone for ContentNorm
impl Clone for ContentNorm
Source§fn clone(&self) -> ContentNorm
fn clone(&self) -> ContentNorm
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for ContentNorm
Source§impl Debug for ContentNorm
impl Debug for ContentNorm
impl Eq for ContentNorm
Source§impl PartialEq for ContentNorm
impl PartialEq for ContentNorm
impl StructuralPartialEq for ContentNorm
Auto Trait Implementations§
impl Freeze for ContentNorm
impl RefUnwindSafe for ContentNorm
impl Send for ContentNorm
impl Sync for ContentNorm
impl Unpin for ContentNorm
impl UnsafeUnpin for ContentNorm
impl UnwindSafe for ContentNorm
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.