Struct BinderExt 

pub struct BinderExt {
    pub name: String,
    pub ty: Option<String>,
    pub implicit: bool,
}

A binder for a pi type or lambda.

Fields

name: String

Variable name

ty: Option<String>

Type annotation (optional)

implicit: bool

Whether this is implicit

Implementations

impl BinderExt

pub fn explicit(name: &str, ty: Option<&str>) -> Self

Create an explicit binder.

pub fn implicit(name: &str, ty: Option<&str>) -> Self

Create an implicit binder.

pub fn format(&self) -> String

Format the binder.

Trait Implementations

impl Clone for BinderExt

fn clone(&self) -> BinderExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BinderExt

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

Formats the value using the given formatter.