Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Location ranges of Agda code files.
Synopsis
- data RangeType where
- 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
- data RangeInfo where
- RangeNamed :: !RangeType -> !QName -> RangeInfo
- RangeMutual :: RangeInfo
- rangePath :: Range -> Maybe FilePath
- rangeContains :: Range -> Range -> Bool
Definitions
The type of item found at a named range.
Information associated with an item found at a certain range.
RangeNamed :: !RangeType -> !QName -> RangeInfo | |
RangeMutual :: RangeInfo |