Safe Haskell	Safe-Inferred
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 #
Generic Location
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Associated Types type Rep Location :: Type -> Type # 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 #
NFData Location
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods rnf :: Location -> () #
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-Dt5cmuKhDStI87OYfVmx4l" '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 Source #

noRange :: Range Source #

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 #
Generic Position
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Associated Types type Rep Position :: Type -> Type # 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 #
NFData Position
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods rnf :: Position -> () #
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-Dt5cmuKhDStI87OYfVmx4l" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "_line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UInt) :*: S1 ('MetaSel ('Just "_character") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UInt)))

showPosition :: Position -> String Source #

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 #
Generic Range
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Associated Types type Rep Range :: Type -> Type # 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 #
NFData Range
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods rnf :: Range -> () #
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 Source #
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) Source # mapAgeTo :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked from Range -> Maybe (Tracked to Range) Source #
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-Dt5cmuKhDStI87OYfVmx4l" '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] #
Generic Uri
Instance details Defined in Language.LSP.Protocol.Types.Uri Associated Types type Rep Uri :: Type -> Type # 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 #
NFData Uri
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods rnf :: Uri -> () #
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-Dt5cmuKhDStI87OYfVmx4l" 'True) (C1 ('MetaCons "Uri" 'PrefixI 'True) (S1 ('MetaSel ('Just "getUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NormalizedUri #

Instances

Instances details

Generic NormalizedUri
Instance details Defined in Language.LSP.Protocol.Types.Uri Associated Types type Rep NormalizedUri :: Type -> Type # 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 #
NFData NormalizedUri
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods rnf :: NormalizedUri -> () #
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-Dt5cmuKhDStI87OYfVmx4l" 'False) (C1 ('MetaCons "NormalizedUri" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

toNormalizedUri :: Uri -> NormalizedUri #

fromNormalizedUri :: NormalizedUri -> Uri #

data NormalizedFilePath #

Instances

Instances details

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 :: Type -> Type # 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 #
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 -> () #
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-Dt5cmuKhDStI87OYfVmx4l" 'False) (C1 ('MetaCons "NormalizedFilePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NormalizedUri) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Text)))

fromUri :: NormalizedUri -> NormalizedFilePath Source #

emptyFilePath :: NormalizedFilePath Source #

emptyPathUri :: NormalizedUri Source #

toNormalizedFilePath' :: FilePath -> NormalizedFilePath Source #

fromNormalizedFilePath :: NormalizedFilePath -> FilePath #

filePathToUri' :: NormalizedFilePath -> NormalizedUri Source #

uriToFilePath' :: Uri -> Maybe FilePath Source #

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 Source #

Parser for the GHC output format