Safe Haskell	None
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

data GhcSessionIO = GhcSessionIO
data GetClientSettings = GetClientSettings
data GetModSummary = GetModSummary
data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
data IsFileOfInterest = IsFileOfInterest
data GetModIfaceWithoutLinkable = GetModIfaceWithoutLinkable
data GetModIface = GetModIface
data GetModIfaceFromDisk = GetModIfaceFromDisk
data GhcSessionDeps = GhcSessionDeps
data GhcSession = GhcSession
data GetBindings = GetBindings
data GetHieAst = GetHieAst
data GetDocMap = GetDocMap
data TypeCheck = TypeCheck
data GetDependencies = GetDependencies
data ReportImportCycles = ReportImportCycles
data GetModuleGraph = GetModuleGraph
data GetDependencyInformation = GetDependencyInformation
data NeedsCompilation = NeedsCompilation
data GetLocatedImports = GetLocatedImports
data GetParsedModuleWithComments = GetParsedModuleWithComments
data GetParsedModule = GetParsedModule
data IsFileOfInterestResult
- = NotFOI
- | IsFOI FileOfInterestStatus
data FileOfInterestStatus
- = OnDisk
- | Modified
data GetFileContents = GetFileContents
data FileVersion
- = VFSVersion !Int
- | ModificationTime !Int64 !Int64
data GetModificationTime = GetModificationTime_ {
- missingFileDiagnostics :: Bool
}
data DocAndKindMap = DKMap {
- getDocMap :: !DocMap
- getKindMap :: !KindMap
}
data HieAstResult = HAR {
- hieModule :: Module
- hieAst :: !(HieASTs Type)
- refMap :: RefMap
}
data HiFileResult = HiFileResult {
- hirModSummary :: !ModSummary
- hirHomeMod :: !HomeModInfo
}
data TcModuleResult = TcModuleResult {
- tmrParsed :: ParsedModule
- tmrRenamed :: RenamedSource
- tmrTypechecked :: TcGblEnv
- tmrTopLevelSplices :: Splices
- tmrDeferedError :: !Bool
}
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)]
}
newtype ImportMap = ImportMap {
- importMap :: Map ModuleName NormalizedFilePath
}
data GetImportMap = GetImportMap
data GenerateCore = GenerateCore
data GetKnownTargets = GetKnownTargets
data LinkableType
- = ObjectLinkable
- | BCOLinkable
pattern GetModificationTime :: GetModificationTime
tmrModSummary :: TcModuleResult -> ModSummary
hiFileFingerPrint :: HiFileResult -> ByteString
hirModIface :: HiFileResult -> ModIface
vfsVersion :: FileVersion -> Maybe Int
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

data GhcSessionIO Source #

Constructors

GhcSessionIO

Instances

Instances details

Eq GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionIO -> GhcSessionIO -> Bool # (/=) :: GhcSessionIO -> GhcSessionIO -> Bool #
Show GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionIO -> ShowS # show :: GhcSessionIO -> String # showList :: [GhcSessionIO] -> ShowS #
Generic GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionIO :: Type -> Type # Methods from :: GhcSessionIO -> Rep GhcSessionIO x # to :: Rep GhcSessionIO x -> GhcSessionIO #
Hashable GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionIO -> Int # hash :: GhcSessionIO -> Int #
Binary GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GhcSessionIO -> Put # get :: Get GhcSessionIO # putList :: [GhcSessionIO] -> Put #
NFData GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionIO -> () #
type Rep GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 vscode client settings stored in the ide state

Constructors

GetClientSettings

Instances

Instances details

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

data GetModSummary Source #

Constructors

GetModSummary

Instances

Instances details

Eq GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummary -> GetModSummary -> Bool # (/=) :: GetModSummary -> GetModSummary -> Bool #
Show GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS #
Generic GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummary :: Type -> Type # Methods from :: GetModSummary -> Rep GetModSummary x # to :: Rep GetModSummary x -> GetModSummary #
Hashable GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummary -> Int # hash :: GetModSummary -> Int #
Binary GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModSummary -> Put # get :: Get GetModSummary # putList :: [GetModSummary] -> Put #
NFData GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () #
type Rep GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 = (ModSummary, [LImportDecl GhcPs])

