Enum BuiltinKind 

pub enum BuiltinKind {
    Type,
    Constructor,
    Recursor,
    Axiom,
    ArithOp,
    CmpOp,
    StringOp,
    TypeClass,
    Unknown,
}

Categorize a builtin name.

Variants

Type

A primitive type.

Constructor

A type constructor.

Recursor

A recursor/eliminator.

Axiom

A logical axiom.

ArithOp

An arithmetic operation.

CmpOp

A comparison operation.

StringOp

A string operation.

TypeClass

A typeclass declaration.

Unknown

Not a known builtin.

Implementations

impl BuiltinKind

pub fn description(&self) -> &'static str

Return a human-readable description.

Trait Implementations

impl Clone for BuiltinKind

fn clone(&self) -> BuiltinKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinKind

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

Formats the value using the given formatter.

impl PartialEq for BuiltinKind

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

impl StructuralPartialEq for BuiltinKind