agda-unused-0.3.0: Check for unused code in an Agda project.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Unused.Types.Range

Description

Location ranges of Agda code files.

Synopsis

Definitions

data RangeType where Source #

The type of item found at a named range.

Constructors

RangeData :: RangeType 
RangeDefinition :: RangeType 
RangeImport :: RangeType 
RangeImportItem :: RangeType 
RangeModule :: RangeType 
RangeModuleItem :: RangeType 
RangeOpen :: RangeType 
RangeOpenItem :: RangeType 
RangePatternSynonym :: RangeType 
RangePostulate :: RangeType 
RangeRecord :: RangeType 
RangeRecordConstructor :: RangeType 
RangeVariable :: RangeType 

Instances

Instances details
Show RangeType Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

showsPrec :: Int -> RangeType -> ShowS #

show :: RangeType -> String #

showList :: [RangeType] -> ShowS #

Eq RangeType Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

(==) :: RangeType -> RangeType -> Bool #

(/=) :: RangeType -> RangeType -> Bool #

Ord RangeType Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

compare :: RangeType -> RangeType -> Ordering #

(<) :: RangeType -> RangeType -> Bool #

(<=) :: RangeType -> RangeType -> Bool #

(>) :: RangeType -> RangeType -> Bool #

(>=) :: RangeType -> RangeType -> Bool #

max :: RangeType -> RangeType -> RangeType #

min :: RangeType -> RangeType -> RangeType #

data RangeInfo where Source #

Information associated with an item found at a certain range.

Constructors

RangeNamed :: !RangeType -> !QName -> RangeInfo 
RangeMutual :: RangeInfo 

Instances

Instances details
Show RangeInfo Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

showsPrec :: Int -> RangeInfo -> ShowS #

show :: RangeInfo -> String #

showList :: [RangeInfo] -> ShowS #

Eq RangeInfo Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

(==) :: RangeInfo -> RangeInfo -> Bool #

(/=) :: RangeInfo -> RangeInfo -> Bool #

Ord RangeInfo Source # 
Instance details

Defined in Agda.Unused.Types.Range

Methods

compare :: RangeInfo -> RangeInfo -> Ordering #

(<) :: RangeInfo -> RangeInfo -> Bool #

(<=) :: RangeInfo -> RangeInfo -> Bool #

(>) :: RangeInfo -> RangeInfo -> Bool #

(>=) :: RangeInfo -> RangeInfo -> Bool #

max :: RangeInfo -> RangeInfo -> RangeInfo #

min :: RangeInfo -> RangeInfo -> RangeInfo #

Interface

rangePath :: Range -> Maybe FilePath Source #

Get the file path associated with the given range.

rangeContains :: Range -> Range -> Bool Source #

Determine whether the first range contains the second.