Struct CoreShapeProfile 

pub struct CoreShapeProfile {

    pub exprs: usize,
    pub applies: usize,
    pub apply_complete: usize,
    pub apply_partial: usize,
    pub apply_missing_evidence: usize,
    pub apply_missing_context: usize,
    pub apply_missing_principal: usize,
    pub apply_with_principal: usize,
    pub apply_with_substitutions: usize,
    pub apply_with_substitution_candidates: usize,
    pub apply_with_principal_elaboration: usize,
    pub apply_principal_elaboration_complete: usize,
    pub apply_principal_elaboration_incomplete: usize,
}

Fields

exprs: usize

applies: usize

apply_complete: usize

apply_partial: usize

apply_missing_evidence: usize

apply_missing_context: usize

apply_missing_principal: usize

apply_with_principal: usize

apply_with_substitutions: usize

apply_with_substitution_candidates: usize

apply_with_principal_elaboration: usize

apply_principal_elaboration_complete: usize

apply_principal_elaboration_incomplete: usize

Trait Implementations

impl Clone for CoreShapeProfile

fn clone(&self) -> CoreShapeProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoreShapeProfile

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

Formats the value using the given formatter.

impl Default for CoreShapeProfile

fn default() -> CoreShapeProfile

Returns the “default value” for a type.

impl PartialEq for CoreShapeProfile

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CoreShapeProfile

impl Eq for CoreShapeProfile

impl StructuralPartialEq for CoreShapeProfile