Safe Haskell	Safe-Inferred
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_ {
  - fullModSummary :: Bool
  }
- pattern GhcSessionDeps :: GhcSessionDeps
data TcModuleResult = TcModuleResult {
- tmrParsed :: ParsedModule
- tmrRenamed :: RenamedSource
- tmrTypechecked :: TcGblEnv
- tmrTopLevelSplices :: Splices
- tmrDeferredError :: !Bool
- tmrRuntimeModules :: !(ModuleEnv ByteString)
}
data FileOfInterestStatus
- = OnDisk
- | Modified {
  - firstOpen :: !Bool
  }
data GetParsedModule = GetParsedModule
data GhcSessionIO = GhcSessionIO
data GetClientSettings = GetClientSettings
newtype GhcSessionDeps = GhcSessionDeps_ {
- fullModSummary :: Bool
}
newtype GetModificationTime = GetModificationTime_ {
- missingFileDiagnostics :: Bool
}
data FileVersion
- = ModificationTime !POSIXTime
- | VFSVersion !Int32
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 {
- importMap :: Map ModuleName NormalizedFilePath
}
data LinkableType
- = ObjectLinkable
- | BCOLinkable
data GetParsedModuleWithComments = GetParsedModuleWithComments
data GetModuleGraph = GetModuleGraph
data GetKnownTargets = GetKnownTargets
data GetLinkable = GetLinkable
data LinkableResult = LinkableResult {
- linkableHomeMod :: !HomeModInfo
- linkableHash :: !ByteString
}
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)]
}
data HiFileResult = HiFileResult {
- hirModSummary :: !ModSummary
- hirModIface :: !ModIface
- hirModDetails :: ModDetails
- hirIfaceFp :: !ByteString
- hirRuntimeModules :: !(ModuleEnv ByteString)
- hirCoreFp :: !(Maybe (CoreFile, ByteString))
}
data HieAstResult = forall a.Typeable a => HAR {
- hieModule :: Module
- hieAst :: !(HieASTs a)
- refMap :: RefMap a
- typeRefs :: Map Name [RealSrcSpan]
- hieKind :: !(HieKind a)
}
data HieKind a where
- HieFromDisk :: !HieFile -> HieKind TypeIndex
- HieFresh :: HieKind Type
data GetBindings = GetBindings
data DocAndTyThingMap = DKMap {
- getDocMap :: !DocMap
- getTyThingMap :: !TyThingMap
}
data GetDocMap = GetDocMap
data GetLocatedImports = GetLocatedImports
data ReportImportCycles = ReportImportCycles
data GetModIfaceFromDisk = GetModIfaceFromDisk
data GetModIfaceFromDiskAndIndex = GetModIfaceFromDiskAndIndex
data GetModIface = GetModIface
data GetFileContents = GetFileContents
data AddWatchedFile = AddWatchedFile
data IsFileOfInterestResult
- = NotFOI
- | IsFOI FileOfInterestStatus
data IsFileOfInterest = IsFileOfInterest
data ModSummaryResult = ModSummaryResult {
- msrModSummary :: !ModSummary
- msrImports :: [LImportDecl GhcPs]
- msrFingerprint :: !Fingerprint
- msrHscEnv :: !HscEnv
}
data GetModSummary = GetModSummary
data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
data NeedsCompilation = NeedsCompilation
pattern GhcSessionDeps :: GhcSessionDeps
pattern GetModificationTime :: GetModificationTime
encodeLinkableType :: Maybe LinkableType -> ByteString
tmrModSummary :: TcModuleResult -> ModSummary
hiFileFingerPrint :: HiFileResult -> ByteString
mkHiFileResult :: ModSummary -> ModIface -> ModDetails -> ModuleEnv ByteString -> Maybe (CoreFile, ByteString) -> HiFileResult
vfsVersion :: FileVersion -> Maybe Int32
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 Source #

Constructors

GhcSessionDeps_
Fields fullModSummary :: Bool Load full ModSummary values in the GHC session. Required for interactive evaluation, but leads to more cache invalidations

Bundled Patterns

pattern GhcSessionDeps :: GhcSessionDeps

Instances

Instances details

Show GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS #
NFData GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () #
Eq GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool #
Hashable GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionDeps -> Int # hash :: GhcSessionDeps -> Int #
type RuleResult GhcSessionDeps Source #	A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionDeps = HscEnvEq

data TcModuleResult Source #

Contains the typechecked module and the OrigNameCache entry for that module.

