Trait DowncastTo

pub trait DowncastTo<T>: Sized {
    // Required method
    fn downcast_to(&self) -> Option<T>;
}

Our version of “try-into”. A “downcast” casts from a more general type (e.g., any Parameter) to a more specific type (e.g., a type).

This is the trait that you prefer to implement, but use DowncastFrom in where-clauses.

Required Methods

fn downcast_to(&self) -> Option<T>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl DowncastTo<u32> for u32

fn downcast_to(&self) -> Option<u32>

impl DowncastTo<()> for ()

fn downcast_to(&self) -> Option<()>

impl DowncastTo<usize> for usize

fn downcast_to(&self) -> Option<usize>

impl DowncastTo<String> for String

fn downcast_to(&self) -> Option<String>

impl<A, B> DowncastTo<Vec<B>> for Vec<A>

where B: DowncastFrom<A>,

fn downcast_to(&self) -> Option<Vec<B>>

impl<A, T> DowncastTo<(A, Vec<T>)> for Vec<T>

where A: DowncastFrom<T>, T: Ord + Clone,

fn downcast_to(&self) -> Option<(A, Vec<T>)>

impl<T> DowncastTo<()> for Vec<T>

fn downcast_to(&self) -> Option<()>

impl<T, U> DowncastTo<T> for &U

where T: DowncastFrom<U> + Clone,

fn downcast_to(&self) -> Option<T>

Implementors

impl<A, T> DowncastTo<(A, BTreeSet<T>)> for Set<T>

where A: DowncastFrom<T>, T: Ord + Clone,

impl<L: Language> DowncastTo<CoreVariable<L>> for CoreVariable<L>

impl<L: Language> DowncastTo<CoreBoundVar<L>> for CoreVariable<L>

impl<L: Language> DowncastTo<CoreBoundVar<L>> for CoreBoundVar<L>

impl<L: Language> DowncastTo<CoreExistentialVar<L>> for CoreVariable<L>

impl<L: Language> DowncastTo<CoreExistentialVar<L>> for CoreExistentialVar<L>

impl<L: Language> DowncastTo<CoreUniversalVar<L>> for CoreVariable<L>

impl<L: Language> DowncastTo<CoreUniversalVar<L>> for CoreUniversalVar<L>

impl<L: Language, T, U> DowncastTo<CoreBinder<L, T>> for CoreBinder<L, U>

where T: DowncastFrom<U>,

impl<T> DowncastTo<()> for Set<T>