Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
- GhcSessionDeps_ {
- data FileOfInterestStatus
- data GenerateCore = GenerateCore
- data GetHieAst = GetHieAst
- data TypeCheck = TypeCheck
- data IdeGhcSession = IdeGhcSession {
- loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath])
- sessionVersion :: !Int
- data GetParsedModule = GetParsedModule
- data GhcSessionIO = GhcSessionIO
- data GetClientSettings = GetClientSettings
- newtype GhcSessionDeps = GhcSessionDeps_ {
- fullModSummary :: Bool
- newtype GetModificationTime = GetModificationTime_ {
- missingFileDiagnostics :: Bool
- data FileVersion
- data TcModuleResult = TcModuleResult {}
- data GhcSession = GhcSession
- data GetFileExists = GetFileExists
- newtype ImportMap = ImportMap {}
- data LinkableType
- data GetParsedModuleWithComments = GetParsedModuleWithComments
- data GetModuleGraph = GetModuleGraph
- data GetKnownTargets = GetKnownTargets
- data GetLinkable = GetLinkable
- data LinkableResult = LinkableResult {}
- data GetImportMap = GetImportMap
- data Splices = Splices {}
- 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 {}
- data HieKind a where
- data GetBindings = GetBindings
- data DocAndKindMap = DKMap {
- getDocMap :: !DocMap
- getKindMap :: !KindMap
- 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
- data IsFileOfInterest = IsFileOfInterest
- data ModSummaryResult = ModSummaryResult {}
- 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 #
Constructors
GhcSessionDeps_ | |
Fields
|
Bundled Patterns
pattern GhcSessionDeps :: GhcSessionDeps |
Instances
Show GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS # | |
NFData GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () # | |
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 FileOfInterestStatus #
Instances
data GenerateCore #
Constructors
GenerateCore |
Instances
Generic GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateCore :: Type -> Type | |
Show GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS # | |
NFData GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () # | |
Eq GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GenerateCore # | |
Defined in Development.IDE.Core.RuleTypes type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GenerateCore # | Convert to Core, requires TypeCheck* |
Defined in Development.IDE.Core.RuleTypes |
Constructors
GetHieAst |
Instances
Generic GetHieAst # | |
Show GetHieAst # | |
NFData GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes | |
Eq GetHieAst # | |
Hashable GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetHieAst # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetHieAst # | The uncompressed HieAST |
Defined in Development.IDE.Core.RuleTypes |
Constructors
TypeCheck |
Instances
Generic TypeCheck # | |
Show TypeCheck # | |
NFData TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes | |
Eq TypeCheck # | |
Hashable TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep TypeCheck # | |
Defined in Development.IDE.Core.RuleTypes type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult TypeCheck # | The type checked version of this file, requires TypeCheck+ |
Defined in Development.IDE.Core.RuleTypes |
data IdeGhcSession #
Constructors
IdeGhcSession | |
Fields
|
Instances
Show IdeGhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IdeGhcSession -> ShowS # show :: IdeGhcSession -> String # showList :: [IdeGhcSession] -> ShowS # | |
NFData IdeGhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: IdeGhcSession -> () # |
data GetParsedModule #
Constructors
GetParsedModule |
Instances
data GhcSessionIO #
Constructors
GhcSessionIO |
Instances
Generic GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionIO :: Type -> Type | |
Show GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionIO -> ShowS # show :: GhcSessionIO -> String # showList :: [GhcSessionIO] -> ShowS # | |
NFData GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionIO -> () # | |
Eq GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GhcSessionIO" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GhcSessionIO # | |
Defined in Development.IDE.Core.RuleTypes |
data GetClientSettings #
Get the client config stored in the ide state
Constructors
GetClientSettings |
Instances
newtype GhcSessionDeps #
Constructors
GhcSessionDeps_ | |
Fields
|
Instances
Show GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS # | |
NFData GhcSessionDeps # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () # | |
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 |
newtype GetModificationTime #
Constructors
GetModificationTime_ | |
Fields
|
Instances
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
Generic FileVersion # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileVersion :: Type -> Type | |
Show FileVersion # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileVersion -> ShowS # show :: FileVersion -> String # showList :: [FileVersion] -> ShowS # | |
NFData FileVersion # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileVersion -> () # | |
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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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 TcModuleResult #
Contains the typechecked module and the OrigNameCache entry for that module.
Constructors
TcModuleResult | |
Fields
|
Instances
Show TcModuleResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TcModuleResult -> ShowS # show :: TcModuleResult -> String # showList :: [TcModuleResult] -> ShowS # | |
NFData TcModuleResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: TcModuleResult -> () # |
data GhcSession #
Constructors
GhcSession |
Instances
Generic GhcSession # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSession :: Type -> Type | |
Show GhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS # | |
NFData GhcSession # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () # | |
Eq GhcSession # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GhcSession # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GhcSession # | |
Defined in Development.IDE.Core.RuleTypes type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GhcSession # | A GHC session that we reuse. |
Defined in Development.IDE.Core.RuleTypes |
data GetFileExists #
Constructors
GetFileExists |
Instances
Generic GetFileExists # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetFileExists :: Type -> Type | |
Show GetFileExists # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileExists -> ShowS # show :: GetFileExists -> String # showList :: [GetFileExists] -> ShowS # | |
NFData GetFileExists # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileExists -> () # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetFileExists = D1 ('MetaData "GetFileExists" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetFileExists" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetFileExists # | |
Defined in Development.IDE.Core.RuleTypes |
Constructors
ImportMap | |
Fields
|
data LinkableType #
Constructors
ObjectLinkable | |
BCOLinkable |
Instances
data GetParsedModuleWithComments #
Constructors
GetParsedModuleWithComments |
Instances
data GetModuleGraph #
Constructors
GetModuleGraph |
Instances
data GetKnownTargets #
Constructors
GetKnownTargets |
Instances
data GetLinkable #
Constructors
GetLinkable |
Instances
Generic GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetLinkable :: Type -> Type | |
Show GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLinkable -> ShowS # show :: GetLinkable -> String # showList :: [GetLinkable] -> ShowS # | |
NFData GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLinkable -> () # | |
Eq GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetLinkable = D1 ('MetaData "GetLinkable" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetLinkable" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetLinkable # | |
Defined in Development.IDE.Core.RuleTypes |
data LinkableResult #
Constructors
LinkableResult | |
Fields
|
Instances
Show LinkableResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableResult -> ShowS # show :: LinkableResult -> String # showList :: [LinkableResult] -> ShowS # | |
NFData LinkableResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableResult -> () # |
data GetImportMap #
Constructors
GetImportMap |
Instances
Generic GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetImportMap :: Type -> Type | |
Show GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetImportMap -> ShowS # show :: GetImportMap -> String # showList :: [GetImportMap] -> ShowS # | |
NFData GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetImportMap -> () # | |
Eq GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetImportMap" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetImportMap # | |
Defined in Development.IDE.Core.RuleTypes |
Constructors
Splices | |
data HiFileResult #
Constructors
HiFileResult | |
Fields
|
Instances
Show HiFileResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HiFileResult -> ShowS # show :: HiFileResult -> String # showList :: [HiFileResult] -> ShowS # | |
NFData HiFileResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HiFileResult -> () # |
data HieAstResult #
Save the uncompressed AST here, we compress it just before writing to disk
Instances
Show HieAstResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HieAstResult -> ShowS # show :: HieAstResult -> String # showList :: [HieAstResult] -> ShowS # | |
NFData HieAstResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieAstResult -> () # |
data GetBindings #
Constructors
GetBindings |
Instances
Generic GetBindings # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetBindings :: Type -> Type | |
Show GetBindings # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS # | |
NFData GetBindings # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () # | |
Eq GetBindings # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GetBindings # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetBindings # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetBindings # | A IntervalMap telling us what is in scope at each point |
Defined in Development.IDE.Core.RuleTypes |
data DocAndKindMap #
Constructors
DKMap | |
Fields
|
Instances
Show DocAndKindMap # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> DocAndKindMap -> ShowS # show :: DocAndKindMap -> String # showList :: [DocAndKindMap] -> ShowS # | |
NFData DocAndKindMap # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: DocAndKindMap -> () # |
Constructors
GetDocMap |
Instances
Generic GetDocMap # | |
Show GetDocMap # | |
NFData GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
Eq GetDocMap # | |
Hashable GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: Type -> Type)) | |
type RuleResult GetDocMap # | |
Defined in Development.IDE.Core.RuleTypes |
data GetLocatedImports #
Constructors
GetLocatedImports |
Instances
data ReportImportCycles #
Constructors
ReportImportCycles |
Instances
Generic ReportImportCycles # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ReportImportCycles -> ShowS # show :: ReportImportCycles -> String # showList :: [ReportImportCycles] -> ShowS # | |
NFData ReportImportCycles # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: ReportImportCycles -> () # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type)) | |
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
data GetModIfaceFromDiskAndIndex #
Constructors
GetModIfaceFromDiskAndIndex |
Instances
data GetModIface #
Constructors
GetModIface |
Instances
Generic GetModIface # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIface :: Type -> Type | |
Show GetModIface # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS # | |
NFData GetModIface # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () # | |
Eq GetModIface # | |
Defined in Development.IDE.Core.RuleTypes | |
Hashable GetModIface # | |
Defined in Development.IDE.Core.RuleTypes | |
type Rep GetModIface # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: Type -> Type)) | |
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
Generic GetFileContents # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileContents -> ShowS # show :: GetFileContents -> String # showList :: [GetFileContents] -> ShowS # | |
NFData GetFileContents # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileContents -> () # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: Type -> Type)) | |
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
data IsFileOfInterestResult #
Constructors
NotFOI | |
IsFOI FileOfInterestStatus |
Instances
data IsFileOfInterest #
Constructors
IsFileOfInterest |
Instances
data ModSummaryResult #
Constructors
ModSummaryResult | |
Fields
|
Instances
Show ModSummaryResult # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ModSummaryResult -> ShowS # show :: ModSummaryResult -> String # showList :: [ModSummaryResult] -> ShowS # | |
NFData ModSummaryResult # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: ModSummaryResult -> () # |
data GetModSummary #
Constructors
GetModSummary |
Instances
Generic GetModSummary # | |
Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummary :: Type -> Type | |
Show GetModSummary # | |
Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS # | |
NFData GetModSummary # | |
Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () # | |
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 # | |
Defined in Development.IDE.Core.RuleTypes type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: Type -> Type)) | |
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
data NeedsCompilation #
Constructors
NeedsCompilation |
Instances
pattern GhcSessionDeps :: GhcSessionDeps #
pattern GetModificationTime :: GetModificationTime #
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.
mkHiFileResult :: ModSummary -> ModIface -> ModDetails -> ModuleEnv ByteString -> Maybe (CoreFile, ByteString) -> HiFileResult #
vfsVersion :: FileVersion -> Maybe Int32 #