Trait formality_core::term::CoreTerm

pub trait CoreTerm<L: Language>: Clone + CoreFold<L> + CoreParse<L> + Ord + Eq + Hash + Debug + Upcast<Self> + DowncastFrom<Self> + 'static + Sized { }

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<L: Language> CoreTerm<L> for u32

impl<L: Language> CoreTerm<L> for ()

impl<L: Language> CoreTerm<L> for usize

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

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Option<T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Arc<T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Vec<T>

Implementors

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for CoreBinder<L, T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Set<T>