ghcide-2.9.0.0: The core of an IDE

Safe Haskell | None
Language | GHC2021

Development.IDE.Types.Location

Description

Types and functions for working with source code locations.

Synopsis

- data Location = Location {
  - _uri :: Uri
  - _range :: Range
  }
- noFilePath :: FilePath
- noRange :: Range
- data Position = Position {
  - _line :: UInt
  - _character :: UInt
  }
- showPosition :: Position -> String
- data Range = Range {
  - _start :: Position
  - _end :: Position
  }
- newtype Uri = Uri {
  - getUri :: Text
  }
- data NormalizedUri
- toNormalizedUri :: Uri -> NormalizedUri
- fromNormalizedUri :: NormalizedUri -> Uri
- data NormalizedFilePath
- fromUri :: NormalizedUri -> NormalizedFilePath
- emptyFilePath :: NormalizedFilePath
- emptyPathUri :: NormalizedUri
- toNormalizedFilePath' :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- filePathToUri' :: NormalizedFilePath -> NormalizedUri
- uriToFilePath' :: Uri -> Maybe FilePath
- readSrcSpan :: ReadS RealSrcSpan

# Documentation

data Location #

Constructors

Location |
Fields _uri :: Uri _range :: Range

#### Instances

Instances details

FromJSON Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods parseJSON :: Value -> Parser Location # parseJSONList :: Value -> Parser [Location] # omittedField :: Maybe Location #
ToJSON Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods toJSON :: Location -> Value # toEncoding :: Location -> Encoding # toJSONList :: [Location] -> Value # toEncodingList :: [Location] -> Encoding # omitField :: Location -> Bool #
NFData Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods rnf :: Location -> () #
Generic Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Associated Types
type Rep Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location type Rep Location = D1 ('MetaData "Location" "Language.LSP.Protocol.Internal.Types.Location" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range)))
Methods from :: Location -> Rep Location x # to :: Rep Location x -> Location #
Show Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Eq Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Ord Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods compare :: Location -> Location -> Ordering # (<) :: Location -> Location -> Bool # (<=) :: Location -> Location -> Bool # (>) :: Location -> Location -> Bool # (>=) :: Location -> Location -> Bool # max :: Location -> Location -> Location # min :: Location -> Location -> Location #
Hashable Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods hashWithSalt :: Int -> Location -> Int # hash :: Location -> Int #
Pretty Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods pretty :: Location -> Doc ann # prettyList :: [Location] -> Doc ann #
HasLocation DiagnosticRelatedInformation Location |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods location :: Lens' DiagnosticRelatedInformation Location
HasLocation SymbolInformation Location |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods location :: Lens' SymbolInformation Location
HasRange Location Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' Location Range
HasUri Location Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' Location Uri
HasLocation InlayHintLabelPart (Maybe Location) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods location :: Lens' InlayHintLabelPart (Maybe Location)
HasLocation WorkspaceSymbol (Location |? LocationUriOnly) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods location :: Lens' WorkspaceSymbol (Location |? LocationUriOnly)
type Rep Location |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location type Rep Location = D1 ('MetaData "Location" "Language.LSP.Protocol.Internal.Types.Location" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range)))

noFilePath :: FilePath #

noRange :: Range #

data Position #

Constructors

Position |
Fields _line :: UInt _character :: UInt

#### Instances

Instances details

FromJSON Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [Position] # omittedField :: Maybe Position #
ToJSON Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods toJSON :: Position -> Value # toEncoding :: Position -> Encoding # toJSONList :: [Position] -> Value # toEncodingList :: [Position] -> Encoding # omitField :: Position -> Bool #
NFData Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods rnf :: Position -> () #
Generic Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Associated Types
type Rep Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position type Rep Position = D1 ('MetaData "Position" "Language.LSP.Protocol.Internal.Types.Position" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "_line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 UInt) :*: S1 ('MetaSel ('Just "_character") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 UInt)))
Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
Show Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Eq Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Hashable Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods hashWithSalt :: Int -> Position -> Int # hash :: Position -> Int #
Pretty Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods pretty :: Position -> Doc ann # prettyList :: [Position] -> Doc ann #
HasCharacter Position UInt |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods character :: Lens' Position UInt
HasEnd Range Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods end :: Lens' Range Position
HasLine Position UInt |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods line :: Lens' Position UInt
HasPosition CallHierarchyPrepareParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' CallHierarchyPrepareParams Position
HasPosition CompletionParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' CompletionParams Position
HasPosition DeclarationParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' DeclarationParams Position
HasPosition DefinitionParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' DefinitionParams Position
HasPosition DocumentHighlightParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' DocumentHighlightParams Position
HasPosition DocumentOnTypeFormattingParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' DocumentOnTypeFormattingParams Position
HasPosition HoverParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' HoverParams Position
HasPosition ImplementationParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' ImplementationParams Position
HasPosition InlayHint Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' InlayHint Position
HasPosition LinkedEditingRangeParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' LinkedEditingRangeParams Position
HasPosition MonikerParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' MonikerParams Position
HasPosition PrepareRenameParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' PrepareRenameParams Position
HasPosition ReferenceParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' ReferenceParams Position
HasPosition RenameParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' RenameParams Position
HasPosition SignatureHelpParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' SignatureHelpParams Position
HasPosition TextDocumentPositionParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' TextDocumentPositionParams Position
HasPosition TypeDefinitionParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' TypeDefinitionParams Position
HasPosition TypeHierarchyPrepareParams Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods position :: Lens' TypeHierarchyPrepareParams Position
HasStart Range Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods start :: Lens' Range Position
HasPositions SelectionRangeParams [Position] |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods positions :: Lens' SelectionRangeParams [Position]
type Rep Position |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position type Rep Position = D1 ('MetaData "Position" "Language.LSP.Protocol.Internal.Types.Position" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "_line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 UInt) :*: S1 ('MetaSel ('Just "_character") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 UInt)))

showPosition :: Position -> String #

data Range #

Constructors

Range |
Fields _start :: Position _end :: Position

#### Instances

Instances details

FromJSON Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods parseJSON :: Value -> Parser Range # parseJSONList :: Value -> Parser [Range] # omittedField :: Maybe Range #
ToJSON Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods toJSON :: Range -> Value # toEncoding :: Range -> Encoding # toJSONList :: [Range] -> Value # toEncodingList :: [Range] -> Encoding # omitField :: Range -> Bool #
NFData Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods rnf :: Range -> () #
Generic Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Associated Types
type Rep Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range type Rep Range = D1 ('MetaData "Range" "Language.LSP.Protocol.Internal.Types.Range" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "_start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position) :*: S1 ('MetaSel ('Just "_end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position)))
Methods from :: Range -> Rep Range x # to :: Rep Range x -> Range #
Show Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Eq Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Ord Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods compare :: Range -> Range -> Ordering # (<) :: Range -> Range -> Bool # (<=) :: Range -> Range -> Bool # (>) :: Range -> Range -> Bool # (>=) :: Range -> Range -> Bool # max :: Range -> Range -> Range # min :: Range -> Range -> Range #
MapAge Range # |
Instance details Defined in Development.IDE.Core.UseStale Methods mapAgeFrom :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked to Range -> Maybe (Tracked from Range) # mapAgeTo :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked from Range -> Maybe (Tracked to Range) #
Hashable Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods hashWithSalt :: Int -> Range -> Int # hash :: Range -> Int #
Pretty Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods pretty :: Range -> Doc ann # prettyList :: [Range] -> Doc ann #
HasEnd Range Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods end :: Lens' Range Position
HasInsert EditRangeWithInsertReplace Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods insert :: Lens' EditRangeWithInsertReplace Range
HasInsert InsertReplaceEdit Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods insert :: Lens' InsertReplaceEdit Range
HasRange AnnotatedTextEdit Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' AnnotatedTextEdit Range
HasRange CallHierarchyItem Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' CallHierarchyItem Range
HasRange CodeActionParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' CodeActionParams Range
HasRange CodeLens Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' CodeLens Range
HasRange ColorInformation Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' ColorInformation Range
HasRange ColorPresentationParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' ColorPresentationParams Range
HasRange Diagnostic Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' Diagnostic Range
HasRange DocumentHighlight Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' DocumentHighlight Range
HasRange DocumentLink Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' DocumentLink Range
HasRange DocumentRangeFormattingParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' DocumentRangeFormattingParams Range
HasRange DocumentSymbol Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' DocumentSymbol Range
HasRange InlayHintParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' InlayHintParams Range
HasRange InlineValueEvaluatableExpression Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' InlineValueEvaluatableExpression Range
HasRange InlineValueParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' InlineValueParams Range
HasRange InlineValueText Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' InlineValueText Range
HasRange InlineValueVariableLookup Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' InlineValueVariableLookup Range
HasRange Location Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' Location Range
HasRange PrepareRenamePlaceholder Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' PrepareRenamePlaceholder Range
HasRange SelectionRange Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' SelectionRange Range
HasRange SemanticTokensRangeParams Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' SemanticTokensRangeParams Range
HasRange TextDocumentContentChangePartial Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' TextDocumentContentChangePartial Range
HasRange TextEdit Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' TextEdit Range
HasRange TypeHierarchyItem Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' TypeHierarchyItem Range
HasReplace EditRangeWithInsertReplace Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods replace :: Lens' EditRangeWithInsertReplace Range
HasReplace InsertReplaceEdit Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods replace :: Lens' InsertReplaceEdit Range
HasSelectionRange CallHierarchyItem Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods selectionRange :: Lens' CallHierarchyItem Range
HasSelectionRange DocumentSymbol Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods selectionRange :: Lens' DocumentSymbol Range
HasSelectionRange TypeHierarchyItem Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods selectionRange :: Lens' TypeHierarchyItem Range
HasStart Range Position |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods start :: Lens' Range Position
HasStoppedLocation InlineValueContext Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods stoppedLocation :: Lens' InlineValueContext Range
HasTargetRange LocationLink Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods targetRange :: Lens' LocationLink Range
HasTargetSelectionRange LocationLink Range |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods targetSelectionRange :: Lens' LocationLink Range
HasEditRange CompletionItemDefaults (Maybe (Range |? EditRangeWithInsertReplace)) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods editRange :: Lens' CompletionItemDefaults (Maybe (Range |? EditRangeWithInsertReplace))
HasFromRanges CallHierarchyIncomingCall [Range] |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods fromRanges :: Lens' CallHierarchyIncomingCall [Range]
HasFromRanges CallHierarchyOutgoingCall [Range] |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods fromRanges :: Lens' CallHierarchyOutgoingCall [Range]
HasOriginSelectionRange LocationLink (Maybe Range) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods originSelectionRange :: Lens' LocationLink (Maybe Range)
HasRange Hover (Maybe Range) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods range :: Lens' Hover (Maybe Range)
HasRanges LinkedEditingRanges [Range] |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods ranges :: Lens' LinkedEditingRanges [Range]
HasSelection ShowDocumentParams (Maybe Range) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods selection :: Lens' ShowDocumentParams (Maybe Range)
type Rep Range |
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range type Rep Range = D1 ('MetaData "Range" "Language.LSP.Protocol.Internal.Types.Range" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "_start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position) :*: S1 ('MetaSel ('Just "_end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position)))

newtype Uri #

Constructors

Uri |
Fields getUri :: Text

#### Instances

Instances details

FromJSON Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods parseJSON :: Value -> Parser Uri # parseJSONList :: Value -> Parser [Uri] # omittedField :: Maybe Uri #
FromJSONKey Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods fromJSONKey :: FromJSONKeyFunction Uri # fromJSONKeyList :: FromJSONKeyFunction [Uri] #
ToJSON Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods toJSON :: Uri -> Value # toEncoding :: Uri -> Encoding # toJSONList :: [Uri] -> Value # toEncodingList :: [Uri] -> Encoding # omitField :: Uri -> Bool #
ToJSONKey Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods toJSONKey :: ToJSONKeyFunction Uri # toJSONKeyList :: ToJSONKeyFunction [Uri] #
NFData Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods rnf :: Uri -> () #
Generic Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Associated Types
type Rep Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep Uri = D1 ('MetaData "Uri" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'True) (C1 ('MetaCons "Uri" 'PrefixI 'True) (S1 ('MetaSel ('Just "getUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Methods from :: Uri -> Rep Uri x # to :: Rep Uri x -> Uri #
Read Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods readsPrec :: Int -> ReadS Uri # readList :: ReadS [Uri] # readPrec :: ReadPrec Uri # readListPrec :: ReadPrec [Uri] #
Show Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods showsPrec :: Int -> Uri -> ShowS # show :: Uri -> String # showList :: [Uri] -> ShowS #
Eq Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods (==) :: Uri -> Uri -> Bool # (/=) :: Uri -> Uri -> Bool #
Ord Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods compare :: Uri -> Uri -> Ordering # (<) :: Uri -> Uri -> Bool # (<=) :: Uri -> Uri -> Bool # (>) :: Uri -> Uri -> Bool # (>=) :: Uri -> Uri -> Bool # max :: Uri -> Uri -> Uri # min :: Uri -> Uri -> Uri #
Hashable Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods hashWithSalt :: Int -> Uri -> Int # hash :: Uri -> Int #
Pretty Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods pretty :: Uri -> Doc ann # prettyList :: [Uri] -> Doc ann #
HasDocument NotebookCell Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods document :: Lens' NotebookCell Uri
HasHref CodeDescription Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods href :: Lens' CodeDescription Uri
HasNewUri RenameFile Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods newUri :: Lens' RenameFile Uri
HasOldUri RenameFile Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods oldUri :: Lens' RenameFile Uri
HasTargetUri LocationLink Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods targetUri :: Lens' LocationLink Uri
HasUri CallHierarchyItem Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' CallHierarchyItem Uri
HasUri CreateFile Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' CreateFile Uri
HasUri DeleteFile Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' DeleteFile Uri
HasUri FileEvent Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' FileEvent Uri
HasUri Location Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' Location Uri
HasUri LocationUriOnly Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' LocationUriOnly Uri
HasUri NotebookDocument Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' NotebookDocument Uri
HasUri NotebookDocumentIdentifier Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' NotebookDocumentIdentifier Uri
HasUri OptionalVersionedTextDocumentIdentifier Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' OptionalVersionedTextDocumentIdentifier Uri
HasUri PreviousResultId Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' PreviousResultId Uri
HasUri PublishDiagnosticsParams Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' PublishDiagnosticsParams Uri
HasUri ShowDocumentParams Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' ShowDocumentParams Uri
HasUri TextDocumentIdentifier Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' TextDocumentIdentifier Uri
HasUri TextDocumentItem Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' TextDocumentItem Uri
HasUri TypeHierarchyItem Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' TypeHierarchyItem Uri
HasUri VersionedNotebookDocumentIdentifier Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' VersionedNotebookDocumentIdentifier Uri
HasUri VersionedTextDocumentIdentifier Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' VersionedTextDocumentIdentifier Uri
HasUri WorkspaceFolder Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' WorkspaceFolder Uri
HasUri WorkspaceFullDocumentDiagnosticReport Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' WorkspaceFullDocumentDiagnosticReport Uri
HasUri WorkspaceUnchangedDocumentDiagnosticReport Uri |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods uri :: Lens' WorkspaceUnchangedDocumentDiagnosticReport Uri
HasChanges WorkspaceEdit (Maybe (Map Uri [TextEdit])) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods changes :: Lens' WorkspaceEdit (Maybe (Map Uri [TextEdit]))
HasRelatedDocuments RelatedFullDocumentDiagnosticReport (Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods relatedDocuments :: Lens' RelatedFullDocumentDiagnosticReport (Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport)))
HasRelatedDocuments RelatedUnchangedDocumentDiagnosticReport (Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods relatedDocuments :: Lens' RelatedUnchangedDocumentDiagnosticReport (Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport)))
HasScopeUri ConfigurationItem (Maybe Uri) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods scopeUri :: Lens' ConfigurationItem (Maybe Uri)
HasTarget DocumentLink (Maybe Uri) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods target :: Lens' DocumentLink (Maybe Uri)
HasBaseUri RelativePattern (WorkspaceFolder |? Uri) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods baseUri :: Lens' RelativePattern (WorkspaceFolder |? Uri)
HasRelatedDocuments DocumentDiagnosticReportPartialResult (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport)) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods relatedDocuments :: Lens' DocumentDiagnosticReportPartialResult (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))
HasRootUri InitializeParams (Uri |? Null) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods rootUri :: Lens' InitializeParams (Uri |? Null)
HasRootUri UInitializeParams (Uri |? Null) |
Instance details Defined in Language.LSP.Protocol.Types.Lens Methods rootUri :: Lens' UInitializeParams (Uri |? Null)
type Rep Uri |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep Uri = D1 ('MetaData "Uri" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'True) (C1 ('MetaCons "Uri" 'PrefixI 'True) (S1 ('MetaSel ('Just "getUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NormalizedUri #

#### Instances

Instances details

NFData NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods rnf :: NormalizedUri -> () #
Generic NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Associated Types
type Rep NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep NormalizedUri = D1 ('MetaData "NormalizedUri" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "NormalizedUri" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))
Methods from :: NormalizedUri -> Rep NormalizedUri x # to :: Rep NormalizedUri x -> NormalizedUri #
Read NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods readsPrec :: Int -> ReadS NormalizedUri # readList :: ReadS [NormalizedUri] # readPrec :: ReadPrec NormalizedUri # readListPrec :: ReadPrec [NormalizedUri] #
Show NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods showsPrec :: Int -> NormalizedUri -> ShowS # show :: NormalizedUri -> String # showList :: [NormalizedUri] -> ShowS #
Eq NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods (==) :: NormalizedUri -> NormalizedUri -> Bool # (/=) :: NormalizedUri -> NormalizedUri -> Bool #
Ord NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods compare :: NormalizedUri -> NormalizedUri -> Ordering # (<) :: NormalizedUri -> NormalizedUri -> Bool # (<=) :: NormalizedUri -> NormalizedUri -> Bool # (>) :: NormalizedUri -> NormalizedUri -> Bool # (>=) :: NormalizedUri -> NormalizedUri -> Bool # max :: NormalizedUri -> NormalizedUri -> NormalizedUri # min :: NormalizedUri -> NormalizedUri -> NormalizedUri #
Hashable NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods hashWithSalt :: Int -> NormalizedUri -> Int # hash :: NormalizedUri -> Int #
Pretty NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods pretty :: NormalizedUri -> Doc ann # prettyList :: [NormalizedUri] -> Doc ann #
HasVfsMap VFS (Map NormalizedUri VirtualFile) |
Instance details Defined in Language.LSP.VFS Methods vfsMap :: Lens' VFS (Map NormalizedUri VirtualFile) #
type Rep NormalizedUri |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep NormalizedUri = D1 ('MetaData "NormalizedUri" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "NormalizedUri" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

toNormalizedUri :: Uri -> NormalizedUri #

fromNormalizedUri :: NormalizedUri -> Uri #

data NormalizedFilePath #

#### Instances

Instances details

Binary NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods put :: NormalizedFilePath -> Put # get :: Get NormalizedFilePath # putList :: [NormalizedFilePath] -> Put #
NFData NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods rnf :: NormalizedFilePath -> () #
IsString NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods fromString :: String -> NormalizedFilePath #
Generic NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Associated Types
type Rep NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep NormalizedFilePath = D1 ('MetaData "NormalizedFilePath" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "NormalizedFilePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NormalizedUri) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Text)))
Methods from :: NormalizedFilePath -> Rep NormalizedFilePath x # to :: Rep NormalizedFilePath x -> NormalizedFilePath #
Show NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods showsPrec :: Int -> NormalizedFilePath -> ShowS # show :: NormalizedFilePath -> String # showList :: [NormalizedFilePath] -> ShowS #
Eq NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods (==) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (/=) :: NormalizedFilePath -> NormalizedFilePath -> Bool #
Ord NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods compare :: NormalizedFilePath -> NormalizedFilePath -> Ordering # (<) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (<=) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (>) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (>=) :: NormalizedFilePath -> NormalizedFilePath -> Bool # max :: NormalizedFilePath -> NormalizedFilePath -> NormalizedFilePath # min :: NormalizedFilePath -> NormalizedFilePath -> NormalizedFilePath #
Hashable NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods hashWithSalt :: Int -> NormalizedFilePath -> Int # hash :: NormalizedFilePath -> Int #
type Rep NormalizedFilePath |
Instance details Defined in Language.LSP.Protocol.Types.Uri type Rep NormalizedFilePath = D1 ('MetaData "NormalizedFilePath" "Language.LSP.Protocol.Types.Uri" "lsp-types-2.3.0.1-DRgHF6G3wOAK70a4XwHYCC" 'False) (C1 ('MetaCons "NormalizedFilePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NormalizedUri) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Text)))

fromUri :: NormalizedUri -> NormalizedFilePath #

emptyFilePath :: NormalizedFilePath #

emptyPathUri :: NormalizedUri #

toNormalizedFilePath' :: FilePath -> NormalizedFilePath #

fromNormalizedFilePath :: NormalizedFilePath -> FilePath #

filePathToUri' :: NormalizedFilePath -> NormalizedUri #

uriToFilePath' :: Uri -> Maybe FilePath #

We use an empty string as a filepath when we don’t have a file. However, haskell-lsp doesn’t support that in uriToFilePath and given that it is not a valid filepath it does not make sense to upstream a fix. So we have our own wrapper here that supports empty filepaths.

readSrcSpan :: ReadS RealSrcSpan #

Parser for the GHC output format