Struct agda_mode::pos::Interval

pub struct Interval {
    pub file: Option<String>,
    pub start: Pos,
    pub end: Pos,
}

Fields

file: Option<String>

start: Pos

end: Pos

Implementations

impl Interval

pub fn range(&self) -> Range<usize>

pub fn range_shift_left(&self, shift: usize) -> Range<usize>

pub fn range_shift_right(&self, shift: usize) -> Range<usize>

Trait Implementations

impl Clone for Interval

pub fn clone(&self) -> Interval

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Interval

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

Formats the value using the given formatter.

impl Default for Interval

pub fn default() -> Interval

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for Interval

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 Interval

impl PartialEq<Interval> for Interval

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

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

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

This method tests for !=.

impl StructuralEq for Interval

impl StructuralPartialEq for Interval