Enum fungi_lang::bitype::PrimAppRule
source · pub enum PrimAppRule {
NatEq(ValDer, ValDer),
NatLt(ValDer, ValDer),
NatLte(ValDer, ValDer),
NatPlus(ValDer, ValDer),
NameBin(ValDer, ValDer),
RefThunk(ValDer),
}
Expand description
Primitive application typing rule
Variants
NatEq(ValDer, ValDer)
NatLt(ValDer, ValDer)
NatLte(ValDer, ValDer)
NatPlus(ValDer, ValDer)
NameBin(ValDer, ValDer)
RefThunk(ValDer)
Trait Implementations
sourceimpl Clone for PrimAppRule
impl Clone for PrimAppRule
sourcefn clone(&self) -> PrimAppRule
fn clone(&self) -> PrimAppRule
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for PrimAppRule
impl Debug for PrimAppRule
sourceimpl DerRule for PrimAppRule
impl DerRule for PrimAppRule
sourceimpl Hash for PrimAppRule
impl Hash for PrimAppRule
sourceimpl PartialEq<PrimAppRule> for PrimAppRule
impl PartialEq<PrimAppRule> for PrimAppRule
sourcefn eq(&self, other: &PrimAppRule) -> bool
fn eq(&self, other: &PrimAppRule) -> bool
sourceimpl Serialize for PrimAppRule
impl Serialize for PrimAppRule
impl Eq for PrimAppRule
impl StructuralEq for PrimAppRule
impl StructuralPartialEq for PrimAppRule
Auto Trait Implementations
impl !RefUnwindSafe for PrimAppRule
impl !Send for PrimAppRule
impl !Sync for PrimAppRule
impl Unpin for PrimAppRule
impl !UnwindSafe for PrimAppRule
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more