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 GetModSummary = GetModSummary
data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
data IsFileOfInterest = IsFileOfInterest
data GetModIface = GetModIface
data GetModIfaceFromDisk = GetModIfaceFromDisk
data GhcSessionDeps = GhcSessionDeps
data GhcSession = GhcSession
data GenerateByteCode = GenerateByteCode
data GenerateCore = GenerateCore
data GetSpanInfo = GetSpanInfo
data TypeCheck = TypeCheck
data GetDependencies = GetDependencies
data ReportImportCycles = ReportImportCycles
data GetDependencyInformation = GetDependencyInformation
data GetLocatedImports = GetLocatedImports
data GetParsedModule = GetParsedModule
data HiFileResult = HiFileResult {
- hirModSummary :: !ModSummary
- hirModIface :: !ModIface
}
data TcModuleResult = TcModuleResult {
- tmrModule :: TypecheckedModule
- tmrModInfo :: HomeModInfo
}
tmrModSummary :: TcModuleResult -> ModSummary
tmr_hiFileResult :: TcModuleResult -> HiFileResult
hiFileFingerPrint :: HiFileResult -> ByteString

Documentation

data GetModSummary Source #

Constructors

GetModSummary

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

data GetModSummaryWithoutTimestamps Source #

Constructors

GetModSummaryWithoutTimestamps

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

data IsFileOfInterest Source #

Constructors

IsFileOfInterest

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" False) (C1 (MetaCons "IsFileOfInterest" PrefixI False) (U1 :: Type -> Type))
type RuleResult IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult IsFileOfInterest = Bool

data GetModIface Source #

Constructors

GetModIface

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 GenerateByteCode Source #

Constructors

GenerateByteCode

Instances

Eq GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GenerateByteCode -> GenerateByteCode -> Bool # (/=) :: GenerateByteCode -> GenerateByteCode -> Bool #
Show GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateByteCode -> ShowS # show :: GenerateByteCode -> String # showList :: [GenerateByteCode] -> ShowS #
Generic GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateByteCode :: Type -> Type # Methods from :: GenerateByteCode -> Rep GenerateByteCode x # to :: Rep GenerateByteCode x -> GenerateByteCode #
Hashable GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GenerateByteCode -> Int # hash :: GenerateByteCode -> Int #
Binary GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GenerateByteCode -> Put # get :: Get GenerateByteCode # putList :: [GenerateByteCode] -> Put #
NFData GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateByteCode -> () #
type Rep GenerateByteCode Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GenerateByteCode = D1 (MetaData "GenerateByteCode" "Development.IDE.Core.RuleTypes" "ghcide-0.3.0-Dfp4umcHt6s1wVYFQXPyfq" False) (C1 (MetaCons "GenerateByteCode" PrefixI False) (U1 :: Type -> Type))
type RuleResult GenerateByteCode Source #	Generate byte code for template haskell.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GenerateByteCode = Linkable

data GenerateCore Source #

Constructors

GenerateCore

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 = (SafeHaskellMode, CgGuts, ModDetails)

data GetSpanInfo Source #

Constructors

GetSpanInfo

Instances

Eq GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetSpanInfo -> GetSpanInfo -> Bool # (/=) :: GetSpanInfo -> GetSpanInfo -> Bool #
Show GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetSpanInfo -> ShowS # show :: GetSpanInfo -> String # showList :: [GetSpanInfo] -> ShowS #
Generic GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetSpanInfo :: Type -> Type # Methods from :: GetSpanInfo -> Rep GetSpanInfo x # to :: Rep GetSpanInfo x -> GetSpanInfo #
Hashable GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetSpanInfo -> Int # hash :: GetSpanInfo -> Int #
Binary GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetSpanInfo -> Put # get :: Get GetSpanInfo # putList :: [GetSpanInfo] -> Put #
NFData GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetSpanInfo -> () #
type Rep GetSpanInfo Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetSpanInfo = D1 (MetaData "GetSpanInfo" "Development.IDE.Core.RuleTypes" "ghcide-0.3.0-Dfp4umcHt6s1wVYFQXPyfq" False) (C1 (MetaCons "GetSpanInfo" PrefixI False) (U1 :: Type -> Type))
type RuleResult GetSpanInfo Source #	Information about what spans occur where, requires TypeCheck
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetSpanInfo

data TypeCheck Source #

Constructors

TypeCheck

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 GetDependencyInformation Source #

Constructors

GetDependencyInformation

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 GetLocatedImports Source #

Constructors

GetLocatedImports

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 GetParsedModule Source #

Constructors

GetParsedModule

Instances

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.3.0-Dfp4umcHt6s1wVYFQXPyfq" 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 HiFileResult Source #

Constructors

HiFileResult
Fields hirModSummary :: !ModSummary hirModIface :: !ModIface

Instances

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 tmrModule :: TypecheckedModule tmrModInfo :: HomeModInfo

Instances

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

tmrModSummary :: TcModuleResult -> ModSummary Source #

tmr_hiFileResult :: TcModuleResult -> HiFileResult Source #

hiFileFingerPrint :: HiFileResult -> ByteString Source #