ghcide-2.9.0.0: The core of an IDE
Safe HaskellNone
LanguageGHC2021

Development.IDE.Core.RuleTypes

Description

A Shake implementation of the compiler service, built using the Shaker abstraction layer for in-memory use.

Synopsis

Documentation

newtype GhcSessionDeps #

Constructors

GhcSessionDeps_ 

Fields

  • fullModSummary :: Bool

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

Bundled Patterns

pattern GhcSessionDeps :: GhcSessionDeps 

Instances

Instances details
NFData GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionDeps -> () #

Show GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type RuleResult GhcSessionDeps #

A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies

Instance details

Defined in Development.IDE.Core.RuleTypes

data TcModuleResult #

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

Constructors

TcModuleResult 

Fields

Instances

Instances details
NFData TcModuleResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: TcModuleResult -> () #

Show TcModuleResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data FileOfInterestStatus #

Constructors

OnDisk 
Modified 

Fields

Instances

Instances details
NFData FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: FileOfInterestStatus -> () #

Generic FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep FileOfInterestStatus 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

Eq FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Pretty FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

data GetParsedModule #

Constructors

GetParsedModule 

Instances

Instances details
NFData GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetParsedModule -> () #

Generic GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetParsedModule 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetParsedModule" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetParsedModule" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModule #

The parse tree for the file using GetFileContents

Instance details

Defined in Development.IDE.Core.RuleTypes

data GhcSessionIO #

Constructors

GhcSessionIO 

Instances

Instances details
NFData GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionIO -> () #

Generic GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GhcSessionIO 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GhcSessionIO" 'PrefixI 'False) (U1 :: Type -> Type))
Show GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSessionIO = D1 ('MetaData "GhcSessionIO" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GhcSessionIO" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetClientSettings #

Get the client config stored in the ide state

Constructors

GetClientSettings 

Instances

Instances details
NFData GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetClientSettings -> () #

Generic GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetClientSettings 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetClientSettings" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetClientSettings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

newtype GhcSessionDeps #

Constructors

GhcSessionDeps_ 

Fields

  • fullModSummary :: Bool

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

Instances

Instances details
NFData GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionDeps -> () #

Show GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type RuleResult GhcSessionDeps #

A GHC session preloaded with all the dependencies This rule is also responsible for calling ReportImportCycles for the direct dependencies

Instance details

Defined in Development.IDE.Core.RuleTypes

newtype GetModificationTime #

Constructors

GetModificationTime_ 

Fields

Instances

Instances details
NFData GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModificationTime -> () #

Generic GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModificationTime 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type RuleResult GetModificationTime #

Get the modification time of a file.

Instance details

Defined in Development.IDE.Core.RuleTypes

data FileVersion #

Either the mtime from disk or an LSP version LSP versions always compare as greater than on disk versions

Instances

Instances details
NFData FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: FileVersion -> () #

Generic FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep FileVersion 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 POSIXTime)) :+: C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)))
Show FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Ord FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 POSIXTime)) :+: C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)))

data GenerateCore #

Constructors

GenerateCore 

Instances

Instances details
NFData GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GenerateCore -> () #

Generic GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GenerateCore 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: Type -> Type))
Show GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GenerateCore #

Convert to Core, requires TypeCheck*

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetHieAst #

Constructors

GetHieAst 

Instances

Instances details
NFData GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetHieAst -> () #

Generic GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetHieAst 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetHieAst #

The uncompressed HieAST

Instance details

Defined in Development.IDE.Core.RuleTypes

data TypeCheck #

Constructors

TypeCheck 

Instances

Instances details
NFData TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: TypeCheck -> () #

Generic TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep TypeCheck 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: Type -> Type))
Show TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult TypeCheck #

The type checked version of this file, requires TypeCheck+

Instance details

Defined in Development.IDE.Core.RuleTypes

data IdeGhcSession #

Constructors

IdeGhcSession 

Fields

Instances

Instances details
NFData IdeGhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IdeGhcSession -> () #

