| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Development.IDE.Core.RuleTypes
Description
A Shake implementation of the compiler service, built using the Shaker abstraction layer for in-memory use.
Synopsis
- newtype GhcSessionDeps where
- GhcSessionDeps_ { }
- pattern GhcSessionDeps :: GhcSessionDeps
- data TcModuleResult = TcModuleResult {}
- data FileOfInterestStatus
- data GetParsedModule = GetParsedModule
- data GhcSessionIO = GhcSessionIO
- data GetClientSettings = GetClientSettings
- newtype GhcSessionDeps = GhcSessionDeps_ {}
- pattern GhcSessionDeps :: GhcSessionDeps
- newtype GetModificationTime = GetModificationTime_ {}
- pattern GetModificationTime :: GetModificationTime
- data FileVersion
- data GenerateCore = GenerateCore
- data GetHieAst = GetHieAst
- data TypeCheck = TypeCheck
- data IdeGhcSession = IdeGhcSession {
- loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath])
- sessionVersion :: !Int
- data GhcSession = GhcSession
- data GetFileExists = GetFileExists
- newtype ImportMap = ImportMap {}
- data GetLocatedImports = GetLocatedImports
- data GetKnownTargets = GetKnownTargets
- data LinkableType
- encodeLinkableType :: Maybe LinkableType -> ByteString
- data GetParsedModuleWithComments = GetParsedModuleWithComments
- data GetModuleGraph = GetModuleGraph
- data GetLinkable = GetLinkable
- data LinkableResult = LinkableResult {}
- data GetImportMap = GetImportMap
- data Splices = Splices {
- exprSplices :: [(LHsExpr GhcTc, LHsExpr GhcPs)]
- patSplices :: [(LHsExpr GhcTc, LPat GhcPs)]
- typeSplices :: [(LHsExpr GhcTc, LHsType GhcPs)]
- declSplices :: [(LHsExpr GhcTc, [LHsDecl GhcPs])]
- awSplices :: [(LHsExpr GhcTc, Serialized)]
- tmrModSummary :: TcModuleResult -> ModSummary
- data HiFileResult = HiFileResult {
- hirModSummary :: !ModSummary
- hirModIface :: !ModIface
- hirModDetails :: ModDetails
- hirIfaceFp :: !ByteString
- hirRuntimeModules :: !(ModuleEnv ByteString)
- hirCoreFp :: !(Maybe (CoreFile, ByteString))
- hiFileFingerPrint :: HiFileResult -> ByteString
- mkHiFileResult :: ModSummary -> ModIface -> ModDetails -> ModuleEnv ByteString -> Maybe (CoreFile, ByteString) -> HiFileResult
- data HieAstResult = Typeable a => HAR {}
- data HieKind a where
- data GetBindings = GetBindings
- data DocAndTyThingMap = DKMap {
- getDocMap :: !DocMap
- getTyThingMap :: !TyThingMap
- data GetDocMap = GetDocMap
- data ReportImportCycles = ReportImportCycles
- data GetModIfaceFromDisk = GetModIfaceFromDisk
- data GetModIfaceFromDiskAndIndex = GetModIfaceFromDiskAndIndex
- data GetModIface = GetModIface
- data GetFileContents = GetFileContents
- data AddWatchedFile = AddWatchedFile
- vfsVersion :: FileVersion -> Maybe Int32
- data IsFileOfInterestResult
- data IsFileOfInterest = IsFileOfInterest
- data ModSummaryResult = ModSummaryResult {}
- data GetModSummary = GetModSummary
- data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
- data NeedsCompilation = NeedsCompilation
- awSplicesL :: Lens' Splices [(LHsExpr GhcTc, Serialized)]
- declSplicesL :: Lens' Splices [(LHsExpr GhcTc, [LHsDecl GhcPs])]
- exprSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsExpr GhcPs)]
- patSplicesL :: Lens' Splices [(LHsExpr GhcTc, LPat GhcPs)]
- typeSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsType GhcPs)]
Documentation
newtype GhcSessionDeps #
Constructors
| GhcSessionDeps_ | |
Fields
| |
Bundled Patterns
| pattern GhcSessionDeps :: GhcSessionDeps |
Instances
| NFData GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () # | |
| Show GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS # | |
| Eq GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool # | |
| Hashable GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GhcSessionDeps # | A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies |
Defined in Development.IDE.Core.RuleTypes | |
data TcModuleResult #
Contains the typechecked module and the OrigNameCache entry for that module.
Constructors
| TcModuleResult | |
Fields
| |
Instances
| NFData TcModuleResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: TcModuleResult -> () # | |
| Show TcModuleResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TcModuleResult -> ShowS # show :: TcModuleResult -> String # showList :: [TcModuleResult] -> ShowS # | |
data FileOfInterestStatus #
Instances
data GetParsedModule #
Constructors
| GetParsedModule |
Instances
| NFData GetParsedModule # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModule -> () # | |||||
| Generic GetParsedModule # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetParsedModule -> Rep GetParsedModule x # to :: Rep GetParsedModule x -> GetParsedModule # | |||||
| Show GetParsedModule # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModule -> ShowS # show :: GetParsedModule -> String # showList :: [GetParsedModule] -> ShowS # | |||||
| Eq GetParsedModule # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModule -> GetParsedModule -> Bool # (/=) :: GetParsedModule -> GetParsedModule -> Bool # | |||||
| Hashable GetParsedModule # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetParsedModule # | |||||
| type RuleResult GetParsedModule # | The parse tree for the file using GetFileContents | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GhcSessionIO #
Constructors
| GhcSessionIO |
Instances
| NFData GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionIO -> () # | |||||
| Generic GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionIO -> ShowS # show :: GhcSessionIO -> String # showList :: [GhcSessionIO] -> ShowS # | |||||
| Eq GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GhcSessionIO # | |||||
| type RuleResult GhcSessionIO # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetClientSettings #
Get the client config stored in the ide state
Constructors
| GetClientSettings |
Instances
| NFData GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetClientSettings -> () # | |||||
| Generic GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetClientSettings -> Rep GetClientSettings x # to :: Rep GetClientSettings x -> GetClientSettings # | |||||
| Show GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetClientSettings -> ShowS # show :: GetClientSettings -> String # showList :: [GetClientSettings] -> ShowS # | |||||
| Eq GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetClientSettings -> GetClientSettings -> Bool # (/=) :: GetClientSettings -> GetClientSettings -> Bool # | |||||
| Hashable GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetClientSettings # | |||||
| type RuleResult GetClientSettings # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
newtype GhcSessionDeps #
Constructors
| GhcSessionDeps_ | |
Fields
| |
Instances
| NFData GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () # | |
| Show GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS # | |
| Eq GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool # | |
| Hashable GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes | |
| type RuleResult GhcSessionDeps # | A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies |
Defined in Development.IDE.Core.RuleTypes | |
pattern GhcSessionDeps :: GhcSessionDeps #
newtype GetModificationTime #
Constructors
| GetModificationTime_ | |
Fields
| |
Instances
| NFData GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModificationTime -> () # | |||||
| Generic GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetModificationTime -> Rep GetModificationTime x # to :: Rep GetModificationTime x -> GetModificationTime # | |||||
| Show GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModificationTime -> ShowS # show :: GetModificationTime -> String # showList :: [GetModificationTime] -> ShowS # | |||||
| Eq GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModificationTime -> GetModificationTime -> Bool # (/=) :: GetModificationTime -> GetModificationTime -> Bool # | |||||
| Hashable GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetModificationTime # | |||||
Defined in Development.IDE.Core.RuleTypes type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
| type RuleResult GetModificationTime # | Get the modification time of a file. | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
pattern GetModificationTime :: GetModificationTime #
data FileVersion #
Either the mtime from disk or an LSP version LSP versions always compare as greater than on disk versions
Constructors
| ModificationTime !POSIXTime | |
| VFSVersion !Int32 |
Instances
| NFData FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileVersion -> () # | |||||
| Generic FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileVersion -> ShowS # show :: FileVersion -> String # showList :: [FileVersion] -> ShowS # | |||||
| Eq FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Ord FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes Methods compare :: FileVersion -> FileVersion -> Ordering # (<) :: FileVersion -> FileVersion -> Bool # (<=) :: FileVersion -> FileVersion -> Bool # (>) :: FileVersion -> FileVersion -> Bool # (>=) :: FileVersion -> FileVersion -> Bool # max :: FileVersion -> FileVersion -> FileVersion # min :: FileVersion -> FileVersion -> FileVersion # | |||||
| type Rep FileVersion # | |||||
Defined in Development.IDE.Core.RuleTypes type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 POSIXTime)) :+: C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32))) | |||||
data GenerateCore #
Constructors
| GenerateCore |
Instances
| NFData GenerateCore # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () # | |||||
| Generic GenerateCore # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GenerateCore # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS # | |||||
| Eq GenerateCore # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GenerateCore # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GenerateCore # | |||||
| type RuleResult GenerateCore # | Convert to Core, requires TypeCheck* | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
Constructors
| GetHieAst |
Instances
| NFData GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes | |
| Generic GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GetHieAst # | |
| Eq GetHieAst # | |
| Hashable GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep GetHieAst # | |
| type RuleResult GetHieAst # | The uncompressed HieAST |
Defined in Development.IDE.Core.RuleTypes | |
Constructors
| TypeCheck |
Instances
| NFData TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes | |
| Generic TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show TypeCheck # | |
| Eq TypeCheck # | |
| Hashable TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep TypeCheck # | |
| type RuleResult TypeCheck # | The type checked version of this file, requires TypeCheck+ |
Defined in Development.IDE.Core.RuleTypes | |
data IdeGhcSession #
Constructors
| IdeGhcSession | |
Fields
| |
Instances
| NFData IdeGhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: IdeGhcSession -> () # | |
| Show IdeGhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IdeGhcSession -> ShowS # show :: IdeGhcSession -> String # showList :: [IdeGhcSession] -> ShowS # | |
data GhcSession #
Constructors
| GhcSession |
Instances
| NFData GhcSession # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () # | |||||
| Generic GhcSession # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GhcSession # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS # | |||||
| Eq GhcSession # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GhcSession # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GhcSession # | |||||
| type RuleResult GhcSession # | A GHC session that we reuse. | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetFileExists #
Constructors
| GetFileExists |
Instances
| NFData GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileExists -> () # | |||||
| Generic GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileExists -> ShowS # show :: GetFileExists -> String # showList :: [GetFileExists] -> ShowS # | |||||
| Eq GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetFileExists -> GetFileExists -> Bool # (/=) :: GetFileExists -> GetFileExists -> Bool # | |||||
| Hashable GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetFileExists # | |||||
| type RuleResult GetFileExists # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
Constructors
| ImportMap | |
Fields
| |
data GetLocatedImports #
Constructors
| GetLocatedImports |
Instances
| NFData GetLocatedImports # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLocatedImports -> () # | |||||
| Generic GetLocatedImports # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetLocatedImports -> Rep GetLocatedImports x # to :: Rep GetLocatedImports x -> GetLocatedImports # | |||||
| Show GetLocatedImports # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLocatedImports -> ShowS # show :: GetLocatedImports -> String # showList :: [GetLocatedImports] -> ShowS # | |||||
| Eq GetLocatedImports # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetLocatedImports -> GetLocatedImports -> Bool # (/=) :: GetLocatedImports -> GetLocatedImports -> Bool # | |||||
| Hashable GetLocatedImports # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetLocatedImports # | |||||
| type RuleResult GetLocatedImports # | Resolve the imports in a module to the file path of a module in the same package | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetKnownTargets #
Constructors
| GetKnownTargets |
Instances
| NFData GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetKnownTargets -> () # | |||||
| Generic GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetKnownTargets -> Rep GetKnownTargets x # to :: Rep GetKnownTargets x -> GetKnownTargets # | |||||
| Show GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetKnownTargets -> ShowS # show :: GetKnownTargets -> String # showList :: [GetKnownTargets] -> ShowS # | |||||
| Eq GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetKnownTargets -> GetKnownTargets -> Bool # (/=) :: GetKnownTargets -> GetKnownTargets -> Bool # | |||||
| Ord GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes Methods compare :: GetKnownTargets -> GetKnownTargets -> Ordering # (<) :: GetKnownTargets -> GetKnownTargets -> Bool # (<=) :: GetKnownTargets -> GetKnownTargets -> Bool # (>) :: GetKnownTargets -> GetKnownTargets -> Bool # (>=) :: GetKnownTargets -> GetKnownTargets -> Bool # max :: GetKnownTargets -> GetKnownTargets -> GetKnownTargets # min :: GetKnownTargets -> GetKnownTargets -> GetKnownTargets # | |||||
| Hashable GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetKnownTargets # | |||||
| type RuleResult GetKnownTargets # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
data LinkableType #
Constructors
| ObjectLinkable | |
| BCOLinkable |
Instances
| NFData LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableType -> () # | |||||
| Generic LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableType -> ShowS # show :: LinkableType -> String # showList :: [LinkableType] -> ShowS # | |||||
| Eq LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Ord LinkableType # | |||||
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 # | |||||
| Hashable LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep LinkableType # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
encodeLinkableType :: Maybe LinkableType -> ByteString #
Encode the linkable into an ordered bytestring.
This is used to drive an ordered "newness" predicate in the
NeedsCompilation build rule.
data GetParsedModuleWithComments #
Constructors
| GetParsedModuleWithComments |
Instances
| NFData GetParsedModuleWithComments # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModuleWithComments -> () # | |||||
| Generic GetParsedModuleWithComments # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetParsedModuleWithComments -> Rep GetParsedModuleWithComments x # to :: Rep GetParsedModuleWithComments x -> GetParsedModuleWithComments # | |||||
| Show GetParsedModuleWithComments # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModuleWithComments -> ShowS # show :: GetParsedModuleWithComments -> String # showList :: [GetParsedModuleWithComments] -> ShowS # | |||||
| Eq GetParsedModuleWithComments # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool # (/=) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool # | |||||
| Hashable GetParsedModuleWithComments # | |||||
Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModuleWithComments -> Int # hash :: GetParsedModuleWithComments -> Int # | |||||
| type Rep GetParsedModuleWithComments # | |||||
| type RuleResult GetParsedModuleWithComments # | The parse tree for the file using GetFileContents, all comments included using Opt_KeepRawTokenStream | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetModuleGraph #
Constructors
| GetModuleGraph |
Instances
| NFData GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModuleGraph -> () # | |||||
| Generic GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetModuleGraph -> Rep GetModuleGraph x # to :: Rep GetModuleGraph x -> GetModuleGraph # | |||||
| Show GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModuleGraph -> ShowS # show :: GetModuleGraph -> String # showList :: [GetModuleGraph] -> ShowS # | |||||
| Eq GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModuleGraph -> GetModuleGraph -> Bool # (/=) :: GetModuleGraph -> GetModuleGraph -> Bool # | |||||
| Hashable GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetModuleGraph # | |||||
| type RuleResult GetModuleGraph # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetLinkable #
Constructors
| GetLinkable |
Instances
| NFData GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLinkable -> () # | |||||
| Generic GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLinkable -> ShowS # show :: GetLinkable -> String # showList :: [GetLinkable] -> ShowS # | |||||
| Eq GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetLinkable # | |||||
| type RuleResult GetLinkable # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
data LinkableResult #
Constructors
| LinkableResult | |
Fields
| |
Instances
| NFData LinkableResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableResult -> () # | |
| Show LinkableResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableResult -> ShowS # show :: LinkableResult -> String # showList :: [LinkableResult] -> ShowS # | |
data GetImportMap #
Constructors
| GetImportMap |
Instances
| NFData GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetImportMap -> () # | |||||
| Generic GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetImportMap -> ShowS # show :: GetImportMap -> String # showList :: [GetImportMap] -> ShowS # | |||||
| Eq GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetImportMap # | |||||
| type RuleResult GetImportMap # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
Constructors
| Splices | |
Fields
| |
data HiFileResult #
Constructors
| HiFileResult | |
Fields
| |
Instances
| NFData HiFileResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HiFileResult -> () # | |
| Show HiFileResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HiFileResult -> ShowS # show :: HiFileResult -> String # showList :: [HiFileResult] -> ShowS # | |
mkHiFileResult :: ModSummary -> ModIface -> ModDetails -> ModuleEnv ByteString -> Maybe (CoreFile, ByteString) -> HiFileResult #
data HieAstResult #
Save the uncompressed AST here, we compress it just before writing to disk
Instances
| NFData HieAstResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieAstResult -> () # | |
| Show HieAstResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HieAstResult -> ShowS # show :: HieAstResult -> String # showList :: [HieAstResult] -> ShowS # | |
data GetBindings #
Constructors
| GetBindings |
Instances
| NFData GetBindings # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () # | |||||
| Generic GetBindings # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetBindings # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS # | |||||
| Eq GetBindings # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GetBindings # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetBindings # | |||||
| type RuleResult GetBindings # | A IntervalMap telling us what is in scope at each point | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data DocAndTyThingMap #
Constructors
| DKMap | |
Fields
| |
Instances
| NFData DocAndTyThingMap # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: DocAndTyThingMap -> () # | |
| Show DocAndTyThingMap # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> DocAndTyThingMap -> ShowS # show :: DocAndTyThingMap -> String # showList :: [DocAndTyThingMap] -> ShowS # | |
Constructors
| GetDocMap |
Instances
| NFData GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
| Generic GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
| Show GetDocMap # | |
| Eq GetDocMap # | |
| Hashable GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
| type Rep GetDocMap # | |
| type RuleResult GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
data ReportImportCycles #
Constructors
| ReportImportCycles |
Instances
| NFData ReportImportCycles # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: ReportImportCycles -> () # | |||||
| Generic ReportImportCycles # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: ReportImportCycles -> Rep ReportImportCycles x # to :: Rep ReportImportCycles x -> ReportImportCycles # | |||||
| Show ReportImportCycles # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ReportImportCycles -> ShowS # show :: ReportImportCycles -> String # showList :: [ReportImportCycles] -> ShowS # | |||||
| Eq ReportImportCycles # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: ReportImportCycles -> ReportImportCycles -> Bool # (/=) :: ReportImportCycles -> ReportImportCycles -> Bool # | |||||
| Hashable ReportImportCycles # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep ReportImportCycles # | |||||
| type RuleResult ReportImportCycles # | This rule is used to report import cycles. It depends on GetModuleGraph. We cannot report the cycles directly from GetModuleGraph since we can only report diagnostics for the current file. | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetModIfaceFromDisk #
Constructors
| GetModIfaceFromDisk |
Instances
| NFData GetModIfaceFromDisk # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDisk -> () # | |||||
| Generic GetModIfaceFromDisk # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetModIfaceFromDisk -> Rep GetModIfaceFromDisk x # to :: Rep GetModIfaceFromDisk x -> GetModIfaceFromDisk # | |||||
| Show GetModIfaceFromDisk # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDisk -> ShowS # show :: GetModIfaceFromDisk -> String # showList :: [GetModIfaceFromDisk] -> ShowS # | |||||
| Eq GetModIfaceFromDisk # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool # (/=) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool # | |||||
| Hashable GetModIfaceFromDisk # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetModIfaceFromDisk # | |||||
| type RuleResult GetModIfaceFromDisk # | 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 | |||||
data GetModIfaceFromDiskAndIndex #
Constructors
| GetModIfaceFromDiskAndIndex |
Instances
| NFData GetModIfaceFromDiskAndIndex # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDiskAndIndex -> () # | |||||
| Generic GetModIfaceFromDiskAndIndex # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetModIfaceFromDiskAndIndex -> Rep GetModIfaceFromDiskAndIndex x # to :: Rep GetModIfaceFromDiskAndIndex x -> GetModIfaceFromDiskAndIndex # | |||||
| Show GetModIfaceFromDiskAndIndex # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDiskAndIndex -> ShowS # show :: GetModIfaceFromDiskAndIndex -> String # showList :: [GetModIfaceFromDiskAndIndex] -> ShowS # | |||||
| Eq GetModIfaceFromDiskAndIndex # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool # (/=) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool # | |||||
| Hashable GetModIfaceFromDiskAndIndex # | |||||
Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDiskAndIndex -> Int # hash :: GetModIfaceFromDiskAndIndex -> Int # | |||||
| type Rep GetModIfaceFromDiskAndIndex # | |||||
| type RuleResult GetModIfaceFromDiskAndIndex # | GetModIfaceFromDisk and index the `.hie` file into the database.
This is an internal rule, use | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetModIface #
Constructors
| GetModIface |
Instances
| NFData GetModIface # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () # | |||||
| Generic GetModIface # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetModIface # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS # | |||||
| Eq GetModIface # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GetModIface # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetModIface # | |||||
| type RuleResult GetModIface # | Get a module interface details, either from an interface file or a typechecked module | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
data GetFileContents #
Constructors
| GetFileContents |
Instances
| NFData GetFileContents # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileContents -> () # | |||||
| Generic GetFileContents # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: GetFileContents -> Rep GetFileContents x # to :: Rep GetFileContents x -> GetFileContents # | |||||
| Show GetFileContents # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileContents -> ShowS # show :: GetFileContents -> String # showList :: [GetFileContents] -> ShowS # | |||||
| Eq GetFileContents # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetFileContents -> GetFileContents -> Bool # (/=) :: GetFileContents -> GetFileContents -> Bool # | |||||
| Hashable GetFileContents # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetFileContents # | |||||
| type RuleResult GetFileContents # | 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 | |||||
data AddWatchedFile #
Constructors
| AddWatchedFile |
Instances
| NFData AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: AddWatchedFile -> () # | |||||
| Generic AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: AddWatchedFile -> Rep AddWatchedFile x # to :: Rep AddWatchedFile x -> AddWatchedFile # | |||||
| Show AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> AddWatchedFile -> ShowS # show :: AddWatchedFile -> String # showList :: [AddWatchedFile] -> ShowS # | |||||
| Eq AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: AddWatchedFile -> AddWatchedFile -> Bool # (/=) :: AddWatchedFile -> AddWatchedFile -> Bool # | |||||
| Hashable AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep AddWatchedFile # | |||||
| type RuleResult AddWatchedFile # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
vfsVersion :: FileVersion -> Maybe Int32 #
data IsFileOfInterestResult #
Constructors
| NotFOI | |
| IsFOI FileOfInterestStatus |
Instances
| NFData IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterestResult -> () # | |||||
| Generic IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: IsFileOfInterestResult -> Rep IsFileOfInterestResult x # to :: Rep IsFileOfInterestResult x -> IsFileOfInterestResult # | |||||
| Show IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterestResult -> ShowS # show :: IsFileOfInterestResult -> String # showList :: [IsFileOfInterestResult] -> ShowS # | |||||
| Eq IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool # (/=) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool # | |||||
| Hashable IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> IsFileOfInterestResult -> Int # hash :: IsFileOfInterestResult -> Int # | |||||
| type Rep IsFileOfInterestResult # | |||||
Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterestResult = D1 ('MetaData "IsFileOfInterestResult" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "NotFOI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsFOI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileOfInterestStatus))) | |||||
data IsFileOfInterest #
Constructors
| IsFileOfInterest |
Instances
| NFData IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterest -> () # | |||||
| Generic IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: IsFileOfInterest -> Rep IsFileOfInterest x # to :: Rep IsFileOfInterest x -> IsFileOfInterest # | |||||
| Show IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterest -> ShowS # show :: IsFileOfInterest -> String # showList :: [IsFileOfInterest] -> ShowS # | |||||
| Eq IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterest -> IsFileOfInterest -> Bool # (/=) :: IsFileOfInterest -> IsFileOfInterest -> Bool # | |||||
| Hashable IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep IsFileOfInterest # | |||||
| type RuleResult IsFileOfInterest # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
data ModSummaryResult #
Constructors
| ModSummaryResult | |
Fields
| |
Instances
| NFData ModSummaryResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: ModSummaryResult -> () # | |
| Show ModSummaryResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ModSummaryResult -> ShowS # show :: ModSummaryResult -> String # showList :: [ModSummaryResult] -> ShowS # | |
data GetModSummary #
Constructors
| GetModSummary |
Instances
| NFData GetModSummary # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () # | |||||
| Generic GetModSummary # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetModSummary # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS # | |||||
| Eq GetModSummary # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummary -> GetModSummary -> Bool # (/=) :: GetModSummary -> GetModSummary -> Bool # | |||||
| Hashable GetModSummary # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep GetModSummary # | |||||
| type RuleResult GetModSummary # | 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 #
Constructors
| GetModSummaryWithoutTimestamps |
Instances
| NFData GetModSummaryWithoutTimestamps # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummaryWithoutTimestamps -> () # | |||||
| Generic GetModSummaryWithoutTimestamps # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
| |||||
| Show GetModSummaryWithoutTimestamps # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummaryWithoutTimestamps -> ShowS # show :: GetModSummaryWithoutTimestamps -> String # showList :: [GetModSummaryWithoutTimestamps] -> ShowS # | |||||
| Eq GetModSummaryWithoutTimestamps # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| Hashable GetModSummaryWithoutTimestamps # | |||||
Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummaryWithoutTimestamps -> Int # | |||||
| type Rep GetModSummaryWithoutTimestamps # | |||||
| type RuleResult GetModSummaryWithoutTimestamps # | Generate a ModSummary with the timestamps and preprocessed content elided, for more successful early cutoff | ||||
data NeedsCompilation #
Constructors
| NeedsCompilation |
Instances
| NFData NeedsCompilation # | |||||
Defined in Development.IDE.Core.RuleTypes Methods rnf :: NeedsCompilation -> () # | |||||
| Generic NeedsCompilation # | |||||
Defined in Development.IDE.Core.RuleTypes Associated Types
Methods from :: NeedsCompilation -> Rep NeedsCompilation x # to :: Rep NeedsCompilation x -> NeedsCompilation # | |||||
| Show NeedsCompilation # | |||||
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> NeedsCompilation -> ShowS # show :: NeedsCompilation -> String # showList :: [NeedsCompilation] -> ShowS # | |||||
| Eq NeedsCompilation # | |||||
Defined in Development.IDE.Core.RuleTypes Methods (==) :: NeedsCompilation -> NeedsCompilation -> Bool # (/=) :: NeedsCompilation -> NeedsCompilation -> Bool # | |||||
| Hashable NeedsCompilation # | |||||
Defined in Development.IDE.Core.RuleTypes | |||||
| type Rep NeedsCompilation # | |||||
| type RuleResult NeedsCompilation # | Does this module need to be compiled? | ||||
Defined in Development.IDE.Core.RuleTypes | |||||
awSplicesL :: Lens' Splices [(LHsExpr GhcTc, Serialized)] #