Enum fungi_lang::ast::Type
source · pub enum Type {
Show 20 variants
Var(Var),
Ident(Ident),
Abstract(Ident),
Prim(PrimType),
IdentDef(Ident, TypeRec),
IdentUndef(Ident),
Sum(TypeRec, TypeRec),
Prod(TypeRec, TypeRec),
Unit,
Ref(IdxTm, TypeRec),
Thk(IdxTm, CEffectRec),
IdxApp(TypeRec, IdxTm),
TypeApp(TypeRec, TypeRec),
Nm(IdxTm),
NmFn(NameTm),
TypeFn(Var, Kind, TypeRec),
IdxFn(Var, Sort, TypeRec),
Rec(Var, TypeRec),
Exists(Var, SortRec, Prop, TypeRec),
NoParse(String),
}
Expand description
Value types
Variants
Var(Var)
Ident(Ident)
Abstract(Ident)
Prim(PrimType)
IdentDef(Ident, TypeRec)
IdentUndef(Ident)
Sum(TypeRec, TypeRec)
Prod(TypeRec, TypeRec)
Unit
Ref(IdxTm, TypeRec)
Thk(IdxTm, CEffectRec)
IdxApp(TypeRec, IdxTm)
TypeApp(TypeRec, TypeRec)
Nm(IdxTm)
NmFn(NameTm)
TypeFn(Var, Kind, TypeRec)
IdxFn(Var, Sort, TypeRec)
Rec(Var, TypeRec)
Exists(Var, SortRec, Prop, TypeRec)
NoParse(String)
Trait Implementations
impl Eq for Type
impl StructuralEq for Type
impl StructuralPartialEq for Type
Auto Trait Implementations
impl RefUnwindSafe for Type
impl !Send for Type
impl !Sync for Type
impl Unpin for Type
impl UnwindSafe for Type
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