Trait lambek::type_app::TypeAppGeneric

pub trait TypeAppGeneric: TypeCon + Sized {
    fn with_type_app<'a, X: 'a, R: 'a>(
        cont: impl TypeAppCont<'a, Self, X, R>
    ) -> R
    where
        Self: 'a;
}

Required methods

fn with_type_app<'a, X: 'a, R: 'a>(cont: impl TypeAppCont<'a, Self, X, R>) -> R where
    Self: 'a, 

Loading content...

Implementors

impl TypeAppGeneric for Borrow

fn with_type_app<'a, X: 'a, R: 'a>(cont: impl TypeAppCont<'a, Self, X, R>) -> R where
    Self: 'a, 

impl TypeAppGeneric for BorrowMut

fn with_type_app<'a, X: 'a, R: 'a>(cont: impl TypeAppCont<'a, Self, X, R>) -> R where
    Self: 'a, 

impl TypeAppGeneric for Identity

fn with_type_app<'a, X: 'a, R: 'a>(cont: impl TypeAppCont<'a, Self, X, R>) -> R where
    Self: 'a, 

impl TypeAppGeneric for VecF

fn with_type_app<'a, X: 'a, R: 'a>(cont: impl TypeAppCont<'a, Self, X, R>) -> R where
    Self: 'a, 

Loading content...