data GetModSummaryWithoutTimestamps Source #

Constructors

GetModSummaryWithoutTimestamps

Instances

Instances details

Eq GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool # (/=) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool #
Show GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummaryWithoutTimestamps -> ShowS # show :: GetModSummaryWithoutTimestamps -> String # showList :: [GetModSummaryWithoutTimestamps] -> ShowS #
Generic GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummaryWithoutTimestamps :: Type -> Type # Methods from :: GetModSummaryWithoutTimestamps -> Rep GetModSummaryWithoutTimestamps x # to :: Rep GetModSummaryWithoutTimestamps x -> GetModSummaryWithoutTimestamps #
Hashable GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummaryWithoutTimestamps -> Int # hash :: GetModSummaryWithoutTimestamps -> Int #
Binary GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModSummaryWithoutTimestamps -> Put # get :: Get GetModSummaryWithoutTimestamps # putList :: [GetModSummaryWithoutTimestamps] -> Put #
NFData GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummaryWithoutTimestamps -> () #
type Rep GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummaryWithoutTimestamps Source #	Generate a ModSummary with the timestamps elided, for more successful early cutoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummaryWithoutTimestamps = (ModSummary, [LImportDecl GhcPs])

data IsFileOfInterest Source #

Constructors

IsFileOfInterest

Instances

Instances details

Eq IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterest -> IsFileOfInterest -> Bool # (/=) :: IsFileOfInterest -> IsFileOfInterest -> Bool #
Show IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterest -> ShowS # show :: IsFileOfInterest -> String # showList :: [IsFileOfInterest] -> ShowS #
Generic IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep IsFileOfInterest :: Type -> Type # Methods from :: IsFileOfInterest -> Rep IsFileOfInterest x # to :: Rep IsFileOfInterest x -> IsFileOfInterest #
Hashable IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> IsFileOfInterest -> Int # hash :: IsFileOfInterest -> Int #
Binary IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: IsFileOfInterest -> Put # get :: Get IsFileOfInterest # putList :: [IsFileOfInterest] -> Put #
NFData IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterest -> () #
type Rep IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetModIfaceWithoutLinkable Source #

Constructors

GetModIfaceWithoutLinkable

Instances

Instances details

