Struct agda_mode::resp::GiveResult

pub struct GiveResult { /* fields omitted */ }

Give action result

Comment derived from agda2-mode.el

If 'GiveResult' is 'Give_String s', then the goal is replaced by 's', and otherwise the text inside the goal is retained (parenthesised if 'GiveResult' is 'Give_Paren').

Implementations

impl GiveResult

pub fn into_either(self) -> Either<String, bool>

Trait Implementations

impl Clone for GiveResult

pub fn clone(&self) -> GiveResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GiveResult

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

Formats the value using the given formatter.

impl Default for GiveResult

pub fn default() -> GiveResult

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for GiveResult

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

Deserialize this value from the given Serde deserializer.

impl Eq for GiveResult

impl PartialEq<GiveResult> for GiveResult

pub fn eq(&self, other: &GiveResult) -> bool

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

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

This method tests for !=.

impl StructuralEq for GiveResult

impl StructuralPartialEq for GiveResult