Struct Bind 

pub struct Bind<T> {
    pub licit: Plicit,
    pub name: UID,
    pub ty: T,
}

Parameter information – with type and visibility.

Fields

licit: Plicit

name: UID

ty: T

Implementations

impl<T> Bind<T>

pub fn new(licit: Plicit, name: UID, ty: T) -> Self

pub fn is_implicit(&self) -> bool

pub fn into_implicit(self) -> Self

pub fn boxed(self) -> Bind<Box<T>>

pub fn map_term<R>(self, f: impl FnOnce(T) -> R) -> Bind<R>

impl<T> Bind<Box<T>>

pub fn boxing(licit: Plicit, name: UID, term: T) -> Self

pub fn unboxed(self) -> Bind<T>

Trait Implementations

impl<T: Clone> Clone for Bind<T>

fn clone(&self) -> Bind<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Bind<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Bind<T>

impl<T: HasMeta> HasMeta for Bind<T>

fn inline_meta(self, tcs: TCS) -> TCMS<Self>

Inline solved metas inside self.

impl<T: PartialEq> PartialEq for Bind<T>

fn eq(&self, other: &Bind<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<R, T: RedEx<R>> RedEx<Bind<R>> for Bind<T>

fn reduce_dbi(self, subst: Rc<Subst>) -> Bind<R>

Apply a substitution to a redex.

impl<T: PartialEq> StructuralPartialEq for Bind<T>