| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Development.IDE
Synopsis
- data ParseResult a
- type DiagnosticStore = HashMap NormalizedUri StoreItem
- data Diagnostic = Diagnostic {}
- data DiagnosticSeverity
- data Location = Location {}
- data Range = Range {}
- data Position = Position {
- _line :: Int
- _character :: Int
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- fromNormalizedUri :: NormalizedUri -> Uri
- toNormalizedUri :: Uri -> NormalizedUri
- newtype Uri = Uri {}
- data NormalizedUri
- data NormalizedFilePath
- newtype List a = List [a]
- action :: Partial => Action a -> Rules ()
- data Rules a
- type family RuleResult key
- data Action a
- setHieDir :: FilePath -> DynFlags -> DynFlags
- dontWriteHieFiles :: DynFlags -> DynFlags
- disableWarningsAsErrors :: DynFlags -> DynFlags
- toNormalizedFilePath' :: FilePath -> NormalizedFilePath
- emptyFilePath :: NormalizedFilePath
- uriToFilePath' :: Uri -> Maybe FilePath
- emptyPathUri :: NormalizedUri
- filePathToUri' :: NormalizedFilePath -> NormalizedUri
- fromUri :: NormalizedUri -> NormalizedFilePath
- noFilePath :: FilePath
- noRange :: Range
- showPosition :: Position -> String
- readSrcSpan :: ReadS RealSrcSpan
- type FileDiagnostic = (NormalizedFilePath, ShowDiagnostic, Diagnostic)
- data ShowDiagnostic
- type IdeResult v = ([FileDiagnostic], Maybe v)
- ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic
- ideErrorWithSource :: Maybe DiagnosticSource -> Maybe DiagnosticSeverity -> a -> Text -> (a, ShowDiagnostic, Diagnostic)
- showDiagnostics :: [FileDiagnostic] -> Text
- showDiagnosticsColored :: [FileDiagnostic] -> Text
- data HscEnvEq
- modifyDynFlags :: GhcMonad m => (DynFlags -> DynFlags) -> m ()
- lookupPackageConfig :: UnitId -> HscEnv -> Maybe PackageConfig
- textToStringBuffer :: Text -> StringBuffer
- runParser :: DynFlags -> String -> P a -> ParseResult a
- stringBufferToByteString :: StringBuffer -> ByteString
- bytestringToStringBuffer :: ByteString -> StringBuffer
- prettyPrint :: Outputable a => a -> String
- printRdrName :: RdrName -> String
- printName :: Name -> String
- evalGhcEnv :: HscEnv -> Ghc b -> IO b
- moduleImportPath :: NormalizedFilePath -> ModuleName -> Maybe FilePath
- newHscEnvEq :: FilePath -> HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq
- newHscEnvEqWithImportPaths :: Maybe [String] -> HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq
- newHscEnvEqPreserveImportPaths :: HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq
- hscEnvWithImportPaths :: HscEnvEq -> HscEnv
- readFileUtf8 :: FilePath -> IO Text
- cgGutsToCoreModule :: SafeHaskellMode -> CgGuts -> ModDetails -> CoreModule
- fingerprintToBS :: Fingerprint -> ByteString
- fingerprintFromStringBuffer :: StringBuffer -> IO Fingerprint
- hDuplicateTo' :: Handle -> Handle -> IO ()
- diagFromErrMsg :: Text -> DynFlags -> ErrMsg -> [FileDiagnostic]
- diagFromErrMsgs :: Text -> DynFlags -> Bag ErrMsg -> [FileDiagnostic]
- srcSpanToRange :: SrcSpan -> Maybe Range
- realSrcSpanToRange :: RealSrcSpan -> Range
- realSrcLocToPosition :: RealSrcLoc -> Position
- srcSpanToFilename :: SrcSpan -> Maybe FilePath
- srcSpanToLocation :: SrcSpan -> Maybe Location
- isInsideSrcSpan :: Position -> SrcSpan -> Bool
- toDSeverity :: Severity -> Maybe DiagnosticSeverity
- diagFromStrings :: Text -> DiagnosticSeverity -> [(SrcSpan, String)] -> [FileDiagnostic]
- diagFromString :: Text -> DiagnosticSeverity -> SrcSpan -> String -> [FileDiagnostic]
- noSpan :: String -> SrcSpan
- zeroSpan :: FastString -> RealSrcSpan
- realSpan :: SrcSpan -> Maybe RealSrcSpan
- catchSrcErrors :: DynFlags -> Text -> IO a -> IO (Either [FileDiagnostic] a)
- diagFromGhcException :: Text -> DynFlags -> GhcException -> [FileDiagnostic]
- data Logger = Logger {
- logPriority :: Priority -> Text -> IO ()
- data Priority
- logError :: Logger -> Text -> IO ()
- logWarning :: Logger -> Text -> IO ()
- logInfo :: Logger -> Text -> IO ()
- logDebug :: Logger -> Text -> IO ()
- logTelemetry :: Logger -> Text -> IO ()
- noLogging :: Logger
- data GhcSessionIO = GhcSessionIO
- data GetClientSettings = GetClientSettings
- data GetModSummary = GetModSummary
- data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
- data IsFileOfInterest = IsFileOfInterest
- data GetModIfaceWithoutLinkable = GetModIfaceWithoutLinkable
- data GetModIface = GetModIface
- data GetModIfaceFromDisk = GetModIfaceFromDisk
- data GhcSessionDeps = GhcSessionDeps
- data GhcSession = GhcSession
- data GetBindings = GetBindings
- data GetHieAst = GetHieAst
- data GetDocMap = GetDocMap
- data TypeCheck = TypeCheck
- data GetDependencies = GetDependencies
- data ReportImportCycles = ReportImportCycles
- data GetModuleGraph = GetModuleGraph
- data GetDependencyInformation = GetDependencyInformation
- data NeedsCompilation = NeedsCompilation
- data GetLocatedImports = GetLocatedImports
- data GetParsedModule = GetParsedModule
- data IsFileOfInterestResult
- data FileOfInterestStatus
- data GetFileContents = GetFileContents
- data FileVersion
- = VFSVersion !Int
- | ModificationTime !Int64 !Int64
- data GetModificationTime = GetModificationTime_ {}
- data DocAndKindMap = DKMap {
- getDocMap :: !DocMap
- getKindMap :: !KindMap
- data HieAstResult = HAR {}
- data HiFileResult = HiFileResult {}
- data TcModuleResult = TcModuleResult {}
- newtype ImportMap = ImportMap {}
- data GetImportMap = GetImportMap
- data GenerateCore = GenerateCore
- data GetKnownTargets = GetKnownTargets
- data LinkableType
- pattern GetModificationTime :: GetModificationTime
- tmrModSummary :: TcModuleResult -> ModSummary
- hiFileFingerPrint :: HiFileResult -> ByteString
- hirModIface :: HiFileResult -> ModIface
- vfsVersion :: FileVersion -> Maybe Int
- data FastResult a = FastResult {}
- newtype IdeAction a = IdeAction {}
- data IdeState
- type IdeRule k v = (RuleResult k ~ v, ShakeValue k, Show v, Typeable v, NFData v)
- data ShakeExtras
- define :: IdeRule k v => (k -> NormalizedFilePath -> Action (IdeResult v)) -> Rules ()
- use :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe v)
- useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (v, PositionMapping))
- useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (v, PositionMapping)
- runIdeAction :: String -> ShakeExtras -> IdeAction a -> IO a
- useWithStaleFast :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (Maybe (v, PositionMapping))
- useWithStaleFast' :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (FastResult v)
- useNoFile :: IdeRule k v => k -> Action (Maybe v)
- use_ :: IdeRule k v => k -> NormalizedFilePath -> Action v
- useNoFile_ :: IdeRule k v => k -> Action v
- uses_ :: IdeRule k v => k -> [NormalizedFilePath] -> Action [v]
- uses :: IdeRule k v => k -> [NormalizedFilePath] -> Action [Maybe v]
- defineEarlyCutoff :: IdeRule k v => (k -> NormalizedFilePath -> Action (Maybe ByteString, IdeResult v)) -> Rules ()
- ideLogger :: IdeState -> Logger
- actionLogger :: Action Logger
- getFilesOfInterest :: Action (HashMap NormalizedFilePath FileOfInterestStatus)
- data IdeConfiguration = IdeConfiguration {}
- isWorkspaceFile :: NormalizedFilePath -> Action Bool
- getFileContents :: NormalizedFilePath -> Action (UTCTime, Maybe Text)
- getFileExists :: NormalizedFilePath -> Action Bool
- runAction :: String -> IdeState -> Action a -> IO a
- getAtPoint :: NormalizedFilePath -> Position -> IdeAction (Maybe (Maybe Range, [Text]))
- getDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe Location)
- getTypeDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location])
- getParsedModule :: NormalizedFilePath -> Action (Maybe ParsedModule)
- getClientConfigAction :: (Default a, FromJSON a) => Action a
- data Plugin c = Plugin {
- pluginRules :: Rules ()
- pluginHandler :: PartialHandlers c
- codeActionPlugin :: (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c
- codeActionPluginWithRules :: Rules () -> (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c
- makeLspCommandId :: Text -> IO Text
Documentation
data ParseResult a #
The result of running a parser.
Constructors
| POk | The parser has consumed a (possibly empty) prefix
of the input and produced a result. Use |
Fields
| |
| PFailed | The parser has consumed a (possibly empty) prefix of the input and failed. |
Fields
| |
data Diagnostic #
Constructors
| Diagnostic | |
Fields | |
Instances
data DiagnosticSeverity #
Instances
Instances
| Eq Location | |
| Ord Location | |
Defined in Language.Haskell.LSP.Types.Location | |
| Read Location | |
| Show Location | |
| Generic Location | |
| ToJSON Location | |
Defined in Language.Haskell.LSP.Types.Location | |
| FromJSON Location | |
| NFData Location | |
Defined in Language.Haskell.LSP.Types.Location | |
| HasLocation DiagnosticRelatedInformation Location | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasLocation SymbolInformation Location | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasUri Location Uri | |
| HasRange Location Range | |
| type Rep Location | |
Defined in Language.Haskell.LSP.Types.Location type Rep Location = D1 ('MetaData "Location" "Language.Haskell.LSP.Types.Location" "haskell-lsp-types-0.22.0.0-EfapullNGsY7lNM4JgHPrp" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) | |
Instances
Constructors
| Position | |
Fields
| |
Instances
fromNormalizedUri :: NormalizedUri -> Uri #
toNormalizedUri :: Uri -> NormalizedUri #
Instances
| Eq Uri | |
| Ord Uri | |
| Read Uri | |
| Show Uri | |
| Generic Uri | |
| Hashable Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
| ToJSON Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
| ToJSONKey Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
| FromJSON Uri | |
| FromJSONKey Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
| NFData Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
| HasUri PublishDiagnosticsParams Uri | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasUri FileEvent Uri | |
| HasUri VersionedTextDocumentIdentifier Uri | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasUri TextDocumentItem Uri | |
Defined in Language.Haskell.LSP.Types.Lens Methods uri :: Lens' TextDocumentItem Uri # | |
| HasUri TextDocumentIdentifier Uri | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasUri Location Uri | |
| HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) | |
Defined in Language.Haskell.LSP.Types.Lens Methods | |
| HasRootUri InitializeParams (Maybe Uri) | |
Defined in Language.Haskell.LSP.Types.Lens | |
| type Rep Uri | |
Defined in Language.Haskell.LSP.Types.Uri | |
data NormalizedUri #
Instances
data NormalizedFilePath #
Newtype wrapper around FilePath that always has normalized slashes. The NormalizedUri and hash of the FilePath are cached to avoided repeated normalisation when we need to compute them (which is a lot).
This is one of the most performance critical parts of ghcide, do not modify it without profiling.
Instances
This data type is used to host a FromJSON instance for the encoding used by elisp, where an empty list shows up as "null"
Constructors
| List [a] |
Instances
action :: Partial => Action a -> Rules () #
Run an action, usually used for specifying top-level requirements.
main =shakeshakeOptions$ doaction$ do b <-doesFileExist"file.src" when b $need["file.out"]
This action builds file.out, but only if file.src exists. The action
will be run in every build execution (unless withoutActions is used), so only cheap
operations should be performed. On the flip side, consulting system information
(e.g. environment variables) can be done directly as the information will not be cached.
All calls to action may be run in parallel, in any order.
For the standard requirement of only needing a fixed list of files in the action,
see want.
Define a set of rules. Rules can be created with calls to functions such as %> or action.
Rules are combined with either the Monoid instance, or (more commonly) the Monad instance and do notation.
To define your own custom types of rule, see Development.Shake.Rule.
Instances
| Monad Rules | |
| Functor Rules | |
| MonadFix Rules | |
Defined in Development.Shake.Internal.Core.Rules | |
| MonadFail Rules | |
Defined in Development.Shake.Internal.Core.Rules | |
| Applicative Rules | |
| MonadIO Rules | |
Defined in Development.Shake.Internal.Core.Rules | |
| Semigroup a => Semigroup (Rules a) | |
| (Semigroup a, Monoid a) => Monoid (Rules a) | |
type family RuleResult key #
The type mapping between the key or a rule and the resulting value.
See addBuiltinRule and apply.
Instances
| type RuleResult FileQ | |
Defined in Development.Shake.Internal.Rules.File type RuleResult FileQ = FileR | |
| type RuleResult DoesDirectoryExistQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult DoesDirectoryExistQ = DoesDirectoryExistA | |
| type RuleResult DoesFileExistQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult DoesFileExistQ = DoesFileExistA | |
| type RuleResult GetDirectoryContentsQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryContentsQ = GetDirectoryA | |
| type RuleResult GetDirectoryDirsQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryDirsQ = GetDirectoryA | |
| type RuleResult GetDirectoryFilesQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryFilesQ = GetDirectoryA | |
| type RuleResult GetEnvQ | |
Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetEnvQ = GetEnvA | |
| type RuleResult FilesQ | |
Defined in Development.Shake.Internal.Rules.Files type RuleResult FilesQ = FilesA | |
| type RuleResult AlwaysRerunQ | |
Defined in Development.Shake.Internal.Rules.Rerun type RuleResult AlwaysRerunQ = () | |
| type RuleResult GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetClientSettings Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModSummary Source # | Generate a ModSummary that has enough information to be used to get .hi and .hie files. without needing to parse the entire source |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModSummaryWithoutTimestamps Source # | Generate a ModSummary with the timestamps elided, for more successful early cutoff |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult IsFileOfInterest Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModIfaceWithoutLinkable Source # | Get a module interface details, without the Linkable For better early cuttoff |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModIface Source # | Get a module interface details, either from an interface file or a typechecked module |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModIfaceFromDisk Source # | Read the module interface file from disk. Throws an error for VFS files.
This is an internal rule, use |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GhcSessionDeps Source # | A GHC session preloaded with all the dependencies |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GhcSession Source # | A GHC session that we reuse. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetBindings Source # | A IntervalMap telling us what is in scope at each point |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetHieAst Source # | The uncompressed HieAST |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetDocMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult TypeCheck Source # | The type checked version of this file, requires TypeCheck+ |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetDependencies Source # | Transitive module and pkg dependencies based on the information produced by GetDependencyInformation. This rule is also responsible for calling ReportImportCycles for each file in the transitive closure. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult ReportImportCycles Source # | This rule is used to report import cycles. It depends on GetDependencyInformation. We cannot report the cycles directly from GetDependencyInformation since we can only report diagnostics for the current file. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModuleGraph Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetDependencyInformation Source # | The dependency information produced by following the imports recursively. This rule will succeed even if there is an error, e.g., a module could not be located, a module could not be parsed or an import cycle. |
| type RuleResult NeedsCompilation Source # | Does this module need to be compiled? |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetLocatedImports Source # | Resolve the imports in a module to the file path of a module in the same package or the package id of another package. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetParsedModule Source # | The parse tree for the file using GetFileContents |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetFileContents Source # | Get the contents of a file, either dirty (if the buffer is modified) or Nothing to mean use from disk. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetModificationTime Source # | Get the modification time of a file. |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GenerateCore Source # | Convert to Core, requires TypeCheck* |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GetKnownTargets Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult (OracleQ a) | |
Defined in Development.Shake.Internal.Rules.Oracle | |
| type RuleResult (Q k) Source # | |
Defined in Development.IDE.Core.Shake | |
The Action monad, use liftIO to raise IO actions into it, and need to execute files.
Action values are used by addUserRule and action. The Action monad tracks the dependencies of a rule.
To raise an exception call error, fail or liftIO . throwIO
Instances
| Monad Action | |
| Functor Action | |
| MonadFail Action | |
Defined in Development.Shake.Internal.Core.Types | |
| Applicative Action | |
| MonadIO Action | |
Defined in Development.Shake.Internal.Core.Types | |
| MonadTempDir Action | |
Defined in Development.Shake.Command Methods runWithTempDir :: (FilePath -> Action a) -> Action a runWithTempFile :: (FilePath -> Action a) -> Action a | |
| Semigroup a => Semigroup (Action a) | |
| Monoid a => Monoid (Action a) | |
| CmdResult r => CmdArguments (Action r) | |
Defined in Development.Shake.Command Methods cmdArguments :: CmdArgument -> Action r # | |
dontWriteHieFiles :: DynFlags -> DynFlags 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.
showPosition :: Position -> String Source #
readSrcSpan :: ReadS RealSrcSpan Source #
Parser for the GHC output format
type FileDiagnostic = (NormalizedFilePath, ShowDiagnostic, Diagnostic) Source #
Human readable diagnostics for a specific file.
This type packages a pretty printed, human readable error message along with the related source location so that we can display the error on either the console or in the IDE at the right source location.
data ShowDiagnostic Source #
Defines whether a particular diagnostic should be reported back to the user.
One important use case is "missing signature" code lenses, for which we need to enable the corresponding warning during type checking. However, we do not want to show the warning unless the programmer asks for it (#261).
Instances
| Eq ShowDiagnostic Source # | |
Defined in Development.IDE.Types.Diagnostics Methods (==) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (/=) :: ShowDiagnostic -> ShowDiagnostic -> Bool # | |
| Ord ShowDiagnostic Source # | |
Defined in Development.IDE.Types.Diagnostics Methods compare :: ShowDiagnostic -> ShowDiagnostic -> Ordering # (<) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (<=) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (>) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (>=) :: ShowDiagnostic -> ShowDiagnostic -> Bool # max :: ShowDiagnostic -> ShowDiagnostic -> ShowDiagnostic # min :: ShowDiagnostic -> ShowDiagnostic -> ShowDiagnostic # | |
| Show ShowDiagnostic Source # | |
Defined in Development.IDE.Types.Diagnostics Methods showsPrec :: Int -> ShowDiagnostic -> ShowS # show :: ShowDiagnostic -> String # showList :: [ShowDiagnostic] -> ShowS # | |
| NFData ShowDiagnostic Source # | |
Defined in Development.IDE.Types.Diagnostics Methods rnf :: ShowDiagnostic -> () # | |
type IdeResult v = ([FileDiagnostic], Maybe v) Source #
The result of an IDE operation. Warnings and errors are in the Diagnostic, and a value is in the Maybe. For operations that throw an error you expect a non-empty list of diagnostics, at least one of which is an error, and a Nothing. For operations that succeed you expect perhaps some warnings and a Just. For operations that depend on other failing operations you may get empty diagnostics and a Nothing, to indicate this phase throws no fresh errors but still failed.
A rule on a file should only return diagnostics for that given file. It should not propagate diagnostic errors through multiple phases.
ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic Source #
ideErrorWithSource :: Maybe DiagnosticSource -> Maybe DiagnosticSeverity -> a -> Text -> (a, ShowDiagnostic, Diagnostic) Source #
showDiagnostics :: [FileDiagnostic] -> Text Source #
showDiagnosticsColored :: [FileDiagnostic] -> Text Source #
An HscEnv with equality. Two values are considered equal
if they are created with the same call to newHscEnvEq.
modifyDynFlags :: GhcMonad m => (DynFlags -> DynFlags) -> m () Source #
Used to modify dyn flags in preference to calling setSessionDynFlags,
since that function also reloads packages (which is very slow).
lookupPackageConfig :: UnitId -> HscEnv -> Maybe PackageConfig Source #
Given a UnitId try and find the associated PackageConfig in the environment.
textToStringBuffer :: Text -> StringBuffer Source #
Convert from the text package to the GHC StringBuffer.
Currently implemented somewhat inefficiently (if it ever comes up in a profile).
prettyPrint :: Outputable a => a -> String Source #
Pretty print a GHC value using 'unsafeGlobalDynFlags '.
moduleImportPath :: NormalizedFilePath -> ModuleName -> Maybe FilePath Source #
Given a module location, and its parse tree, figure out what is the include directory implied by it.
For example, given the file /usr/Test/Foo/Bar.hs with the module name Foo.Bar the directory
/usr/Test should be on the include path to find sibling modules.
newHscEnvEq :: FilePath -> HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq Source #
newHscEnvEqWithImportPaths :: Maybe [String] -> HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq Source #
newHscEnvEqPreserveImportPaths :: HscEnv -> [(InstalledUnitId, DynFlags)] -> IO HscEnvEq Source #
hscEnvWithImportPaths :: HscEnvEq -> HscEnv Source #
Unwrap the HscEnv with the original import paths.
Used only for locating imports
readFileUtf8 :: FilePath -> IO Text Source #
Read a UTF8 file, with lenient decoding, so it will never raise a decoding error.
cgGutsToCoreModule :: SafeHaskellMode -> CgGuts -> ModDetails -> CoreModule Source #
Convert from a CgGuts to a CoreModule.
fingerprintToBS :: Fingerprint -> ByteString Source #
Convert a Fingerprint to a ByteString by copying the byte across.
Will produce an 8 byte unreadable ByteString.
fingerprintFromStringBuffer :: StringBuffer -> IO Fingerprint Source #
Take the Fingerprint of a StringBuffer.
hDuplicateTo' :: Handle -> Handle -> IO () Source #
A slightly modified version of hDuplicateTo from GHC.
Importantly, it avoids the bug listed in https://gitlab.haskell.org/ghc/ghc/merge_requests/2318.
diagFromErrMsg :: Text -> DynFlags -> ErrMsg -> [FileDiagnostic] Source #
Produce a GHC-style error from a source span and a message.
diagFromErrMsgs :: Text -> DynFlags -> Bag ErrMsg -> [FileDiagnostic] Source #
srcSpanToFilename :: SrcSpan -> Maybe FilePath Source #
Extract a file name from a GHC SrcSpan (use message for unhelpful ones) FIXME This may not be an _absolute_ file name, needs fixing.
toDSeverity :: Severity -> Maybe DiagnosticSeverity Source #
Convert a GHC severity to a DAML compiler Severity. Severities below Warning level are dropped (returning Nothing).
diagFromStrings :: Text -> DiagnosticSeverity -> [(SrcSpan, String)] -> [FileDiagnostic] Source #
Produce a bag of GHC-style errors (ErrorMessages) from the given
(optional) locations and message strings.
diagFromString :: Text -> DiagnosticSeverity -> SrcSpan -> String -> [FileDiagnostic] Source #
Produce a GHC-style error from a source span and a message.
Arguments
| :: FastString | file path of span |
| -> RealSrcSpan |
creates a span with zero length in the filename of the argument passed
catchSrcErrors :: DynFlags -> Text -> IO a -> IO (Either [FileDiagnostic] a) Source #
Catch the errors thrown by GHC (SourceErrors and compiler-internal exceptions like Panic or InstallationError), and turn them into diagnostics
diagFromGhcException :: Text -> DynFlags -> GhcException -> [FileDiagnostic] Source #
Note that this is logging actions _of the program_, not of the user. You shouldn't call warning/error if the user has caused an error, only if our code has gone wrong and is itself erroneous (e.g. we threw an exception).
Constructors
| Logger | |
Fields
| |
Constructors
| Telemetry | Events that are useful for gathering user metrics. |
| Debug | Verbose debug logging. |
| Info | Useful information in case an error has to be understood. |
| Warning | These error messages should not occur in a expected usage, and should be investigated. |
| Error | Such log messages must never occur in expected usage. |
Instances
| Bounded Priority Source # | |
| Enum Priority Source # | |
Defined in Development.IDE.Types.Logger | |
| Eq Priority Source # | |
| Ord Priority Source # | |
Defined in Development.IDE.Types.Logger | |
| Show Priority Source # | |
data GhcSessionIO Source #
Constructors
| GhcSessionIO |
Instances
| Eq GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionIO -> ShowS # show :: GhcSessionIO -> String # showList :: [GhcSessionIO] -> ShowS # | |
| Generic GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionIO :: Type -> Type # | |
| Hashable GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionIO -> () # | |
| type Rep GhcSessionIO Source # | |
| type RuleResult GhcSessionIO Source # | |
Defined in Development.IDE.Core.RuleTypes | |
data GetClientSettings Source #
Get the vscode client settings stored in the ide state
Constructors
| GetClientSettings |
Instances
data GetModSummary Source #
Constructors
| GetModSummary |
Instances
| Eq GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummary -> GetModSummary -> Bool # (/=) :: GetModSummary -> GetModSummary -> Bool # | |
| Show GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS # | |
| Generic GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummary :: Type -> Type # | |
| Hashable GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GetModSummary Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () # | |
| type Rep GetModSummary Source # | |
| type RuleResult GetModSummary Source # | Generate a ModSummary that has enough information to be used to get .hi and .hie files. without needing to parse the entire source |
Defined in Development.IDE.Core.RuleTypes | |
data GetModSummaryWithoutTimestamps Source #
Constructors
| GetModSummaryWithoutTimestamps |
Instances
data IsFileOfInterest Source #
Constructors
| IsFileOfInterest |
Instances
data GetModIfaceWithoutLinkable Source #
Constructors
| GetModIfaceWithoutLinkable |
Instances
data GetModIface Source #
Constructors
| GetModIface |
Instances
| Eq GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS # | |
| Generic GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIface :: Type -> Type # | |
| Hashable GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GetModIface Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () # | |
| type Rep GetModIface Source # | |
| type RuleResult GetModIface Source # | Get a module interface details, either from an interface file or a typechecked module |
Defined in Development.IDE.Core.RuleTypes | |
data GetModIfaceFromDisk Source #
Constructors
| GetModIfaceFromDisk |
Instances
data GhcSessionDeps Source #
Constructors
| GhcSessionDeps |
Instances
data GhcSession Source #
Constructors
| GhcSession |
Instances
| Eq GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS # | |
| Generic GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSession :: Type -> Type # | |
| Hashable GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GhcSession Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () # | |
| type Rep GhcSession Source # | |
| type RuleResult GhcSession Source # | A GHC session that we reuse. |
Defined in Development.IDE.Core.RuleTypes | |
data GetBindings Source #
Constructors
| GetBindings |
Instances
| Eq GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS # | |
| Generic GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetBindings :: Type -> Type # | |
| Hashable GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GetBindings Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () # | |
| type Rep GetBindings Source # | |
| type RuleResult GetBindings Source # | A IntervalMap telling us what is in scope at each point |
Defined in Development.IDE.Core.RuleTypes | |
Constructors
| GetHieAst |
Instances
| Eq GetHieAst Source # | |
| Show GetHieAst Source # | |
| Generic GetHieAst Source # | |
| Hashable GetHieAst Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetHieAst Source # | |
| NFData GetHieAst Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep GetHieAst Source # | |
| type RuleResult GetHieAst Source # | The uncompressed HieAST |
Defined in Development.IDE.Core.RuleTypes | |
Constructors
| GetDocMap |
Instances
| Eq GetDocMap Source # | |
| Show GetDocMap Source # | |
| Generic GetDocMap Source # | |
| Hashable GetDocMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetDocMap Source # | |
| NFData GetDocMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep GetDocMap Source # | |
| type RuleResult GetDocMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
Constructors
| TypeCheck |
Instances
| Eq TypeCheck Source # | |
| Show TypeCheck Source # | |
| Generic TypeCheck Source # | |
| Hashable TypeCheck Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary TypeCheck Source # | |
| NFData TypeCheck Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep TypeCheck Source # | |
| type RuleResult TypeCheck Source # | The type checked version of this file, requires TypeCheck+ |
Defined in Development.IDE.Core.RuleTypes | |
data GetDependencies Source #
Constructors
| GetDependencies |
Instances
data ReportImportCycles Source #
Constructors
| ReportImportCycles |
Instances
data GetModuleGraph Source #
Constructors
| GetModuleGraph |
Instances
data GetDependencyInformation Source #
Constructors
| GetDependencyInformation |
Instances
data NeedsCompilation Source #
Constructors
| NeedsCompilation |
Instances
data GetLocatedImports Source #
Constructors
| GetLocatedImports |
Instances
data GetParsedModule Source #
Constructors
| GetParsedModule |
Instances
data IsFileOfInterestResult Source #
Constructors
| NotFOI | |
| IsFOI FileOfInterestStatus |
Instances
data FileOfInterestStatus Source #
Instances
data GetFileContents Source #
Constructors
| GetFileContents |
Instances
data FileVersion Source #
Constructors
| VFSVersion !Int | |
| ModificationTime | |
Instances
data GetModificationTime Source #
Constructors
| GetModificationTime_ | |
Fields
| |
Instances
data DocAndKindMap Source #
Constructors
| DKMap | |
Fields
| |
Instances
| Show DocAndKindMap Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> DocAndKindMap -> ShowS # show :: DocAndKindMap -> String # showList :: [DocAndKindMap] -> ShowS # | |
| NFData DocAndKindMap Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: DocAndKindMap -> () # | |
data HieAstResult Source #
Save the uncompressed AST here, we compress it just before writing to disk
Constructors
| HAR | |
Instances
| Show HieAstResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HieAstResult -> ShowS # show :: HieAstResult -> String # showList :: [HieAstResult] -> ShowS # | |
| NFData HieAstResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieAstResult -> () # | |
data HiFileResult Source #
Constructors
| HiFileResult | |
Fields
| |
Instances
| Show HiFileResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HiFileResult -> ShowS # show :: HiFileResult -> String # showList :: [HiFileResult] -> ShowS # | |
| NFData HiFileResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HiFileResult -> () # | |
data TcModuleResult Source #
Contains the typechecked module and the OrigNameCache entry for that module.
Constructors
| TcModuleResult | |
Fields
| |
Instances
| Show TcModuleResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TcModuleResult -> ShowS # show :: TcModuleResult -> String # showList :: [TcModuleResult] -> ShowS # | |
| NFData TcModuleResult Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: TcModuleResult -> () # | |
Constructors
| ImportMap | |
Fields
| |
data GetImportMap Source #
Constructors
| GetImportMap |
Instances
| Eq GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetImportMap -> ShowS # show :: GetImportMap -> String # showList :: [GetImportMap] -> ShowS # | |
| Generic GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetImportMap :: Type -> Type # | |
| Hashable GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetImportMap -> () # | |
| type Rep GetImportMap Source # | |
| type RuleResult GetImportMap Source # | |
Defined in Development.IDE.Core.RuleTypes | |
data GenerateCore Source #
Constructors
| GenerateCore |
Instances
| Eq GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS # | |
| Generic GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateCore :: Type -> Type # | |
| Hashable GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Binary GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| NFData GenerateCore Source # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () # | |
| type Rep GenerateCore Source # | |
| type RuleResult GenerateCore Source # | Convert to Core, requires TypeCheck* |
Defined in Development.IDE.Core.RuleTypes | |
data GetKnownTargets Source #
Constructors
| GetKnownTargets |
Instances
data LinkableType Source #
Constructors
| ObjectLinkable | |
| BCOLinkable |
Instances
| Eq LinkableType Source # | |
Defined in Development.IDE.Core.RuleTypes | |
| Ord LinkableType Source # | |
Defined in Development.IDE.Core.RuleTypes Methods compare :: LinkableType -> LinkableType -> Ordering # (<) :: LinkableType -> LinkableType -> Bool # (<=) :: LinkableType -> LinkableType -> Bool # (>) :: LinkableType -> LinkableType -> Bool # (>=) :: LinkableType -> LinkableType -> Bool # max :: LinkableType -> LinkableType -> LinkableType # min :: LinkableType -> LinkableType -> LinkableType # | |
| Show LinkableType Source # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableType -> ShowS # show :: LinkableType -> String # showList :: [LinkableType] -> ShowS # | |
pattern GetModificationTime :: GetModificationTime Source #
hirModIface :: HiFileResult -> ModIface Source #
vfsVersion :: FileVersion -> Maybe Int Source #
data FastResult a Source #
A (maybe) stale result now, and an up to date one later
Constructors
| FastResult | |
Constructors
| IdeAction | |
Fields | |
Instances
| Monad IdeAction Source # | |
| Functor IdeAction Source # | |
| Applicative IdeAction Source # | |
Defined in Development.IDE.Core.Shake | |
| MonadIO IdeAction Source # | |
Defined in Development.IDE.Core.Shake | |
| MonadReader ShakeExtras IdeAction Source # | |
Defined in Development.IDE.Core.Shake Methods ask :: IdeAction ShakeExtras # local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a # reader :: (ShakeExtras -> a) -> IdeAction a # | |
A Shake database plus persistent store. Can be thought of as storing
mappings from (FilePath, k) to RuleResult k.
type IdeRule k v = (RuleResult k ~ v, ShakeValue k, Show v, Typeable v, NFData v) Source #
data ShakeExtras Source #
Instances
| MonadReader ShakeExtras IdeAction Source # | |
Defined in Development.IDE.Core.Shake Methods ask :: IdeAction ShakeExtras # local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a # reader :: (ShakeExtras -> a) -> IdeAction a # | |
define :: IdeRule k v => (k -> NormalizedFilePath -> Action (IdeResult v)) -> Rules () Source #
Define a new Rule without early cutoff
use :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe v) Source #
Request a Rule result if available
useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (v, PositionMapping)) Source #
Request a Rule result, it not available return the last computed result, if any, which may be stale
useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (v, PositionMapping) Source #
Request a Rule result, it not available return the last computed result which may be stale. Errors out if none available.
runIdeAction :: String -> ShakeExtras -> IdeAction a -> IO a Source #
IdeActions are used when we want to return a result immediately, even if it is stale Useful for UI actions like hover, completion where we don't want to block.
useWithStaleFast :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (Maybe (v, PositionMapping)) Source #
Lookup value in the database and return with the stale value immediately Will queue an action to refresh the value. Might block the first time the rule runs, but never blocks after that.
useWithStaleFast' :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (FastResult v) Source #
Same as useWithStaleFast but lets you wait for an up to date result
useNoFile_ :: IdeRule k v => k -> Action v Source #
defineEarlyCutoff :: IdeRule k v => (k -> NormalizedFilePath -> Action (Maybe ByteString, IdeResult v)) -> Rules () Source #
Define a new Rule with early cutoff
getFilesOfInterest :: Action (HashMap NormalizedFilePath FileOfInterestStatus) Source #
Get the files that are open in the IDE.
data IdeConfiguration Source #
Lsp client relevant configuration details
Constructors
| IdeConfiguration | |
Fields | |
Instances
| Show IdeConfiguration Source # | |
Defined in Development.IDE.Core.IdeConfiguration Methods showsPrec :: Int -> IdeConfiguration -> ShowS # show :: IdeConfiguration -> String # showList :: [IdeConfiguration] -> ShowS # | |
getFileContents :: NormalizedFilePath -> Action (UTCTime, Maybe Text) Source #
Returns the modification time and the contents. For VFS paths, the modification time is the current time.
getFileExists :: NormalizedFilePath -> Action Bool Source #
Returns True if the file exists
Note that a file is not considered to exist unless it is saved to disk.
In particular, VFS existence is not enough.
Consider the following example:
1. The file A.hs containing the line import B is added to the files of interest
Since B.hs is neither open nor exists, GetLocatedImports finds Nothing
2. The editor creates a new buffer B.hs
Unless the editor also sends a DidChangeWatchedFile event, ghcide will not pick it up
Most editors, e.g. VSCode, only send the event when the file is saved to disk.
getAtPoint :: NormalizedFilePath -> Position -> IdeAction (Maybe (Maybe Range, [Text])) Source #
Try to get hover text for the name under point.
getDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe Location) Source #
Goto Definition.
getTypeDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location]) Source #
getParsedModule :: NormalizedFilePath -> Action (Maybe ParsedModule) Source #
Parse the contents of a daml file.
getClientConfigAction :: (Default a, FromJSON a) => Action a Source #
Returns the client configurarion stored in the IdeState. You can use this function to access it from shake Rules
Constructors
| Plugin | |
Fields
| |
codeActionPlugin :: (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c Source #
codeActionPluginWithRules :: Rules () -> (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c Source #
makeLspCommandId :: Text -> IO Text Source #
Prefix to uniquely identify commands sent to the client. This has two parts
- A representation of the process id to make sure that a client has unique commands if it is running multiple servers, since some clients have a global command table and get confused otherwise.
- A string to identify ghcide, to ease integration into haskell-language-server, which routes commands to plugins based on that.