Enum fungi_lang::bitype::PrimAppRule

pub enum PrimAppRule {
    NatEq(ValDer, ValDer),
    NatLt(ValDer, ValDer),
    NatLte(ValDer, ValDer),
    NatPlus(ValDer, ValDer),
    NameBin(ValDer, ValDer),
    RefThunk(ValDer),
}

Primitive application typing rule

Variants

NatEq(ValDer, ValDer)NatLt(ValDer, ValDer)NatLte(ValDer, ValDer)NatPlus(ValDer, ValDer)NameBin(ValDer, ValDer)RefThunk(ValDer)

Trait Implementations

impl DerRule for PrimAppRule

fn term_desc() -> &'static str

short term family description

fn short(&self) -> &str

short name for rule

impl Clone for PrimAppRule

fn clone(&self) -> PrimAppRule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PrimAppRule

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

Formats the value using the given formatter.

impl Eq for PrimAppRule

impl PartialEq for PrimAppRule

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Hash for PrimAppRule

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].