Struct agda_mode::pos::Pos

pub struct Pos {
    pub pos: usize,
    pub line: usize,
    pub col: usize,
}

A position in the file.

Fields

pos: usize

line: usize

col: usize

Trait Implementations

impl Clone for Pos

pub fn clone(&self) -> Pos

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Pos

impl Debug for Pos

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

Formats the value using the given formatter.

impl Default for Pos

pub fn default() -> Pos

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for Pos

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

Deserialize this value from the given Serde deserializer.

impl Display for Pos

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

Formats the value using the given formatter.

impl Eq for Pos

impl PartialEq<Pos> for Pos

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

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

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

This method tests for !=.

impl StructuralEq for Pos

impl StructuralPartialEq for Pos