pub struct PossibleExpressions<'src, T> { /* private fields */ }Expand description
A struct which defines a HashMap of all types and expressions. The outer HashMap is for the return types of expressions and the inner HashMap is for their arguments. Then there is a vector of all possible lambda expressions with that output type and input arguments.
Implementations§
Trait Implementations§
Source§impl<'src, T: Clone> Clone for PossibleExpressions<'src, T>
impl<'src, T: Clone> Clone for PossibleExpressions<'src, T>
Source§fn clone(&self) -> PossibleExpressions<'src, T>
fn clone(&self) -> PossibleExpressions<'src, T>
Returns a duplicate 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<'src, T: Debug> Debug for PossibleExpressions<'src, T>
impl<'src, T: Debug> Debug for PossibleExpressions<'src, T>
Source§impl<'src, T> From<HashMap<LambdaType, HashMap<Vec<LambdaType>, Vec<LambdaExpr<'src, T>>, RandomState>, RandomState>> for PossibleExpressions<'src, T>
impl<'src, T> From<HashMap<LambdaType, HashMap<Vec<LambdaType>, Vec<LambdaExpr<'src, T>>, RandomState>, RandomState>> for PossibleExpressions<'src, T>
Source§fn from(
value: HashMap<LambdaType, HashMap<Vec<LambdaType>, Vec<LambdaExpr<'src, T>>>>,
) -> Self
fn from( value: HashMap<LambdaType, HashMap<Vec<LambdaType>, Vec<LambdaExpr<'src, T>>>>, ) -> Self
Converts to this type from the input type.
Source§impl<'src, T: PartialEq> PartialEq for PossibleExpressions<'src, T>
impl<'src, T: PartialEq> PartialEq for PossibleExpressions<'src, T>
Source§fn eq(&self, other: &PossibleExpressions<'src, T>) -> bool
fn eq(&self, other: &PossibleExpressions<'src, T>) -> bool
Tests for
self and other values to be equal, and is used by ==.impl<'src, T: Eq> Eq for PossibleExpressions<'src, T>
impl<'src, T> StructuralPartialEq for PossibleExpressions<'src, T>
Auto Trait Implementations§
impl<'src, T> Freeze for PossibleExpressions<'src, T>
impl<'src, T> RefUnwindSafe for PossibleExpressions<'src, T>where
T: RefUnwindSafe,
impl<'src, T> Send for PossibleExpressions<'src, T>where
T: Send,
impl<'src, T> Sync for PossibleExpressions<'src, T>where
T: Sync,
impl<'src, T> Unpin for PossibleExpressions<'src, T>where
T: Unpin,
impl<'src, T> UnwindSafe for PossibleExpressions<'src, T>where
T: UnwindSafe,
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,
§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.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<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
§impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
§type Iter<'a> = Once<&'a T>
where
T: 'a
type Iter<'a> = Once<&'a T> where T: 'a
An iterator over the items within this container, by reference.
§fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
Check whether an item is contained within this sequence.
§fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
Convert an item of the sequence into a [
MaybeRef].