Struct Term 

pub struct Term {
    pub id: TermId,
    pub decl_pos: Pos,
    pub name: Sym,
    pub arg_tys: Vec<TypeId>,
    pub ret_ty: TypeId,
    pub kind: TermKind,
}

A term.

Maps parameter types to result types if this is a constructor term, or result types to parameter types if this is an extractor term. Or both if this term can be either a constructor or an extractor.

Fields

id: TermId

This term’s id.

decl_pos: Pos

The source position where this term was declared.

name: Sym

The name of this term.

arg_tys: Vec<TypeId>

The parameter types to this term.

ret_ty: TypeId

The result types of this term.

kind: TermKind

The kind of this term.

Implementations

impl Term

pub fn ty(&self) -> TypeId

Get this term’s type.

pub fn is_enum_variant(&self) -> bool

Is this term an enum variant?

pub fn is_struct(&self) -> bool

Is this term a struct?

pub fn is_partial(&self) -> bool

Is this term partial?

pub fn is_recursive(&self) -> bool

Is this term marked as recursive?

pub fn has_constructor(&self) -> bool

Does this term have a constructor?

pub fn has_extractor(&self) -> bool

Does this term have an extractor?

pub fn has_external_extractor(&self) -> bool

Is this term’s extractor external?

pub fn has_external_constructor(&self) -> bool

Is this term’s constructor external?

pub fn has_internal_constructor(&self) -> bool

Is this term’s constructor internal?

pub fn extractor_sig(&self, tyenv: &TypeEnv) -> Option<ExternalSig>

Get this term’s extractor’s external function signature, if any.

pub fn constructor_sig(&self, tyenv: &TypeEnv) -> Option<ExternalSig>

Get this term’s constructor’s external function signature, if any.

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Term

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Term

impl PartialEq for Term

fn eq(&self, other: &Term) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Term