Eq GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceWithoutLinkable -> GetModIfaceWithoutLinkable -> Bool # (/=) :: GetModIfaceWithoutLinkable -> GetModIfaceWithoutLinkable -> Bool #
Show GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceWithoutLinkable -> ShowS # show :: GetModIfaceWithoutLinkable -> String # showList :: [GetModIfaceWithoutLinkable] -> ShowS #
Generic GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceWithoutLinkable :: Type -> Type # Methods from :: GetModIfaceWithoutLinkable -> Rep GetModIfaceWithoutLinkable x # to :: Rep GetModIfaceWithoutLinkable x -> GetModIfaceWithoutLinkable #
Hashable GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceWithoutLinkable -> Int # hash :: GetModIfaceWithoutLinkable -> Int #
Binary GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIfaceWithoutLinkable -> Put # get :: Get GetModIfaceWithoutLinkable # putList :: [GetModIfaceWithoutLinkable] -> Put #
NFData GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceWithoutLinkable -> () #
type Rep GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceWithoutLinkable = D1 ('MetaData "GetModIfaceWithoutLinkable" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "GetModIfaceWithoutLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceWithoutLinkable Source #	Get a module interface details, without the Linkable For better early cuttoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceWithoutLinkable = HiFileResult

data GetModIface Source #

Constructors

GetModIface

Instances

Instances details

Eq GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIface -> GetModIface -> Bool # (/=) :: GetModIface -> GetModIface -> Bool #
Show GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS #
Generic GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIface :: Type -> Type # Methods from :: GetModIface -> Rep GetModIface x # to :: Rep GetModIface x -> GetModIface #
Hashable GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIface -> Int # hash :: GetModIface -> Int #
Binary GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIface -> Put # get :: Get GetModIface # putList :: [GetModIface] -> Put #
NFData GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () #
type Rep GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetModIfaceFromDisk Source #

Constructors

GetModIfaceFromDisk

Instances

Instances details

Eq GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool # (/=) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool #
Show GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDisk -> ShowS # show :: GetModIfaceFromDisk -> String # showList :: [GetModIfaceFromDisk] -> ShowS #
Generic GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceFromDisk :: Type -> Type # Methods from :: GetModIfaceFromDisk -> Rep GetModIfaceFromDisk x # to :: Rep GetModIfaceFromDisk x -> GetModIfaceFromDisk #
Hashable GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDisk -> Int # hash :: GetModIfaceFromDisk -> Int #
Binary GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIfaceFromDisk -> Put # get :: Get GetModIfaceFromDisk # putList :: [GetModIfaceFromDisk] -> Put #
NFData GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDisk -> () #
type Rep GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GhcSessionDeps Source #

Constructors

GhcSessionDeps

Instances

Instances details

Eq GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool #
Show GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS #
Generic GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionDeps :: Type -> Type # Methods from :: GhcSessionDeps -> Rep GhcSessionDeps x # to :: Rep GhcSessionDeps x -> GhcSessionDeps #
Hashable GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionDeps -> Int # hash :: GhcSessionDeps -> Int #
Binary GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GhcSessionDeps -> Put # get :: Get GhcSessionDeps # putList :: [GhcSessionDeps] -> Put #
NFData GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () #
type Rep GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionDeps = D1 ('MetaData "GhcSessionDeps" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "GhcSessionDeps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSessionDeps Source #	A GHC session preloaded with all the dependencies
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionDeps = HscEnvEq

data GhcSession Source #

Constructors

GhcSession

Instances

Instances details

Eq GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSession -> GhcSession -> Bool # (/=) :: GhcSession -> GhcSession -> Bool #
Show GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS #
Generic GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSession :: Type -> Type # Methods from :: GhcSession -> Rep GhcSession x # to :: Rep GhcSession x -> GhcSession #
Hashable GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSession -> Int # hash :: GhcSession -> Int #
Binary GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GhcSession -> Put # get :: Get GhcSession # putList :: [GhcSession] -> Put #
NFData GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () #
type Rep GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetBindings Source #

Constructors

GetBindings

Instances

Instances details

Eq GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetBindings -> GetBindings -> Bool # (/=) :: GetBindings -> GetBindings -> Bool #
Show GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS #
Generic GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetBindings :: Type -> Type # Methods from :: GetBindings -> Rep GetBindings x # to :: Rep GetBindings x -> GetBindings #
Hashable GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetBindings -> Int # hash :: GetBindings -> Int #
Binary GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetBindings -> Put # get :: Get GetBindings # putList :: [GetBindings] -> Put #
NFData GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () #
type Rep GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetHieAst Source #

Constructors

GetHieAst

Instances

Instances details

Eq GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetHieAst -> GetHieAst -> Bool # (/=) :: GetHieAst -> GetHieAst -> Bool #
Show GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetHieAst -> ShowS # show :: GetHieAst -> String # showList :: [GetHieAst] -> ShowS #
Generic GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetHieAst :: Type -> Type # Methods from :: GetHieAst -> Rep GetHieAst x # to :: Rep GetHieAst x -> GetHieAst #
Hashable GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetHieAst -> Int # hash :: GetHieAst -> Int #
Binary GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetHieAst -> Put # get :: Get GetHieAst # putList :: [GetHieAst] -> Put #
NFData GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetHieAst -> () #
type Rep GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetDocMap Source #

Constructors

GetDocMap

Instances

Instances details

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

data TypeCheck Source #

Constructors

TypeCheck

Instances

Instances details

Eq TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: TypeCheck -> TypeCheck -> Bool # (/=) :: TypeCheck -> TypeCheck -> Bool #
Show TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TypeCheck -> ShowS # show :: TypeCheck -> String # showList :: [TypeCheck] -> ShowS #
Generic TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep TypeCheck :: Type -> Type # Methods from :: TypeCheck -> Rep TypeCheck x # to :: Rep TypeCheck x -> TypeCheck #
Hashable TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> TypeCheck -> Int # hash :: TypeCheck -> Int #
Binary TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: TypeCheck -> Put # get :: Get TypeCheck # putList :: [TypeCheck] -> Put #
NFData TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: TypeCheck -> () #
type Rep TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetDependencies Source #

Constructors

GetDependencies

Instances

Instances details

Eq GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDependencies -> GetDependencies -> Bool # (/=) :: GetDependencies -> GetDependencies -> Bool #
Show GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDependencies -> ShowS # show :: GetDependencies -> String # showList :: [GetDependencies] -> ShowS #
Generic GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetDependencies :: Type -> Type # Methods from :: GetDependencies -> Rep GetDependencies x # to :: Rep GetDependencies x -> GetDependencies #
Hashable GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDependencies -> Int # hash :: GetDependencies -> Int #
Binary GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetDependencies -> Put # get :: Get GetDependencies # putList :: [GetDependencies] -> Put #
NFData GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDependencies -> () #
type Rep GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDependencies = D1 ('MetaData "GetDependencies" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "GetDependencies" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDependencies Source #	Transitive module and pkg dependencies based on the information produced by GetDependencyInformation. This rule is also responsible for calling ReportImportCycles for each file in the transitive closure.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencies = TransitiveDependencies

data ReportImportCycles Source #

Constructors

ReportImportCycles

Instances

Instances details

Eq ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: ReportImportCycles -> ReportImportCycles -> Bool # (/=) :: ReportImportCycles -> ReportImportCycles -> Bool #
Show ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ReportImportCycles -> ShowS # show :: ReportImportCycles -> String # showList :: [ReportImportCycles] -> ShowS #
Generic ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep ReportImportCycles :: Type -> Type # Methods from :: ReportImportCycles -> Rep ReportImportCycles x # to :: Rep ReportImportCycles x -> ReportImportCycles #
Hashable ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> ReportImportCycles -> Int # hash :: ReportImportCycles -> Int #
Binary ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: ReportImportCycles -> Put # get :: Get ReportImportCycles # putList :: [ReportImportCycles] -> Put #
NFData ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ReportImportCycles -> () #
type Rep ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult ReportImportCycles Source #	This rule is used to report import cycles. It depends on GetDependencyInformation. We cannot report the cycles directly from GetDependencyInformation since we can only report diagnostics for the current file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult ReportImportCycles = ()

data GetModuleGraph Source #

Constructors

GetModuleGraph

Instances

Instances details

Eq GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModuleGraph -> GetModuleGraph -> Bool # (/=) :: GetModuleGraph -> GetModuleGraph -> Bool #
Show GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModuleGraph -> ShowS # show :: GetModuleGraph -> String # showList :: [GetModuleGraph] -> ShowS #
Generic GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModuleGraph :: Type -> Type # Methods from :: GetModuleGraph -> Rep GetModuleGraph x # to :: Rep GetModuleGraph x -> GetModuleGraph #
Hashable GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModuleGraph -> Int # hash :: GetModuleGraph -> Int #
Binary GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModuleGraph -> Put # get :: Get GetModuleGraph # putList :: [GetModuleGraph] -> Put #
NFData GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModuleGraph -> () #
type Rep GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModuleGraph = D1 ('MetaData "GetModuleGraph" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetDependencyInformation Source #

Constructors

GetDependencyInformation

Instances

Instances details

Eq GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDependencyInformation -> GetDependencyInformation -> Bool # (/=) :: GetDependencyInformation -> GetDependencyInformation -> Bool #
Show GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDependencyInformation -> ShowS # show :: GetDependencyInformation -> String # showList :: [GetDependencyInformation] -> ShowS #
Generic GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetDependencyInformation :: Type -> Type # Methods from :: GetDependencyInformation -> Rep GetDependencyInformation x # to :: Rep GetDependencyInformation x -> GetDependencyInformation #
Hashable GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDependencyInformation -> Int # hash :: GetDependencyInformation -> Int #
Binary GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetDependencyInformation -> Put # get :: Get GetDependencyInformation # putList :: [GetDependencyInformation] -> Put #
NFData GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDependencyInformation -> () #
type Rep GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDependencyInformation = D1 ('MetaData "GetDependencyInformation" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "GetDependencyInformation" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDependencyInformation Source #	The dependency information produced by following the imports recursively. This rule will succeed even if there is an error, e.g., a module could not be located, a module could not be parsed or an import cycle.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencyInformation = DependencyInformation

data NeedsCompilation Source #

Constructors

NeedsCompilation

Instances

Instances details

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

data GetLocatedImports Source #

Constructors

GetLocatedImports

Instances

Instances details

Eq GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetLocatedImports -> GetLocatedImports -> Bool # (/=) :: GetLocatedImports -> GetLocatedImports -> Bool #
Show GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLocatedImports -> ShowS # show :: GetLocatedImports -> String # showList :: [GetLocatedImports] -> ShowS #
Generic GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetLocatedImports :: Type -> Type # Methods from :: GetLocatedImports -> Rep GetLocatedImports x # to :: Rep GetLocatedImports x -> GetLocatedImports #
Hashable GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetLocatedImports -> Int # hash :: GetLocatedImports -> Int #
Binary GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetLocatedImports -> Put # get :: Get GetLocatedImports # putList :: [GetLocatedImports] -> Put #
NFData GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLocatedImports -> () #
type Rep GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 or the package id of another package.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetLocatedImports

data GetParsedModuleWithComments Source #

Constructors

GetParsedModuleWithComments

Instances

Instances details

Eq GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool # (/=) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool #
Show GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModuleWithComments -> ShowS # show :: GetParsedModuleWithComments -> String # showList :: [GetParsedModuleWithComments] -> ShowS #
Generic GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetParsedModuleWithComments :: Type -> Type # Methods from :: GetParsedModuleWithComments -> Rep GetParsedModuleWithComments x # to :: Rep GetParsedModuleWithComments x -> GetParsedModuleWithComments #
Hashable GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModuleWithComments -> Int # hash :: GetParsedModuleWithComments -> Int #
Binary GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetParsedModuleWithComments -> Put # get :: Get GetParsedModuleWithComments # putList :: [GetParsedModuleWithComments] -> Put #
NFData GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModuleWithComments -> () #
type Rep GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetParsedModule Source #

Constructors

GetParsedModule

Instances

Instances details

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

Constructors

NotFOI
IsFOI FileOfInterestStatus

Instances

Instances details

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

Constructors

OnDisk
Modified

Instances

Instances details

Eq FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool # (/=) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool #
Show FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileOfInterestStatus -> ShowS # show :: FileOfInterestStatus -> String # showList :: [FileOfInterestStatus] -> ShowS #
Generic FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileOfInterestStatus :: Type -> Type # Methods from :: FileOfInterestStatus -> Rep FileOfInterestStatus x # to :: Rep FileOfInterestStatus x -> FileOfInterestStatus #
Hashable FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> FileOfInterestStatus -> Int # hash :: FileOfInterestStatus -> Int #
Binary FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: FileOfInterestStatus -> Put # get :: Get FileOfInterestStatus # putList :: [FileOfInterestStatus] -> Put #
NFData FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileOfInterestStatus -> () #
type Rep FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileOfInterestStatus = D1 ('MetaData "FileOfInterestStatus" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "OnDisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Modified" 'PrefixI 'False) (U1 :: Type -> Type))

data GetFileContents Source #

Constructors

GetFileContents

Instances

Instances details

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

data FileVersion Source #

Constructors

VFSVersion !Int
ModificationTime
Fields !Int64 Large unit (platform dependent, do not make assumptions) !Int64 Small unit (platform dependent, do not make assumptions)

Instances

Instances details

Show FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileVersion -> ShowS # show :: FileVersion -> String # showList :: [FileVersion] -> ShowS #
Generic FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileVersion :: Type -> Type # Methods from :: FileVersion -> Rep FileVersion x # to :: Rep FileVersion x -> FileVersion #
NFData FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileVersion -> () #
type Rep FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" 'False) (C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)))

data GetModificationTime Source #

Constructors

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

Instances

Instances details

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

data DocAndKindMap Source #

Constructors

DKMap
Fields getDocMap :: !DocMap getKindMap :: !KindMap

Instances

Instances details

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

data HieAstResult Source #

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

Constructors

HAR
Fields hieModule :: Module hieAst :: !(HieASTs Type) refMap :: RefMap 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`

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 HiFileResult Source #

Constructors

HiFileResult
Fields hirModSummary :: !ModSummary hirHomeMod :: !HomeModInfo Includes the Linkable iff we need object files

Instances

Instances details

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

data 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 tmrDeferedError :: !Bool Did we defer any type errors 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 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

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 #
Monoid Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods mempty :: Splices # mappend :: Splices -> Splices -> Splices # mconcat :: [Splices] -> Splices #
NFData Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: Splices -> () #

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 GetImportMap Source #

Constructors

GetImportMap

Instances

Instances details

Eq GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetImportMap -> GetImportMap -> Bool # (/=) :: GetImportMap -> GetImportMap -> Bool #
Show GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetImportMap -> ShowS # show :: GetImportMap -> String # showList :: [GetImportMap] -> ShowS #
Generic GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetImportMap :: Type -> Type # Methods from :: GetImportMap -> Rep GetImportMap x # to :: Rep GetImportMap x -> GetImportMap #
Hashable GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetImportMap -> Int # hash :: GetImportMap -> Int #
Binary GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetImportMap -> Put # get :: Get GetImportMap # putList :: [GetImportMap] -> Put #
NFData GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetImportMap -> () #
type Rep GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GenerateCore Source #

Constructors

GenerateCore

Instances

Instances details

Eq GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GenerateCore -> GenerateCore -> Bool # (/=) :: GenerateCore -> GenerateCore -> Bool #
Show GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS #
Generic GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateCore :: Type -> Type # Methods from :: GenerateCore -> Rep GenerateCore x # to :: Rep GenerateCore x -> GenerateCore #
Hashable GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GenerateCore -> Int # hash :: GenerateCore -> Int #
Binary GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GenerateCore -> Put # get :: Get GenerateCore # putList :: [GenerateCore] -> Put #
NFData GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () #
type Rep GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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 GetKnownTargets Source #

Constructors

GetKnownTargets

Instances

Instances details

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 #
Show GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetKnownTargets -> ShowS # show :: GetKnownTargets -> String # showList :: [GetKnownTargets] -> ShowS #
Generic GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetKnownTargets :: Type -> Type # Methods from :: GetKnownTargets -> Rep GetKnownTargets x # to :: Rep GetKnownTargets x -> GetKnownTargets #
Hashable GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetKnownTargets -> Int # hash :: GetKnownTargets -> Int #
Binary GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetKnownTargets -> Put # get :: Get GetKnownTargets # putList :: [GetKnownTargets] -> Put #
NFData GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetKnownTargets -> () #
type Rep GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-0.7.3.0-7Jt80mSDLDuL0bAoNcQUR5" '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

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 #
Show LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableType -> ShowS # show :: LinkableType -> String # showList :: [LinkableType] -> ShowS #

pattern GetModificationTime :: GetModificationTime Source #

tmrModSummary :: TcModuleResult -> ModSummary Source #

hiFileFingerPrint :: HiFileResult -> ByteString Source #

hirModIface :: HiFileResult -> ModIface Source #

vfsVersion :: FileVersion -> Maybe Int Source #

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

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

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

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

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