Struct ferrite_session::internal::public::functional::type_app::Const [−][src]
pub struct Const<X>(_);
Trait Implementations
impl<X> ElimField<Const<X>, X> for ElimConst where
X: Send + 'static,
[src]
impl<X> ElimField<Const<X>, X> for ElimConst where
X: Send + 'static,
[src]fn elim_field<A>(self, x: App<Const<X>, A>) -> X where
A: 'static,
[src]
A: 'static,
impl<X> TyCon for Const<X> where
X: 'static,
[src]
X: 'static,
Auto Trait Implementations
impl<X> RefUnwindSafe for Const<X> where
X: RefUnwindSafe,
X: RefUnwindSafe,
impl<X> Send for Const<X> where
X: Send,
X: Send,
impl<X> Sync for Const<X> where
X: Sync,
X: Sync,
impl<X> Unpin for Const<X> where
X: Unpin,
X: Unpin,
impl<X> UnwindSafe for Const<X> where
X: UnwindSafe,
X: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
impl<F, A, X> HasRecApp<F, A> for X where
X: HasRecApp<F, A>,
[src]
X: HasRecApp<F, A>,