Enum fungi_lang::ast::Type
[−]
[src]
pub enum Type { Var(Var), Cons(TypeCons), 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), }
Value types
Variants
Var(Var)
Cons(TypeCons)
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 Clone for Type
[src]
fn clone(&self) -> Type
[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 Debug for Type
[src]
impl Eq for Type
[src]
impl PartialEq for Type
[src]
fn eq(&self, __arg_0: &Type) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Type) -> bool
[src]
This method tests for !=
.