Trait formality_core::UpcastFrom

pub trait UpcastFrom<T: Clone> {
    // Required method
    fn upcast_from(term: T) -> Self;
}

Our version of From. One twist: it is implemented for &T for all T. This is the trait you implement.

Required Methods

fn upcast_from(term: T) -> Self

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl UpcastFrom<&str> for String

fn upcast_from(term: &str) -> Self

impl UpcastFrom<u32> for u32

fn upcast_from(v: u32) -> u32

impl UpcastFrom<usize> for usize

fn upcast_from(v: usize) -> usize

impl UpcastFrom<String> for String

fn upcast_from(v: String) -> String

impl<A, As, B, Bs, Z> UpcastFrom<(A, B)> for Vec<Z>

where A: IntoIterator<Item = As> + Clone, As: Upcast<Z>, B: IntoIterator<Item = Bs> + Clone, Bs: Upcast<Z>,

fn upcast_from(term: (A, B)) -> Self

impl<A, B, A1, B1> UpcastFrom<(A1, B1)> for (A, B)

where A1: Upcast<A>, B1: Upcast<B>,

fn upcast_from(term: (A1, B1)) -> Self

impl<A, B, C, A1, B1, C1> UpcastFrom<(A1, B1, C1)> for (A, B, C)

where A1: Upcast<A>, B1: Upcast<B>, C1: Upcast<C>,

fn upcast_from(term: (A1, B1, C1)) -> Self

impl<A, B, C, Z> UpcastFrom<(A, B, C)> for Vec<Z>

where A: Upcast<Z>, B: Upcast<Z>, C: Upcast<Z>,

fn upcast_from(term: (A, B, C)) -> Self

impl<T, U> UpcastFrom<&[T]> for Vec<U>

where T: Upcast<U> + Clone,

fn upcast_from(term: &[T]) -> Self

impl<T, U> UpcastFrom<Option<T>> for Option<U>

where T: Upcast<U> + Clone,

fn upcast_from(term: Option<T>) -> Self

impl<T, U> UpcastFrom<Arc<T>> for Arc<U>

where T: Upcast<U> + Clone,

fn upcast_from(term: Arc<T>) -> Self

impl<T, U> UpcastFrom<Vec<T>> for Vec<U>

where T: Upcast<U> + Clone,

fn upcast_from(term: Vec<T>) -> Self

Implementors

impl<A, B, C, D, T> UpcastFrom<(A, B, C, D)> for Set<T>

where A: Upcast<Set<T>>, B: Upcast<Set<T>>, C: Upcast<Set<T>>, D: Upcast<Set<T>>, T: Ord + Clone,

impl<A, B, C, T> UpcastFrom<(A, B, C)> for Set<T>

where A: Upcast<Set<T>>, B: Upcast<Set<T>>, C: Upcast<Set<T>>, T: Ord + Clone,

impl<A, B, T> UpcastFrom<(A, B)> for Set<T>

where A: Upcast<Set<T>>, B: Upcast<Set<T>>, T: Ord + Clone,

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

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

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

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

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

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

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

impl<L: Language, A, B> UpcastFrom<(A, B)> for CoreSubstitution<L>

where A: Upcast<CoreVariable<L>>, B: Upcast<CoreParameter<L>>,

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

where T: Clone + Upcast<U>, U: Clone,

impl<T> UpcastFrom<()> for T

where T: Default,

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

where T: Upcast<U> + Clone,

impl<T, U> UpcastFrom<BTreeSet<T>> for Set<U>

where T: Upcast<U> + Ord + Clone, U: Ord,