Constructors

TcModuleResult

Fields

tmrParsed :: ParsedModule
tmrRenamed :: RenamedSource
tmrTypechecked :: TcGblEnv
tmrTopLevelSplices :: Splices
Typechecked splice information
tmrDeferredError :: !Bool
Did we defer any type errors for this module?
tmrRuntimeModules :: !(ModuleEnv ByteString)
Which modules did we need at runtime while compiling this file? Used for recompilation checking in the presence of TH Stores the hash of their core file

Instances

Instances details

Show TcModuleResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TcModuleResult -> ShowS # show :: TcModuleResult -> String # showList :: [TcModuleResult] -> ShowS #
NFData TcModuleResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: TcModuleResult -> () #

data FileOfInterestStatus Source #

Constructors

OnDisk
Modified
Fields firstOpen :: !Bool was this file just opened

Instances

Instances details

Generic FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileOfInterestStatus :: Type -> Type # Methods from :: FileOfInterestStatus -> Rep FileOfInterestStatus x # to :: Rep FileOfInterestStatus x -> FileOfInterestStatus #
Show FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileOfInterestStatus -> ShowS # show :: FileOfInterestStatus -> String # showList :: [FileOfInterestStatus] -> ShowS #
NFData FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileOfInterestStatus -> () #
Eq FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool # (/=) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool #
Hashable FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> FileOfInterestStatus -> Int # hash :: FileOfInterestStatus -> Int #
type Rep FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileOfInterestStatus = D1 ('MetaData "FileOfInterestStatus" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "OnDisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Modified" 'PrefixI 'True) (S1 ('MetaSel ('Just "firstOpen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))

data GetParsedModule Source #

Constructors

GetParsedModule

Instances

Instances details

Generic GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetParsedModule :: Type -> Type # Methods from :: GetParsedModule -> Rep GetParsedModule x # to :: Rep GetParsedModule x -> GetParsedModule #
Show GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModule -> ShowS # show :: GetParsedModule -> String # showList :: [GetParsedModule] -> ShowS #
NFData GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModule -> () #
Eq GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModule -> GetParsedModule -> Bool # (/=) :: GetParsedModule -> GetParsedModule -> Bool #
Hashable GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModule -> Int # hash :: GetParsedModule -> Int #
type Rep GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetParsedModule" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModule Source #	The parse tree for the file using GetFileContents
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModule = ParsedModule

data GhcSessionIO Source #

Constructors

GhcSessionIO

Instances

Instances details

Generic GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionIO :: Type -> Type # Methods from :: GhcSessionIO -> Rep GhcSessionIO x # to :: Rep GhcSessionIO x -> GhcSessionIO #
Show GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionIO -> ShowS # show :: GhcSessionIO -> String # showList :: [GhcSessionIO] -> ShowS #
NFData GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionIO -> () #
Eq GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionIO -> GhcSessionIO -> Bool # (/=) :: GhcSessionIO -> GhcSessionIO -> Bool #
Hashable GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionIO -> Int # hash :: GhcSessionIO -> Int #
type Rep GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GhcSessionIO" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionIO = IdeGhcSession

data GetClientSettings Source #

Get the client config stored in the ide state

Constructors

GetClientSettings

Instances

Instances details

Generic GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetClientSettings :: Type -> Type # Methods from :: GetClientSettings -> Rep GetClientSettings x # to :: Rep GetClientSettings x -> GetClientSettings #
Show GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetClientSettings -> ShowS # show :: GetClientSettings -> String # showList :: [GetClientSettings] -> ShowS #
NFData GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetClientSettings -> () #
Eq GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetClientSettings -> GetClientSettings -> Bool # (/=) :: GetClientSettings -> GetClientSettings -> Bool #
Hashable GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetClientSettings -> Int # hash :: GetClientSettings -> Int #
type Rep GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetClientSettings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetClientSettings = Hashed (Maybe Value)

newtype GhcSessionDeps Source #

Constructors

GhcSessionDeps_
Fields fullModSummary :: Bool Load full ModSummary values in the GHC session. Required for interactive evaluation, but leads to more cache invalidations

Instances

Instances details

Show GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS #
NFData GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () #
Eq GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool #
Hashable GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionDeps -> Int # hash :: GhcSessionDeps -> Int #
type RuleResult GhcSessionDeps Source #	A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionDeps = HscEnvEq

newtype GetModificationTime Source #

Constructors

GetModificationTime_
Fields missingFileDiagnostics :: Bool If false, missing file diagnostics are not reported

Instances

Instances details

Generic GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModificationTime :: Type -> Type # Methods from :: GetModificationTime -> Rep GetModificationTime x # to :: Rep GetModificationTime x -> GetModificationTime #
Show GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModificationTime -> ShowS # show :: GetModificationTime -> String # showList :: [GetModificationTime] -> ShowS #
NFData GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModificationTime -> () #
Eq GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModificationTime -> GetModificationTime -> Bool # (/=) :: GetModificationTime -> GetModificationTime -> Bool #
Hashable GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModificationTime -> Int # hash :: GetModificationTime -> Int #
type Rep GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type RuleResult GetModificationTime Source #	Get the modification time of a file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModificationTime = FileVersion

data FileVersion Source #

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

Instances details

Generic FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileVersion :: Type -> Type # Methods from :: FileVersion -> Rep FileVersion x # to :: Rep FileVersion x -> FileVersion #
Show FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileVersion -> ShowS # show :: FileVersion -> String # showList :: [FileVersion] -> ShowS #
NFData FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileVersion -> () #
Eq FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: FileVersion -> FileVersion -> Bool # (/=) :: FileVersion -> FileVersion -> Bool #
Ord FileVersion Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" '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 Source #

Constructors

GenerateCore

Instances

Instances details

Generic GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateCore :: Type -> Type # Methods from :: GenerateCore -> Rep GenerateCore x # to :: Rep GenerateCore x -> GenerateCore #
Show GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS #
NFData GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () #
Eq GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GenerateCore -> GenerateCore -> Bool # (/=) :: GenerateCore -> GenerateCore -> Bool #
Hashable GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GenerateCore -> Int # hash :: GenerateCore -> Int #
type Rep GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GenerateCore Source #	Convert to Core, requires TypeCheck*
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GenerateCore = ModGuts

data GetHieAst Source #

Constructors

GetHieAst

Instances

Instances details

Generic GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetHieAst :: Type -> Type # Methods from :: GetHieAst -> Rep GetHieAst x # to :: Rep GetHieAst x -> GetHieAst #
Show GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetHieAst -> ShowS # show :: GetHieAst -> String # showList :: [GetHieAst] -> ShowS #
NFData GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetHieAst -> () #
Eq GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetHieAst -> GetHieAst -> Bool # (/=) :: GetHieAst -> GetHieAst -> Bool #
Hashable GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetHieAst -> Int # hash :: GetHieAst -> Int #
type Rep GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetHieAst Source #	The uncompressed HieAST
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetHieAst = HieAstResult

data TypeCheck Source #

Constructors

TypeCheck

Instances

Instances details

Generic TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep TypeCheck :: Type -> Type # Methods from :: TypeCheck -> Rep TypeCheck x # to :: Rep TypeCheck x -> TypeCheck #
Show TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TypeCheck -> ShowS # show :: TypeCheck -> String # showList :: [TypeCheck] -> ShowS #
NFData TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: TypeCheck -> () #
Eq TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: TypeCheck -> TypeCheck -> Bool # (/=) :: TypeCheck -> TypeCheck -> Bool #
Hashable TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> TypeCheck -> Int # hash :: TypeCheck -> Int #
type Rep TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult TypeCheck Source #	The type checked version of this file, requires TypeCheck+
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult TypeCheck = TcModuleResult

data IdeGhcSession Source #

Constructors

IdeGhcSession
Fields loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath]) Returns the Ghc session and the cradle dependencies sessionVersion :: !Int Used as Shake key, versions must be unique and not reused

