Struct agda_mode::resp::AspectHighlight

pub struct AspectHighlight {
    pub range: (IntPos, IntPos),
    pub atoms: Vec<String>,
    pub token_based: TokenBased,
    pub note: Option<String>,
    pub definition_site: Option<DefinitionSite>,
}

A token highlighting information. The token is somehow called Aspect in Agda.

Fields

range: (IntPos, IntPos)

atoms: Vec<String>

token_based: TokenBased

note: Option<String>

definition_site: Option<DefinitionSite>

Trait Implementations

impl Clone for AspectHighlight

pub fn clone(&self) -> AspectHighlight

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AspectHighlight

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

Formats the value using the given formatter.

impl Default for AspectHighlight

pub fn default() -> AspectHighlight

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for AspectHighlight

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 AspectHighlight

impl PartialEq<AspectHighlight> for AspectHighlight

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

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

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

This method tests for !=.

impl StructuralEq for AspectHighlight

impl StructuralPartialEq for AspectHighlight