Trait identity::HasParam

pub trait HasParam<OldParam: ?Sized, NewParam: ?Sized> {
    type SubstParam: ?Sized + HasParam<NewParam, OldParam, SubstParam=Self>;
    fn conv_under<Ev: Identity<OldParam, NewParam>>(self, ev: &Ev) -> Self::SubstParam where Self: Sized, Self::SubstParam: Sized;
}

Associated Types

type SubstParam: ?Sized + HasParam<NewParam, OldParam, SubstParam=Self>

Required Methods

fn conv_under<Ev: Identity<OldParam, NewParam>>(self, ev: &Ev) -> Self::SubstParam where Self: Sized, Self::SubstParam: Sized

Implementors

• impl<'a, OldParam: ?Sized + 'a, NewParam: ?Sized + 'a> HasParam<OldParam, NewParam> for &'a OldParam
• impl<'a, OldParam: ?Sized + 'a, NewParam: ?Sized + 'a> HasParam<OldParam, NewParam> for &'a mut OldParam
• impl<OldParam: ?Sized, NewParam: ?Sized> HasParam<OldParam, NewParam> for Box<OldParam>