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_ {
  - fullModSummary :: Bool
  }
- pattern GhcSessionDeps :: GhcSessionDeps
data TcModuleResult = TcModuleResult {
- tmrParsed :: ParsedModule
- tmrRenamed :: RenamedSource
- tmrTypechecked :: TcGblEnv
- tmrTopLevelSplices :: Splices
- tmrDeferredError :: !Bool
- tmrRuntimeModules :: !(ModuleEnv ByteString)
- tmrWarnings :: WarningMessages
}
data FileOfInterestStatus
- = OnDisk
- | Modified {
  - firstOpen :: !Bool
  }
data GetParsedModule = GetParsedModule
data GhcSessionIO = GhcSessionIO
data GetClientSettings = GetClientSettings
newtype GhcSessionDeps = GhcSessionDeps_ {
- fullModSummary :: Bool
}
pattern GhcSessionDeps :: GhcSessionDeps
newtype GetModificationTime = GetModificationTime_ {
- missingFileDiagnostics :: Bool
}
pattern GetModificationTime :: GetModificationTime
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 GetLocatedImports = GetLocatedImports
data GetKnownTargets = GetKnownTargets
data LinkableType
- = ObjectLinkable
- | BCOLinkable
encodeLinkableType :: Maybe LinkableType -> ByteString
data GetParsedModuleWithComments = GetParsedModuleWithComments
data GetModuleGraph = GetModuleGraph
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)]
}
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 {
- hieModule :: Module
- hieAst :: !(HieASTs a)
- refMap :: RefMap a
- typeRefs :: Map Name [RealSrcSpan]
- hieKind :: !(HieKind a)
}
data HieKind a where
- HieFromDisk :: !HieFile -> HieKind Int
- HieFresh :: HieKind Type
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 GetFileHash = GetFileHash
data AddWatchedFile = AddWatchedFile
vfsVersion :: FileVersion -> Maybe Int32
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
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
tmrWarnings :: WarningMessages
Structured warnings for this module.

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

Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileOfInterestStatus = D1 ('MetaData "FileOfInterestStatus" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "OnDisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Modified" 'PrefixI 'True) (S1 ('MetaSel ('Just "firstOpen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))

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 #

Pretty FileOfInterestStatus Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

pretty :: FileOfInterestStatus -> Doc ann #

prettyList :: [FileOfInterestStatus] -> Doc ann #

type Rep FileOfInterestStatus Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileOfInterestStatus = D1 ('MetaData "FileOfInterestStatus" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetParsedModule" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GhcSessionIO" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetClientSettings" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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

pattern GhcSessionDeps :: GhcSessionDeps Source #

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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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

pattern GetModificationTime :: GetModificationTime Source #

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

Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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)))

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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileExists = D1 ('MetaData "GetFileExists" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetFileExists" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 GetLocatedImports Source #

Constructors

GetLocatedImports

Instances

Instances details

Generic GetLocatedImports Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLocatedImports
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetLocatedImports" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 GetKnownTargets Source #

Constructors

GetKnownTargets

Instances

Instances details

Generic GetKnownTargets Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetKnownTargets
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetKnownTargets" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 LinkableType Source #

Constructors

ObjectLinkable
BCOLinkable

Instances

Instances details

Generic LinkableType Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep LinkableType
Instance details Defined in Development.IDE.Core.RuleTypes type Rep LinkableType = D1 ('MetaData "LinkableType" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: Type -> Type))

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.

data GetParsedModuleWithComments Source #

Constructors

GetParsedModuleWithComments

Instances

Instances details

Generic GetParsedModuleWithComments Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetParsedModuleWithComments
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetParsedModuleWithComments" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModuleGraph = D1 ('MetaData "GetModuleGraph" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModuleGraph" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 GetLinkable Source #

Constructors

GetLinkable

Instances

Instances details

Generic GetLinkable Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLinkable
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLinkable = D1 ('MetaData "GetLinkable" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetLinkable" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetImportMap" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 -> () #

tmrModSummary :: TcModuleResult -> ModSummary Source #

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 -> () #

hiFileFingerPrint :: HiFileResult -> ByteString Source #

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

data HieAstResult Source #

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

Constructors

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 Int
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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 ReportImportCycles Source #

Constructors

ReportImportCycles

Instances

Instances details

Generic ReportImportCycles Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep ReportImportCycles
Instance details Defined in Development.IDE.Core.RuleTypes type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModIfaceFromDisk" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDiskAndIndex = D1 ('MetaData "GetModIfaceFromDiskAndIndex" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModIfaceFromDiskAndIndex" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 Rope)

data GetFileHash Source #

Constructors

GetFileHash

Instances

Instances details

Generic GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetFileHash
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileHash = D1 ('MetaData "GetFileHash" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetFileHash" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: GetFileHash -> Rep GetFileHash x #

to :: Rep GetFileHash x -> GetFileHash #

Show GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetFileHash -> ShowS #

show :: GetFileHash -> String #

showList :: [GetFileHash] -> ShowS #

NFData GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetFileHash -> () #

Eq GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

(==) :: GetFileHash -> GetFileHash -> Bool #

(/=) :: GetFileHash -> GetFileHash -> Bool #

Hashable GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetFileHash -> Int #

hash :: GetFileHash -> Int #

type Rep GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileHash = D1 ('MetaData "GetFileHash" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetFileHash" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetFileHash Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

type RuleResult GetFileHash = Fingerprint

data AddWatchedFile Source #

Constructors

AddWatchedFile

Instances

Instances details

Generic AddWatchedFile Source #

Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep AddWatchedFile
Instance details Defined in Development.IDE.Core.RuleTypes type Rep AddWatchedFile = D1 ('MetaData "AddWatchedFile" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "AddWatchedFile" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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

vfsVersion :: FileVersion -> Maybe Int32 Source #

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

Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterestResult = D1 ('MetaData "IsFileOfInterestResult" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "NotFOI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsFOI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileOfInterestStatus)))

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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "IsFileOfInterest" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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
Instance details Defined in Development.IDE.Core.RuleTypes type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" 'False) (C1 ('MetaCons "NeedsCompilation" 'PrefixI 'False) (U1 :: 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.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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

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 #