pub struct ExistentialPredicate;
Expand description
A predicate of the form exists<T> where T: Trait
.
TODO: store something useful here
Trait Implementations§
source§impl Clone for ExistentialPredicate
impl Clone for ExistentialPredicate
source§fn clone(&self) -> ExistentialPredicate
fn clone(&self) -> ExistentialPredicate
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ExistentialPredicate
impl Debug for ExistentialPredicate
source§impl Default for ExistentialPredicate
impl Default for ExistentialPredicate
source§fn default() -> ExistentialPredicate
fn default() -> ExistentialPredicate
Returns the “default value” for a type. Read more
source§impl<'de> Deserialize<'de> for ExistentialPredicate
impl<'de> Deserialize<'de> for ExistentialPredicate
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl DriveMut for ExistentialPredicate
impl DriveMut for ExistentialPredicate
source§impl<C: AstFormatter> FmtWithCtx<C> for ExistentialPredicate
impl<C: AstFormatter> FmtWithCtx<C> for ExistentialPredicate
source§impl Hash for ExistentialPredicate
impl Hash for ExistentialPredicate
source§impl PartialEq for ExistentialPredicate
impl PartialEq for ExistentialPredicate
source§impl Serialize for ExistentialPredicate
impl Serialize for ExistentialPredicate
impl Eq for ExistentialPredicate
impl StructuralPartialEq for ExistentialPredicate
Auto Trait Implementations§
impl Freeze for ExistentialPredicate
impl RefUnwindSafe for ExistentialPredicate
impl Send for ExistentialPredicate
impl Sync for ExistentialPredicate
impl Unpin for ExistentialPredicate
impl UnwindSafe for ExistentialPredicate
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§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more