Enum fungi_lang::ast::Type [−][src]
pub enum Type { 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), }
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 Display for Type
[src]
impl Display for Type
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Clone for Type
[src]
impl Clone for Type
fn clone(&self) -> Type
[src]
fn clone(&self) -> Type
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl Debug for Type
[src]
impl Debug for Type
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for Type
[src]
impl Eq for Type
impl PartialEq for Type
[src]
impl PartialEq for Type
fn eq(&self, other: &Type) -> bool
[src]
fn eq(&self, other: &Type) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Type) -> bool
[src]
fn ne(&self, other: &Type) -> bool
This method tests for !=
.
impl Hash for Type
[src]
impl Hash for Type