Struct EarlyBinder

pub struct EarlyBinder<T>(pub T);

Tuple Fields

0: T

Implementations

impl<T> EarlyBinder<T>

pub fn as_ref(&self) -> EarlyBinder<&T>

pub fn as_deref(&self) -> EarlyBinder<&T::Target>

where T: Deref,

pub fn map<U>(self, f: impl FnOnce(T) -> U) -> EarlyBinder<U>

pub fn try_map<U, E>( self, f: impl FnOnce(T) -> Result<U, E>, ) -> Result<EarlyBinder<U>, E>

pub fn skip_binder(self) -> T

pub fn skip_binder_ref(&self) -> &T

pub fn instantiate_identity(self) -> T

impl<T: TypeFoldable> EarlyBinder<T>

pub fn instantiate( self, tcx: TyCtxt<'_>, args: &[GenericArg], refine_args: &[Expr], ) -> T

impl EarlyBinder<GenericPredicates>

pub fn predicates(&self) -> EarlyBinder<List<Clause>>

impl EarlyBinder<FuncSort>

pub fn instantiate_func_sort<E>( self, sort_for_param: impl FnMut(ParamTy) -> Result<Sort, E>, ) -> Result<FuncSort, E>

See subst::GenericsSubstForSort

impl EarlyBinder<PolyVariant>

pub fn to_poly_fn_sig( &self, field_idx: Option<FieldIdx>, ) -> EarlyBinder<PolyFnSig>

Trait Implementations

impl<T: Clone> Clone for EarlyBinder<T>

fn clone(&self) -> EarlyBinder<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for EarlyBinder<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, __D: TyDecoder> Decodable<__D> for EarlyBinder<T>

where T: Decodable<__D>,

fn decode(__decoder: &mut __D) -> Self

impl<T, __E: TyEncoder> Encodable<__E> for EarlyBinder<T>

where T: Encodable<__E>,

fn encode(&self, __encoder: &mut __E)