Struct LeanImportProfilerOptions 

pub struct LeanImportProfilerOptions {
    pub profiler: bool,
    pub trace_profiler: bool,
    pub trace_profiler_output: Option<String>,
}

Lean profiler toggles scoped to diagnostic profiling imports.

Fields

profiler: bool

trace_profiler: bool

trace_profiler_output: Option<String>

Implementations

impl LeanImportProfilerOptions

pub fn new() -> Self

pub fn profiler(self, enabled: bool) -> Self

pub fn trace_profiler(self, enabled: bool) -> Self

pub fn trace_profiler_output(self, path: impl Into<String>) -> Self

Trait Implementations

impl Clone for LeanImportProfilerOptions

fn clone(&self) -> LeanImportProfilerOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanImportProfilerOptions

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

Formats the value using the given formatter.

impl Default for LeanImportProfilerOptions

fn default() -> LeanImportProfilerOptions

Returns the “default value” for a type.

impl Eq for LeanImportProfilerOptions

impl PartialEq for LeanImportProfilerOptions

fn eq(&self, other: &LeanImportProfilerOptions) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LeanImportProfilerOptions