Trait formality_core::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>

Object Safety

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>