Struct agda_mode::resp::PostponedCheckArgs

pub struct PostponedCheckArgs<Obj> {
    pub constraint_obj: Obj,
    pub of_type: String,
    pub the_type: String,
    pub arguments: Vec<String>,
}

Fields

constraint_obj: Obj

of_type: String

the_type: String

arguments: Vec<String>

Trait Implementations

impl<Obj: Clone> Clone for PostponedCheckArgs<Obj>

pub fn clone(&self) -> PostponedCheckArgs<Obj>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Obj> CollectObjs<Obj> for PostponedCheckArgs<Obj>

pub fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj: Debug> Debug for PostponedCheckArgs<Obj>

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

Formats the value using the given formatter.

impl<'de, Obj> Deserialize<'de> for PostponedCheckArgs<Obj> where
    Obj: Deserialize<'de>, 

pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<Obj: Display> Display for PostponedCheckArgs<Obj>

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

Formats the value using the given formatter.

impl<Obj: Eq> Eq for PostponedCheckArgs<Obj>

impl<Obj: PartialEq> PartialEq<PostponedCheckArgs<Obj>> for PostponedCheckArgs<Obj>

pub fn eq(&self, other: &PostponedCheckArgs<Obj>) -> bool

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

pub fn ne(&self, other: &PostponedCheckArgs<Obj>) -> bool

This method tests for !=.

impl<Obj> StructuralEq for PostponedCheckArgs<Obj>

impl<Obj> StructuralPartialEq for PostponedCheckArgs<Obj>