Struct PrettyCx 

pub struct PrettyCx<'genv, 'tcx> {

    pub cx: GenvOrTcx<'genv, 'tcx>,
    pub kvar_args: KVarArgs,
    pub fully_qualified_paths: bool,
    pub simplify_exprs: bool,
    pub tags: bool,
    pub bindings_chain: bool,
    pub preds_chain: bool,
    pub full_spans: bool,
    pub hide_uninit: bool,
    pub hide_refinements: bool,
    pub hide_regions: bool,
    pub hide_sorts: bool,
    pub bvar_env: BoundVarEnv,
    pub earlyparam_env: RefCell<Option<FxHashSet<EarlyReftParam>>>,
}

Fields

cx: GenvOrTcx<'genv, 'tcx>

kvar_args: KVarArgs

fully_qualified_paths: bool

simplify_exprs: bool

tags: bool

bindings_chain: bool

preds_chain: bool

full_spans: bool

hide_uninit: bool

hide_refinements: bool

hide_regions: bool

hide_sorts: bool

bvar_env: BoundVarEnv

earlyparam_env: RefCell<Option<FxHashSet<EarlyReftParam>>>

Implementations

impl<'genv, 'tcx> PrettyCx<'genv, 'tcx>

pub fn default(cx: impl Into<GenvOrTcx<'genv, 'tcx>>) -> Self

pub fn tcx(&self) -> TyCtxt<'tcx>

pub fn genv(&self) -> Option<GlobalEnv<'genv, 'tcx>>

pub fn adt_sort_def_of(&self, def_id: DefId) -> Option<AdtSortDef>

pub fn merge(&mut self, opts: &Value)

pub fn with_bound_vars<R>( &self, vars: &[BoundVariableKind], f: impl FnOnce() -> R, ) -> R

pub fn with_bound_vars_removable<R1, R2>( &self, vars: &[BoundVariableKind], vars_to_remove: FxHashSet<BoundVar>, fn_root_layer_type: Option<FnRootLayerType>, fmt_body: impl FnOnce(&mut String) -> Result<R1, Error>, fmt_vars_with_body: impl FnOnce(R1, BoundVarLayer, String) -> Result<R2, Error>, ) -> Result<R2, Error>

pub fn fmt_bound_vars( &self, print_infer_mode: bool, left: &str, vars: &[BoundVariableKind], right: &str, f: &mut impl Write, ) -> Result

pub fn fmt_bound_reft( &self, debruijn: DebruijnIndex, breft: BoundReft, f: &mut Formatter<'_>, ) -> Result

pub fn with_early_params<R>(&self, f: impl FnOnce() -> R) -> R

pub fn kvar_args(self, kvar_args: KVarArgs) -> Self

pub fn fully_qualified_paths(self, b: bool) -> Self

pub fn hide_regions(self, b: bool) -> Self

pub fn hide_sorts(self, b: bool) -> Self

pub fn hide_refinements(self, b: bool) -> Self