Enum fungi_lang::bitype::Dir
source · Expand description
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
sourceimpl<R: PartialEq + HasClas + DerRule> PartialEq<Dir<R>> for Dir<R>where
R::Clas: PartialEq,
impl<R: PartialEq + HasClas + DerRule> PartialEq<Dir<R>> for Dir<R>where
R::Clas: PartialEq,
impl<R: Eq + HasClas + DerRule> Eq for Dir<R>where
R::Clas: Eq,
impl<R: HasClas + DerRule> StructuralEq for Dir<R>
impl<R: HasClas + DerRule> StructuralPartialEq for Dir<R>
Auto Trait Implementations
impl<R> RefUnwindSafe for Dir<R>where
<R as HasClas>::Clas: RefUnwindSafe,
impl<R> Send for Dir<R>where
<R as HasClas>::Clas: Send,
impl<R> Sync for Dir<R>where
<R as HasClas>::Clas: Sync,
impl<R> Unpin for Dir<R>where
<R as HasClas>::Clas: Unpin,
impl<R> UnwindSafe for Dir<R>where
<R as HasClas>::Clas: UnwindSafe,
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