Struct kontroli::Arg

pub struct Arg<Id, Ty> {
    pub id: Id,
    pub ty: Ty,
}

Argument of a binder. For example, the x and A in the term \ x : A => t.

Fields

id: Id

ty: Ty

Implementations

impl<'s, Id> Arg<Id, Option<RTerm<'s>>>

pub fn type_ptr_eq(&self, other: &Self) -> bool

Compare the memory addresses of the argument types.

impl<'s, Id> Arg<Id, Option<RTerm<'s>>>

pub fn type_ptr_eq(&self, other: &Self) -> bool

Compare the memory addresses of the argument types.

impl<Id, Ty> Arg<Id, Ty>

pub fn map_id<F, J>(self, f: F) -> Arg<J, Ty> where
    F: FnOnce(Id) -> J, 

pub fn map_ty<F, U>(self, f: F) -> Arg<Id, U> where
    F: FnOnce(Ty) -> U, 

pub fn map_ty_res<F, U, E>(self, f: F) -> Result<Arg<Id, U>, E> where
    F: FnOnce(Ty) -> Result<U, E>, 

Trait Implementations

impl<Id: Clone, Ty: Clone> Clone for Arg<Id, Ty>

fn clone(&self) -> Arg<Id, Ty>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug, Ty: Debug> Debug for Arg<Id, Ty>

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

Formats the value using the given formatter.

impl<Id: Eq, Ty: Eq> Eq for Arg<Id, Ty>

impl<Id: PartialEq, Ty: PartialEq> PartialEq<Arg<Id, Ty>> for Arg<Id, Ty>

fn eq(&self, other: &Arg<Id, Ty>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Arg<Id, Ty>) -> bool

This method tests for !=.

impl<Id, Ty> StructuralEq for Arg<Id, Ty>

impl<Id, Ty> StructuralPartialEq for Arg<Id, Ty>