Instances

Instances details

Show IdeGhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IdeGhcSession -> ShowS # show :: IdeGhcSession -> String # showList :: [IdeGhcSession] -> ShowS #
NFData IdeGhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IdeGhcSession -> () #

data GhcSession Source #

Constructors

GhcSession

Instances

Instances details

Generic GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSession :: Type -> Type # Methods from :: GhcSession -> Rep GhcSession x # to :: Rep GhcSession x -> GhcSession #
Show GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS #
NFData GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () #
Eq GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSession -> GhcSession -> Bool # (/=) :: GhcSession -> GhcSession -> Bool #
Hashable GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSession -> Int # hash :: GhcSession -> Int #
type Rep GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSession Source #	A GHC session that we reuse.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSession = HscEnvEq

data GetFileExists Source #

Constructors

GetFileExists

Instances

Instances details

Generic GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetFileExists :: Type -> Type # Methods from :: GetFileExists -> Rep GetFileExists x # to :: Rep GetFileExists x -> GetFileExists #
Show GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileExists -> ShowS # show :: GetFileExists -> String # showList :: [GetFileExists] -> ShowS #
NFData GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileExists -> () #
Eq GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetFileExists -> GetFileExists -> Bool # (/=) :: GetFileExists -> GetFileExists -> Bool #
Hashable GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetFileExists -> Int # hash :: GetFileExists -> Int #
type Rep GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileExists = D1 ('MetaData "GetFileExists" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetFileExists" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetFileExists = Bool

newtype ImportMap Source #

Constructors

ImportMap
Fields importMap :: Map ModuleName NormalizedFilePath Where are the modules imported by this file located?

Instances

Instances details

Show ImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ImportMap -> ShowS # show :: ImportMap -> String # showList :: [ImportMap] -> ShowS #
NFData ImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ImportMap -> () #

data LinkableType Source #

Constructors

ObjectLinkable
BCOLinkable

Instances

Instances details

Generic LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep LinkableType :: Type -> Type # Methods from :: LinkableType -> Rep LinkableType x # to :: Rep LinkableType x -> LinkableType #
Show LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableType -> ShowS # show :: LinkableType -> String # showList :: [LinkableType] -> ShowS #
NFData LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableType -> () #
Eq LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: LinkableType -> LinkableType -> Bool # (/=) :: LinkableType -> LinkableType -> Bool #
Ord LinkableType Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> LinkableType -> Int # hash :: LinkableType -> Int #
type Rep LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep LinkableType = D1 ('MetaData "LinkableType" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: Type -> Type))

data GetParsedModuleWithComments Source #

Constructors

GetParsedModuleWithComments

Instances

Instances details

Generic GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetParsedModuleWithComments :: Type -> Type # Methods from :: GetParsedModuleWithComments -> Rep GetParsedModuleWithComments x # to :: Rep GetParsedModuleWithComments x -> GetParsedModuleWithComments #
Show GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModuleWithComments -> ShowS # show :: GetParsedModuleWithComments -> String # showList :: [GetParsedModuleWithComments] -> ShowS #
NFData GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModuleWithComments -> () #
Eq GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool # (/=) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool #
Hashable GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModuleWithComments -> Int # hash :: GetParsedModuleWithComments -> Int #
type Rep GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetParsedModuleWithComments" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModuleWithComments Source #	The parse tree for the file using GetFileContents, all comments included using Opt_KeepRawTokenStream
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModuleWithComments = ParsedModule

data GetModuleGraph Source #

Constructors

GetModuleGraph

Instances

Instances details

Generic GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModuleGraph :: Type -> Type # Methods from :: GetModuleGraph -> Rep GetModuleGraph x # to :: Rep GetModuleGraph x -> GetModuleGraph #
Show GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModuleGraph -> ShowS # show :: GetModuleGraph -> String # showList :: [GetModuleGraph] -> ShowS #
NFData GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModuleGraph -> () #
Eq GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModuleGraph -> GetModuleGraph -> Bool # (/=) :: GetModuleGraph -> GetModuleGraph -> Bool #
Hashable GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModuleGraph -> Int # hash :: GetModuleGraph -> Int #
type Rep GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModuleGraph = D1 ('MetaData "GetModuleGraph" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModuleGraph" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModuleGraph = DependencyInformation

data GetKnownTargets Source #

Constructors

GetKnownTargets

Instances

Instances details

Generic GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetKnownTargets :: Type -> Type # Methods from :: GetKnownTargets -> Rep GetKnownTargets x # to :: Rep GetKnownTargets x -> GetKnownTargets #
Show GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetKnownTargets -> ShowS # show :: GetKnownTargets -> String # showList :: [GetKnownTargets] -> ShowS #
NFData GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetKnownTargets -> () #
Eq GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetKnownTargets -> GetKnownTargets -> Bool # (/=) :: GetKnownTargets -> GetKnownTargets -> Bool #
Ord GetKnownTargets Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetKnownTargets -> Int # hash :: GetKnownTargets -> Int #
type Rep GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetKnownTargets" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetKnownTargets = KnownTargets

data GetLinkable Source #

Constructors

GetLinkable

Instances

Instances details

Generic GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetLinkable :: Type -> Type # Methods from :: GetLinkable -> Rep GetLinkable x # to :: Rep GetLinkable x -> GetLinkable #
Show GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLinkable -> ShowS # show :: GetLinkable -> String # showList :: [GetLinkable] -> ShowS #
NFData GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLinkable -> () #
Eq GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetLinkable -> GetLinkable -> Bool # (/=) :: GetLinkable -> GetLinkable -> Bool #
Hashable GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetLinkable -> Int # hash :: GetLinkable -> Int #
type Rep GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLinkable = D1 ('MetaData "GetLinkable" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetLinkable = LinkableResult

data LinkableResult Source #

Constructors

LinkableResult
Fields linkableHomeMod :: !HomeModInfo linkableHash :: !ByteString The hash of the core file

Instances

Instances details

Show LinkableResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableResult -> ShowS # show :: LinkableResult -> String # showList :: [LinkableResult] -> ShowS #
NFData LinkableResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableResult -> () #

data GetImportMap Source #

Constructors

GetImportMap

Instances

Instances details

Generic GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetImportMap :: Type -> Type # Methods from :: GetImportMap -> Rep GetImportMap x # to :: Rep GetImportMap x -> GetImportMap #
Show GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetImportMap -> ShowS # show :: GetImportMap -> String # showList :: [GetImportMap] -> ShowS #
NFData GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetImportMap -> () #
Eq GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetImportMap -> GetImportMap -> Bool # (/=) :: GetImportMap -> GetImportMap -> Bool #
Hashable GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetImportMap -> Int # hash :: GetImportMap -> Int #
type Rep GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetImportMap" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetImportMap = ImportMap

data Splices Source #

Constructors

Splices
Fields exprSplices :: [(LHsExpr GhcTc, LHsExpr GhcPs)] patSplices :: [(LHsExpr GhcTc, LPat GhcPs)] typeSplices :: [(LHsExpr GhcTc, LHsType GhcPs)] declSplices :: [(LHsExpr GhcTc, [LHsDecl GhcPs])] awSplices :: [(LHsExpr GhcTc, Serialized)]

Instances

Instances details

Monoid Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods mempty :: Splices # mappend :: Splices -> Splices -> Splices # mconcat :: [Splices] -> Splices #
Semigroup Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (<>) :: Splices -> Splices -> Splices # sconcat :: NonEmpty Splices -> Splices # stimes :: Integral b => b -> Splices -> Splices #
NFData Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: Splices -> () #

data HiFileResult Source #

Constructors

HiFileResult
Fields hirModSummary :: !ModSummary hirModIface :: !ModIface hirModDetails :: ModDetails Populated lazily hirIfaceFp :: !ByteString Fingerprint for the ModIface hirRuntimeModules :: !(ModuleEnv ByteString) same as tmrRuntimeModules hirCoreFp :: !(Maybe (CoreFile, ByteString)) If we wrote a core file for this module, then its contents (lazily deserialised) along with its hash

Instances

Instances details

Show HiFileResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HiFileResult -> ShowS # show :: HiFileResult -> String # showList :: [HiFileResult] -> ShowS #
NFData HiFileResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HiFileResult -> () #

data HieAstResult Source #

Save the uncompressed AST here, we compress it just before writing to disk

Constructors

forall a.Typeable a => HAR

Fields

hieModule :: Module
hieAst :: !(HieASTs a)
refMap :: RefMap a
Lazy because its value only depends on the hieAst, which is bundled in this type Lazyness can't cause leaks here because the lifetime of refMap will be the same as that of hieAst
typeRefs :: Map Name [RealSrcSpan]
type references in this file
hieKind :: !(HieKind a)
Is this hie file loaded from the disk, or freshly computed?

Instances

Instances details

Show HieAstResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HieAstResult -> ShowS # show :: HieAstResult -> String # showList :: [HieAstResult] -> ShowS #
NFData HieAstResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieAstResult -> () #

data HieKind a where Source #

Constructors

HieFromDisk :: !HieFile -> HieKind TypeIndex
HieFresh :: HieKind Type

Instances

Instances details

NFData (HieKind a) Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieKind a -> () #

data GetBindings Source #

Constructors

GetBindings

Instances

Instances details

Generic GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetBindings :: Type -> Type # Methods from :: GetBindings -> Rep GetBindings x # to :: Rep GetBindings x -> GetBindings #
Show GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS #
NFData GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () #
Eq GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetBindings -> GetBindings -> Bool # (/=) :: GetBindings -> GetBindings -> Bool #
Hashable GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetBindings -> Int # hash :: GetBindings -> Int #
type Rep GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetBindings Source #	A IntervalMap telling us what is in scope at each point
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetBindings = Bindings

data DocAndTyThingMap Source #

Constructors

DKMap
Fields getDocMap :: !DocMap getTyThingMap :: !TyThingMap

Instances

Instances details

Show DocAndTyThingMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> DocAndTyThingMap -> ShowS # show :: DocAndTyThingMap -> String # showList :: [DocAndTyThingMap] -> ShowS #
NFData DocAndTyThingMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: DocAndTyThingMap -> () #

data GetDocMap Source #

Constructors

GetDocMap

Instances

Instances details

Generic GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetDocMap :: Type -> Type # Methods from :: GetDocMap -> Rep GetDocMap x # to :: Rep GetDocMap x -> GetDocMap #
Show GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDocMap -> ShowS # show :: GetDocMap -> String # showList :: [GetDocMap] -> ShowS #
NFData GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDocMap -> () #
Eq GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDocMap -> GetDocMap -> Bool # (/=) :: GetDocMap -> GetDocMap -> Bool #
Hashable GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDocMap -> Int # hash :: GetDocMap -> Int #
type Rep GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDocMap = DocAndTyThingMap

data GetLocatedImports Source #

Constructors

GetLocatedImports

Instances

Instances details

Generic GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetLocatedImports :: Type -> Type # Methods from :: GetLocatedImports -> Rep GetLocatedImports x # to :: Rep GetLocatedImports x -> GetLocatedImports #
Show GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLocatedImports -> ShowS # show :: GetLocatedImports -> String # showList :: [GetLocatedImports] -> ShowS #
NFData GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLocatedImports -> () #
Eq GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetLocatedImports -> GetLocatedImports -> Bool # (/=) :: GetLocatedImports -> GetLocatedImports -> Bool #
Hashable GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetLocatedImports -> Int # hash :: GetLocatedImports -> Int #
type Rep GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetLocatedImports" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetLocatedImports Source #	Resolve the imports in a module to the file path of a module in the same package
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetLocatedImports = [(Located ModuleName, Maybe ArtifactsLocation)]

data ReportImportCycles Source #

Constructors

ReportImportCycles

Instances

Instances details

Generic ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep ReportImportCycles :: Type -> Type # Methods from :: ReportImportCycles -> Rep ReportImportCycles x # to :: Rep ReportImportCycles x -> ReportImportCycles #
Show ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ReportImportCycles -> ShowS # show :: ReportImportCycles -> String # showList :: [ReportImportCycles] -> ShowS #
NFData ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ReportImportCycles -> () #
Eq ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: ReportImportCycles -> ReportImportCycles -> Bool # (/=) :: ReportImportCycles -> ReportImportCycles -> Bool #
Hashable ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> ReportImportCycles -> Int # hash :: ReportImportCycles -> Int #
type Rep ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult ReportImportCycles Source #	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.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult ReportImportCycles = ()

data GetModIfaceFromDisk Source #

Constructors

GetModIfaceFromDisk

Instances

Instances details

Generic GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceFromDisk :: Type -> Type # Methods from :: GetModIfaceFromDisk -> Rep GetModIfaceFromDisk x # to :: Rep GetModIfaceFromDisk x -> GetModIfaceFromDisk #
Show GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDisk -> ShowS # show :: GetModIfaceFromDisk -> String # showList :: [GetModIfaceFromDisk] -> ShowS #
NFData GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDisk -> () #
Eq GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool # (/=) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool #
Hashable GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDisk -> Int # hash :: GetModIfaceFromDisk -> Int #
type Rep GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModIfaceFromDisk" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDisk Source #	Read the module interface file from disk. Throws an error for VFS files. This is an internal rule, use `GetModIface` instead.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceFromDisk = HiFileResult

data GetModIfaceFromDiskAndIndex Source #

Constructors

GetModIfaceFromDiskAndIndex

Instances

Instances details

Generic GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceFromDiskAndIndex :: Type -> Type # Methods from :: GetModIfaceFromDiskAndIndex -> Rep GetModIfaceFromDiskAndIndex x # to :: Rep GetModIfaceFromDiskAndIndex x -> GetModIfaceFromDiskAndIndex #
Show GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDiskAndIndex -> ShowS # show :: GetModIfaceFromDiskAndIndex -> String # showList :: [GetModIfaceFromDiskAndIndex] -> ShowS #
NFData GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDiskAndIndex -> () #
Eq GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool # (/=) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool #
Hashable GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDiskAndIndex -> Int # hash :: GetModIfaceFromDiskAndIndex -> Int #
type Rep GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDiskAndIndex = D1 ('MetaData "GetModIfaceFromDiskAndIndex" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModIfaceFromDiskAndIndex" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDiskAndIndex Source #	GetModIfaceFromDisk and index the `.hie` file into the database. This is an internal rule, use `GetModIface` instead.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceFromDiskAndIndex = HiFileResult

data GetModIface Source #

Constructors

GetModIface

Instances

Instances details

Generic GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIface :: Type -> Type # Methods from :: GetModIface -> Rep GetModIface x # to :: Rep GetModIface x -> GetModIface #
Show GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS #
NFData GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () #
Eq GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIface -> GetModIface -> Bool # (/=) :: GetModIface -> GetModIface -> Bool #
Hashable GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIface -> Int # hash :: GetModIface -> Int #
type Rep GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIface Source #	Get a module interface details, either from an interface file or a typechecked module
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIface = HiFileResult

data GetFileContents Source #

Constructors

GetFileContents

Instances

Instances details

Generic GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetFileContents :: Type -> Type # Methods from :: GetFileContents -> Rep GetFileContents x # to :: Rep GetFileContents x -> GetFileContents #
Show GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileContents -> ShowS # show :: GetFileContents -> String # showList :: [GetFileContents] -> ShowS #
NFData GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileContents -> () #
Eq GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetFileContents -> GetFileContents -> Bool # (/=) :: GetFileContents -> GetFileContents -> Bool #
Hashable GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetFileContents -> Int # hash :: GetFileContents -> Int #
type Rep GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetFileContents Source #	Get the contents of a file, either dirty (if the buffer is modified) or Nothing to mean use from disk.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetFileContents = (FileVersion, Maybe Text)

data AddWatchedFile Source #

Constructors

AddWatchedFile

Instances

Instances details

Generic AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep AddWatchedFile :: Type -> Type # Methods from :: AddWatchedFile -> Rep AddWatchedFile x # to :: Rep AddWatchedFile x -> AddWatchedFile #
Show AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> AddWatchedFile -> ShowS # show :: AddWatchedFile -> String # showList :: [AddWatchedFile] -> ShowS #
NFData AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: AddWatchedFile -> () #
Eq AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: AddWatchedFile -> AddWatchedFile -> Bool # (/=) :: AddWatchedFile -> AddWatchedFile -> Bool #
Hashable AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> AddWatchedFile -> Int # hash :: AddWatchedFile -> Int #
type Rep AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep AddWatchedFile = D1 ('MetaData "AddWatchedFile" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "AddWatchedFile" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult AddWatchedFile Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult AddWatchedFile = Bool

data IsFileOfInterestResult Source #

Constructors

NotFOI
IsFOI FileOfInterestStatus

Instances

Instances details

Generic IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep IsFileOfInterestResult :: Type -> Type # Methods from :: IsFileOfInterestResult -> Rep IsFileOfInterestResult x # to :: Rep IsFileOfInterestResult x -> IsFileOfInterestResult #
Show IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterestResult -> ShowS # show :: IsFileOfInterestResult -> String # showList :: [IsFileOfInterestResult] -> ShowS #
NFData IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterestResult -> () #
Eq IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool # (/=) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool #
Hashable IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> IsFileOfInterestResult -> Int # hash :: IsFileOfInterestResult -> Int #
type Rep IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterestResult = D1 ('MetaData "IsFileOfInterestResult" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" '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 Source #

Constructors

IsFileOfInterest

Instances

Instances details

Generic IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep IsFileOfInterest :: Type -> Type # Methods from :: IsFileOfInterest -> Rep IsFileOfInterest x # to :: Rep IsFileOfInterest x -> IsFileOfInterest #
Show IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterest -> ShowS # show :: IsFileOfInterest -> String # showList :: [IsFileOfInterest] -> ShowS #
NFData IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterest -> () #
Eq IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterest -> IsFileOfInterest -> Bool # (/=) :: IsFileOfInterest -> IsFileOfInterest -> Bool #
Hashable IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> IsFileOfInterest -> Int # hash :: IsFileOfInterest -> Int #
type Rep IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "IsFileOfInterest" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult IsFileOfInterest = IsFileOfInterestResult

data ModSummaryResult Source #

Constructors

ModSummaryResult
Fields msrModSummary :: !ModSummary msrImports :: [LImportDecl GhcPs] msrFingerprint :: !Fingerprint msrHscEnv :: !HscEnv HscEnv for this particular ModSummary. Contains initialised plugins, parsed options, etc... Implicit assumption: DynFlags in `msrModSummary` are the same as the DynFlags in `msrHscEnv`.

Instances

Instances details

Show ModSummaryResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ModSummaryResult -> ShowS # show :: ModSummaryResult -> String # showList :: [ModSummaryResult] -> ShowS #
NFData ModSummaryResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ModSummaryResult -> () #

data GetModSummary Source #

Constructors

GetModSummary

Instances

Instances details

Generic GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummary :: Type -> Type # Methods from :: GetModSummary -> Rep GetModSummary x # to :: Rep GetModSummary x -> GetModSummary #
Show GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS #
NFData GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () #
Eq GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummary -> GetModSummary -> Bool # (/=) :: GetModSummary -> GetModSummary -> Bool #
Hashable GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummary -> Int # hash :: GetModSummary -> Int #
type Rep GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: Type -> Type))
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
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummary = ModSummaryResult

data GetModSummaryWithoutTimestamps Source #

Constructors

GetModSummaryWithoutTimestamps

Instances

Instances details

Generic GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummaryWithoutTimestamps :: Type -> Type # Methods from :: GetModSummaryWithoutTimestamps -> Rep GetModSummaryWithoutTimestamps x # to :: Rep GetModSummaryWithoutTimestamps x -> GetModSummaryWithoutTimestamps #
Show GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummaryWithoutTimestamps -> ShowS # show :: GetModSummaryWithoutTimestamps -> String # showList :: [GetModSummaryWithoutTimestamps] -> ShowS #
NFData GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummaryWithoutTimestamps -> () #
Eq GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool # (/=) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool #
Hashable GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummaryWithoutTimestamps -> Int # hash :: GetModSummaryWithoutTimestamps -> Int #
type Rep GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummaryWithoutTimestamps Source #	Generate a ModSummary with the timestamps and preprocessed content elided, for more successful early cutoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummaryWithoutTimestamps = ModSummaryResult

data NeedsCompilation Source #

Constructors

NeedsCompilation

Instances

Instances details

Generic NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep NeedsCompilation :: Type -> Type # Methods from :: NeedsCompilation -> Rep NeedsCompilation x # to :: Rep NeedsCompilation x -> NeedsCompilation #
Show NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> NeedsCompilation -> ShowS # show :: NeedsCompilation -> String # showList :: [NeedsCompilation] -> ShowS #
NFData NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: NeedsCompilation -> () #
Eq NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: NeedsCompilation -> NeedsCompilation -> Bool # (/=) :: NeedsCompilation -> NeedsCompilation -> Bool #
Hashable NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> NeedsCompilation -> Int # hash :: NeedsCompilation -> Int #
type Rep NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "NeedsCompilation" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult NeedsCompilation Source #	Does this module need to be compiled?
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult NeedsCompilation = Maybe LinkableType

pattern GhcSessionDeps :: GhcSessionDeps Source #

pattern GetModificationTime :: GetModificationTime Source #

encodeLinkableType :: Maybe LinkableType -> ByteString Source #

Encode the linkable into an ordered bytestring. This is used to drive an ordered "newness" predicate in the NeedsCompilation build rule.

tmrModSummary :: TcModuleResult -> ModSummary Source #

hiFileFingerPrint :: HiFileResult -> ByteString Source #

mkHiFileResult :: ModSummary -> ModIface -> ModDetails -> ModuleEnv ByteString -> Maybe (CoreFile, ByteString) -> HiFileResult Source #

vfsVersion :: FileVersion -> Maybe Int32 Source #

awSplicesL :: Lens' Splices [(LHsExpr GhcTc, Serialized)] Source #

declSplicesL :: Lens' Splices [(LHsExpr GhcTc, [LHsDecl GhcPs])] Source #

exprSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsExpr GhcPs)] Source #

patSplicesL :: Lens' Splices [(LHsExpr GhcTc, LPat GhcPs)] Source #

typeSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsType GhcPs)] Source #