struct BaseSpanner {
espan: ESpan,
}Fields§
§espan: ESpanImplementations§
Trait Implementations§
Source§impl TypeFolder for BaseSpanner
impl TypeFolder for BaseSpanner
fn fold_expr(&mut self, expr: &Expr) -> Expr
fn fold_binder<T: TypeFoldable>(&mut self, t: &Binder<T>) -> Binder<T>
fn fold_sort(&mut self, sort: &Sort) -> Sort
fn fold_ty(&mut self, ty: &Ty) -> Ty
fn fold_bty(&mut self, bty: &BaseTy) -> BaseTy
fn fold_subset_ty(&mut self, constr: &SubsetTy) -> SubsetTy
fn fold_region(&mut self, re: &Region) -> Region
fn fold_const(&mut self, c: &Const) -> Const
Auto Trait Implementations§
impl Freeze for BaseSpanner
impl RefUnwindSafe for BaseSpanner
impl Send for BaseSpanner
impl Sync for BaseSpanner
impl Unpin for BaseSpanner
impl UnwindSafe for BaseSpanner
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<F> FallibleTypeFolder for Fwhere
F: TypeFolder,
impl<F> FallibleTypeFolder for Fwhere
F: TypeFolder,
type Error = !
fn try_fold_binder<T>(
&mut self,
t: &Binder<T>,
) -> Result<Binder<T>, <F as FallibleTypeFolder>::Error>where
T: TypeFoldable,
fn try_fold_sort( &mut self, sort: &Sort, ) -> Result<Sort, <F as FallibleTypeFolder>::Error>
fn try_fold_ty( &mut self, ty: &Ty, ) -> Result<Ty, <F as FallibleTypeFolder>::Error>
fn try_fold_bty( &mut self, bty: &BaseTy, ) -> Result<BaseTy, <F as FallibleTypeFolder>::Error>
fn try_fold_subset_ty( &mut self, ty: &SubsetTy, ) -> Result<SubsetTy, <F as FallibleTypeFolder>::Error>
fn try_fold_region( &mut self, re: &Region, ) -> Result<Region, <F as FallibleTypeFolder>::Error>
fn try_fold_const( &mut self, c: &Const, ) -> Result<Const, <F as FallibleTypeFolder>::Error>
fn try_fold_expr( &mut self, expr: &Expr, ) -> Result<Expr, <F as FallibleTypeFolder>::Error>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more