Enum fungi_lang::bitype::Dir
[−]
[src]
pub enum Dir<R: HasClas + DerRule> { Synth, Check(R::Clas), }
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]
R::Clas: Clone,
fn clone(&self) -> Dir<R>
[src]
Returns a copy of the value. Read more
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]
R::Clas: Debug,
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl<R: Eq + HasClas + DerRule> Eq for Dir<R> where
R::Clas: Eq,
[src]
R::Clas: Eq,
impl<R: PartialEq + HasClas + DerRule> PartialEq for Dir<R> where
R::Clas: PartialEq,
[src]
R::Clas: PartialEq,
fn eq(&self, __arg_0: &Dir<R>) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Dir<R>) -> bool
[src]
This method tests for !=
.
impl<R: Hash + HasClas + DerRule> Hash for Dir<R> where
R::Clas: Hash,
[src]
R::Clas: Hash,