Struct chalk_recursive::Cache[−][src]

pub struct Cache<K, V> where
    K: Hash + Eq + Debug,
    V: Debug + Clone,  { /* fields omitted */ }

Expand description

The “cache” stores results for goals that we have completely solved. Things are added to the cache when we have completely processed their result, and it can be shared amongst many solvers.

Implementations

[src]

impl<K, V> Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

[src]

pub fn new() -> Self

[src]

pub fn insert(&self, goal: K, result: V)

Record a cache result.

[src]

pub fn get(&self, goal: &K) -> Option<V>

Record a cache result.

Trait Implementations

[src]

impl<K, V> Clone for Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

[src]

fn clone(&self) -> Self

Returns a copy of the value. Read more

1.0.0[src]

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

[src]

impl<K, V> Default for Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

[src]

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations

impl<K, V> RefUnwindSafe for Cache<K, V>

impl<K, V> Send for Cache<K, V> where
K: Send,
V: Send,

impl<K, V> Sync for Cache<K, V> where
K: Send,
V: Send,

impl<K, V> Unpin for Cache<K, V>

impl<K, V> UnwindSafe for Cache<K, V>

Blanket Implementations

[src]

impl<T> Any for T where
T: 'static + ?Sized,

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

impl<T> Borrow<T> for T where
T: ?Sized,

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

impl<T> BorrowMut<T> for T where
T: ?Sized,

[src]

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

[src]

impl<T> Cast for T

[src]

fn cast(self, interner: ::Interner) -> U where
Self: CastTo,
U: HasInterner,

Cast a value to type U using CastTo.

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

impl<T> Instrument for T

[src]

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

[src]

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

[src]

impl<T, U> Into for T where
U: From<T>,

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

[src]

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

[src]

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

[src]

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

[src]

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

[src]

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

[src]

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

[src]

impl<T> WithSubscriber for T

[src]

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

[src]

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Struct chalk_recursive::Cache[−][src]

Implementations

impl<K, V> Cache<K, V> where K: Hash + Eq + Debug, V: Debug + Clone,

pub fn new() -> Self

pub fn insert(&self, goal: K, result: V)

pub fn get(&self, goal: &K) -> Option<V>

Trait Implementations

impl<K, V> Clone for Cache<K, V> where K: Hash + Eq + Debug, V: Debug + Clone,

fn clone(&self) -> Self

fn clone_from(&mut self, source: &Self)

impl<K, V> Default for Cache<K, V> where K: Hash + Eq + Debug, V: Debug + Clone,

fn default() -> Self

Auto Trait Implementations

impl<K, V> RefUnwindSafe for Cache<K, V>

impl<K, V> Send for Cache<K, V> where K: Send, V: Send,

impl<K, V> Sync for Cache<K, V> where K: Send, V: Send,

impl<K, V> Unpin for Cache<K, V>

impl<K, V> UnwindSafe for Cache<K, V>

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> Cast for T

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where Self: CastTo<U>, U: HasInterner,

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<K, V> Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

impl<K, V> Clone for Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

impl<K, V> Default for Cache<K, V> where
K: Hash + Eq + Debug,
V: Debug + Clone,

impl<K, V> Send for Cache<K, V> where
K: Send,
V: Send,

impl<K, V> Sync for Cache<K, V> where
K: Send,
V: Send,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,