Struct Attributes 

pub struct Attributes {
    pub reducible: bool,
    pub instance: bool,
    pub recursor: bool,
    pub custom: Vec<String>,
}

Attributes for declarations

Fields

reducible: bool

Is this definition reducible (can be unfolded)?

instance: bool

Is this an instance (for type class resolution)?

recursor: bool

Is this a recursor/eliminator?

custom: Vec<String>

Custom attributes

Implementations

impl Attributes

pub fn opaque() -> Self

Create attributes for an opaque definition

pub fn instance() -> Self

Create attributes for a type class instance

pub fn recursor() -> Self

Create attributes for a recursor

Trait Implementations

impl Clone for Attributes

fn clone(&self) -> Attributes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Attributes

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

Formats the value using the given formatter.

impl Default for Attributes

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Attributes

fn eq(&self, other: &Attributes) -> 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 Eq for Attributes

impl StructuralPartialEq for Attributes