Enum fungi_lang::bitype::Dir [−][src]
Bidirectional direction: Synthesis vs Checking
Checking direction has an associated system of rules, and
classifier for the check, e.g., the system of rules for values and
expressions check against a Type
or a CEffect
, respectively.
Variants
Synth
Check(R::Clas)
Trait Implementations
impl<R: Clone + HasClas + DerRule> Clone for Dir<R> where
R::Clas: Clone,
[src]
impl<R: Clone + HasClas + DerRule> Clone for Dir<R> where
R::Clas: Clone,
fn clone(&self) -> Dir<R>
[src]
fn clone(&self) -> Dir<R>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl<R: Debug + HasClas + DerRule> Debug for Dir<R> where
R::Clas: Debug,
[src]
impl<R: Debug + HasClas + DerRule> Debug for Dir<R> where
R::Clas: Debug,
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<R: Eq + HasClas + DerRule> Eq for Dir<R> where
R::Clas: Eq,
[src]
impl<R: Eq + HasClas + DerRule> Eq for Dir<R> where
R::Clas: Eq,
impl<R: PartialEq + HasClas + DerRule> PartialEq for Dir<R> where
R::Clas: PartialEq,
[src]
impl<R: PartialEq + HasClas + DerRule> PartialEq for Dir<R> where
R::Clas: PartialEq,
fn eq(&self, other: &Dir<R>) -> bool
[src]
fn eq(&self, other: &Dir<R>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Dir<R>) -> bool
[src]
fn ne(&self, other: &Dir<R>) -> bool
This method tests for !=
.
impl<R: Hash + HasClas + DerRule> Hash for Dir<R> where
R::Clas: Hash,
[src]
impl<R: Hash + HasClas + DerRule> Hash for Dir<R> where
R::Clas: Hash,