pub struct WhereFn {
pub operator: PlainSymbol,
pub args: Vec<FnArg>,
pub binding: Binding,
}Fields§
§operator: PlainSymbol§args: Vec<FnArg>§binding: BindingTrait Implementations§
Source§impl ContainsVariables for WhereFn
impl ContainsVariables for WhereFn
fn accumulate_mentioned_variables(&self, acc: &mut BTreeSet<Variable>)
fn collect_mentioned_variables(&self) -> BTreeSet<Variable>
impl Eq for WhereFn
impl StructuralPartialEq for WhereFn
Auto Trait Implementations§
impl !Send for WhereFn
impl !Sync for WhereFn
impl Freeze for WhereFn
impl RefUnwindSafe for WhereFn
impl Unpin for WhereFn
impl UnsafeUnpin for WhereFn
impl UnwindSafe for WhereFn
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<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