Show IdeGhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GhcSession #

Constructors

GhcSession 

Instances

Instances details
NFData GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSession -> () #

Generic GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GhcSession 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: Type -> Type))
Show GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSession #

A GHC session that we reuse.

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetFileExists #

Constructors

GetFileExists 

Instances

Instances details
NFData GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetFileExists -> () #

Generic GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetFileExists 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileExists = D1 ('MetaData "GetFileExists" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetFileExists" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileExists = D1 ('MetaData "GetFileExists" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetFileExists" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

newtype ImportMap #

Constructors

ImportMap 

Fields

Instances

Instances details
NFData ImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ImportMap -> () #

Show ImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetLocatedImports #

Constructors

GetLocatedImports 

Instances

Instances details
NFData GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetLocatedImports -> () #

Generic GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLocatedImports 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetLocatedImports" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetLocatedImports" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetLocatedImports #

Resolve the imports in a module to the file path of a module in the same package

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetKnownTargets #

Constructors

GetKnownTargets 

Instances

Instances details
NFData GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetKnownTargets -> () #

Generic GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetKnownTargets 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetKnownTargets" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Ord GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetKnownTargets" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data LinkableType #

Instances

Instances details
NFData LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: LinkableType -> () #

Generic LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep LinkableType 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep LinkableType = D1 ('MetaData "LinkableType" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
Show LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Ord LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep LinkableType = D1 ('MetaData "LinkableType" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: Type -> Type))

encodeLinkableType :: Maybe LinkableType -> ByteString #

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

data GetParsedModuleWithComments #

Instances

Instances details
NFData GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Generic GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetParsedModuleWithComments 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetParsedModuleWithComments" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetParsedModuleWithComments" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModuleWithComments #

The parse tree for the file using GetFileContents, all comments included using Opt_KeepRawTokenStream

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModuleGraph #

Constructors

GetModuleGraph 

Instances

Instances details
NFData GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModuleGraph -> () #

Generic GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModuleGraph 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModuleGraph = D1 ('MetaData "GetModuleGraph" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModuleGraph" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModuleGraph = D1 ('MetaData "GetModuleGraph" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModuleGraph" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetLinkable #

Constructors

GetLinkable 

Instances

Instances details
NFData GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetLinkable -> () #

Generic GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLinkable 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLinkable = D1 ('MetaData "GetLinkable" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLinkable = D1 ('MetaData "GetLinkable" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data LinkableResult #

Constructors

LinkableResult 

Fields

Instances

Instances details
NFData LinkableResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: LinkableResult -> () #

Show LinkableResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetImportMap #

Constructors

GetImportMap 

Instances

Instances details
NFData GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetImportMap -> () #

Generic GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetImportMap 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetImportMap" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetImportMap = D1 ('MetaData "GetImportMap" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetImportMap" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data Splices #

Instances

Instances details
NFData Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: Splices -> () #

Monoid Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Semigroup Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data HiFileResult #

Constructors

HiFileResult 

Fields

Instances

Instances details
NFData HiFileResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: HiFileResult -> () #

Show HiFileResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data HieAstResult #

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

Constructors

Typeable a => HAR 

Fields

Instances

Instances details
NFData HieAstResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: HieAstResult -> () #

Show HieAstResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data HieKind a where #

Instances

Instances details
NFData (HieKind a) # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: HieKind a -> () #

data GetBindings #

Constructors

GetBindings 

Instances

Instances details
NFData GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetBindings -> () #

Generic GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetBindings 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetBindings #

A IntervalMap telling us what is in scope at each point

Instance details

Defined in Development.IDE.Core.RuleTypes

data DocAndTyThingMap #

Constructors

DKMap 

Instances

Instances details
NFData DocAndTyThingMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: DocAndTyThingMap -> () #

Show DocAndTyThingMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetDocMap #

Constructors

GetDocMap 

Instances

Instances details
NFData GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetDocMap -> () #

Generic GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetDocMap 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data ReportImportCycles #

Constructors

ReportImportCycles 

Instances

Instances details
NFData ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ReportImportCycles -> () #

Generic ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep ReportImportCycles 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type))
Show ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult ReportImportCycles #

This rule is used to report import cycles. It depends on GetModuleGraph. We cannot report the cycles directly from GetModuleGraph since we can only report diagnostics for the current file.

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModIfaceFromDisk #

Constructors

GetModIfaceFromDisk 

Instances

Instances details
NFData GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModIfaceFromDisk -> () #

Generic GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModIfaceFromDisk 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIfaceFromDisk" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIfaceFromDisk" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDisk #

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

data GetModIfaceFromDiskAndIndex #

Instances

Instances details
NFData GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Generic GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModIfaceFromDiskAndIndex 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDiskAndIndex = D1 ('MetaData "GetModIfaceFromDiskAndIndex" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIfaceFromDiskAndIndex" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDiskAndIndex = D1 ('MetaData "GetModIfaceFromDiskAndIndex" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIfaceFromDiskAndIndex" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDiskAndIndex #

GetModIfaceFromDisk and index the `.hie` file into the database. This is an internal rule, use GetModIface instead.

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModIface #

Constructors

GetModIface 

Instances

Instances details
NFData GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModIface -> () #

Generic GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModIface 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIface #

Get a module interface details, either from an interface file or a typechecked module

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetFileContents #

Constructors

GetFileContents 

Instances

Instances details
NFData GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetFileContents -> () #

Generic GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetFileContents 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetFileContents #

Get the contents of a file, either dirty (if the buffer is modified) or Nothing to mean use from disk.

Instance details

Defined in Development.IDE.Core.RuleTypes

data AddWatchedFile #

Constructors

AddWatchedFile 

Instances

Instances details
NFData AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: AddWatchedFile -> () #

Generic AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep AddWatchedFile 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep AddWatchedFile = D1 ('MetaData "AddWatchedFile" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "AddWatchedFile" 'PrefixI 'False) (U1 :: Type -> Type))
Show AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep AddWatchedFile = D1 ('MetaData "AddWatchedFile" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "AddWatchedFile" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data IsFileOfInterestResult #

Instances

Instances details
NFData IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IsFileOfInterestResult -> () #

Generic IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep IsFileOfInterestResult 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

Eq IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

data IsFileOfInterest #

Constructors

IsFileOfInterest 

Instances

Instances details
NFData IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IsFileOfInterest -> () #

Generic IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep IsFileOfInterest 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "IsFileOfInterest" 'PrefixI 'False) (U1 :: Type -> Type))
Show IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "IsFileOfInterest" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data ModSummaryResult #

Constructors

ModSummaryResult 

Fields

Instances

Instances details
NFData ModSummaryResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ModSummaryResult -> () #

Show ModSummaryResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModSummary #

Constructors

GetModSummary 

Instances

Instances details
NFData GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModSummary -> () #

Generic GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModSummary 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummary #

Generate a ModSummary that has enough information to be used to get .hi and .hie files. without needing to parse the entire source

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModSummaryWithoutTimestamps #

Instances

Instances details
NFData GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Generic GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModSummaryWithoutTimestamps 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: Type -> Type))
Show GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummaryWithoutTimestamps #

Generate a ModSummary with the timestamps and preprocessed content elided, for more successful early cutoff

Instance details

Defined in Development.IDE.Core.RuleTypes

data NeedsCompilation #

Constructors

NeedsCompilation 

Instances

Instances details
NFData NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: NeedsCompilation -> () #

Generic NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep NeedsCompilation 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "NeedsCompilation" 'PrefixI 'False) (U1 :: Type -> Type))
Show NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Eq NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-2.9.0.0-1G3u1vh8JKWDpMQ8kfXrG1" 'False) (C1 ('MetaCons "NeedsCompilation" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult NeedsCompilation #

Does this module need to be compiled?

Instance details

Defined in Development.IDE.Core.RuleTypes