Enum fungi_lang::ast::CEffect
source · pub enum CEffect {
Cons(CType, Effect),
ForallType(Var, Kind, CEffectRec),
ForallIdx(Var, Sort, Prop, CEffectRec),
NoParse(String),
}
Expand description
Computation effects
(TODO: Rename as Effectful Computations
, and put Effect
before
CType
in Cons case).
Variants
Cons(CType, Effect)
ForallType(Var, Kind, CEffectRec)
ForallIdx(Var, Sort, Prop, CEffectRec)
NoParse(String)
Trait Implementations
impl Eq for CEffect
impl StructuralEq for CEffect
impl StructuralPartialEq for CEffect
Auto Trait Implementations
impl RefUnwindSafe for CEffect
impl !Send for CEffect
impl !Sync for CEffect
impl Unpin for CEffect
impl UnwindSafe for CEffect
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