Struct ContextEntry 

pub struct ContextEntry {
    pub name: Name,
    pub ty: Expr,
    pub val: Option<Expr>,
    pub binder_info: BinderInfo,
}

A scoped context entry with type and optional value.

Fields

name: Name

Variable name.

ty: Expr

Variable type.

val: Option<Expr>

Optional value (for let-bindings).

binder_info: BinderInfo

Binder information.

Implementations

impl ContextEntry

pub fn local(name: Name, ty: Expr) -> Self

Create a simple local (no value).

pub fn implicit(name: Name, ty: Expr) -> Self

Create an implicit local.

pub fn let_binding(name: Name, ty: Expr, val: Expr) -> Self

Create a let-binding.

pub fn is_let(&self) -> bool

Check if this is a let-binding.

pub fn is_implicit(&self) -> bool

Check if this is implicit.

Trait Implementations

impl Clone for ContextEntry

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextEntry

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

Formats the value using the given formatter.