ghcide-2.4.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageHaskell2010

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
Show GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GhcSessionDeps -> ShowS #

show :: GhcSessionDeps -> String #

showList :: [GhcSessionDeps] -> ShowS #

NFData GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionDeps -> () #

Eq GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GhcSessionDeps -> Int #

hash :: GhcSessionDeps -> Int #

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 FileOfInterestStatus #

Constructors

OnDisk 
Modified 

Fields

Instances

Instances details
Generic FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep FileOfInterestStatus :: Type -> Type

Show FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: FileOfInterestStatus -> () #

Eq FileOfInterestStatus # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable 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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "OnDisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Modified" 'PrefixI 'True) (S1 ('MetaSel ('Just "firstOpen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))

data GenerateCore #

Constructors

GenerateCore 

Instances

Instances details
Generic GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GenerateCore :: Type -> Type

Show GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GenerateCore -> ShowS #

show :: GenerateCore -> String #

showList :: [GenerateCore] -> ShowS #

NFData GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GenerateCore -> () #

Eq GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GenerateCore -> Int #

hash :: GenerateCore -> Int #

type Rep GenerateCore # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Convert to Core, requires TypeCheck*

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetHieAst #

Constructors

GetHieAst 

Instances

Instances details
Generic GetHieAst # 
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

Show GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetHieAst -> ShowS #

show :: GetHieAst -> String #

showList :: [GetHieAst] -> ShowS #

NFData GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetHieAst -> () #

Eq GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetHieAst -> Int #

hash :: GetHieAst -> Int #

type Rep GetHieAst # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

The uncompressed HieAST

Instance details

Defined in Development.IDE.Core.RuleTypes

data TypeCheck #

Constructors

TypeCheck 

Instances

Instances details
Generic TypeCheck # 
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

Show TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> TypeCheck -> ShowS #

show :: TypeCheck -> String #

showList :: [TypeCheck] -> ShowS #

NFData TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: TypeCheck -> () #

Eq TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> TypeCheck -> Int #

hash :: TypeCheck -> Int #

type Rep TypeCheck # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

The type checked version of this file, requires TypeCheck+

Instance details

Defined in Development.IDE.Core.RuleTypes

data IdeGhcSession #

Constructors

IdeGhcSession 

Fields

Instances

Instances details
Show IdeGhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> IdeGhcSession -> ShowS #

show :: IdeGhcSession -> String #

showList :: [IdeGhcSession] -> ShowS #

NFData IdeGhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IdeGhcSession -> () #

data GetParsedModule #

Constructors

GetParsedModule 

Instances

Instances details
Generic GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetParsedModule :: Type -> Type

Show GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetParsedModule -> ShowS #

show :: GetParsedModule -> String #

showList :: [GetParsedModule] -> ShowS #

NFData GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetParsedModule -> () #

Eq GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetParsedModule -> Int #

hash :: GetParsedModule -> Int #

type Rep GetParsedModule # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GhcSessionIO :: Type -> Type

Show GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GhcSessionIO -> ShowS #

show :: GhcSessionIO -> String #

showList :: [GhcSessionIO] -> ShowS #

NFData GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionIO -> () #

Eq GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GhcSessionIO -> Int #

hash :: GhcSessionIO -> Int #

type Rep GhcSessionIO # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data GetClientSettings #

Get the client config stored in the ide state

Constructors

GetClientSettings 

Instances

Instances details
Generic GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetClientSettings :: Type -> Type

Show GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetClientSettings -> () #

Eq GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetClientSettings -> Int #

hash :: GetClientSettings -> Int #

type Rep GetClientSettings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Show GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GhcSessionDeps -> ShowS #

show :: GhcSessionDeps -> String #

showList :: [GhcSessionDeps] -> ShowS #

NFData GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSessionDeps -> () #

Eq GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GhcSessionDeps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GhcSessionDeps -> Int #

hash :: GhcSessionDeps -> Int #

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
Generic GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModificationTime :: Type -> Type

Show GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModificationTime -> () #

Eq GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModificationTime -> Int #

hash :: GetModificationTime -> Int #

type Rep GetModificationTime # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic FileVersion # 
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

Show FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> FileVersion -> ShowS #

show :: FileVersion -> String #

showList :: [FileVersion] -> ShowS #

NFData FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: FileVersion -> () #

Eq FileVersion # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 POSIXTime)) :+: C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)))

data TcModuleResult #

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

Constructors

TcModuleResult 

Fields

Instances

Instances details
Show TcModuleResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> TcModuleResult -> ShowS #

show :: TcModuleResult -> String #

showList :: [TcModuleResult] -> ShowS #

NFData TcModuleResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: TcModuleResult -> () #

data GhcSession #

Constructors

GhcSession 

Instances

Instances details
Generic GhcSession # 
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

Show GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GhcSession -> ShowS #

show :: GhcSession -> String #

showList :: [GhcSession] -> ShowS #

NFData GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GhcSession -> () #

Eq GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GhcSession -> Int #

hash :: GhcSession -> Int #

type Rep GhcSession # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

A GHC session that we reuse.

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetFileExists #

Constructors

GetFileExists 

Instances

Instances details
Generic GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetFileExists :: Type -> Type

Show GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetFileExists -> ShowS #

show :: GetFileExists -> String #

showList :: [GetFileExists] -> ShowS #

NFData GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetFileExists -> () #

Eq GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetFileExists -> Int #

hash :: GetFileExists -> Int #

type Rep GetFileExists # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

newtype ImportMap #

Constructors

ImportMap 

Fields

Instances

Instances details
Show ImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> ImportMap -> ShowS #

show :: ImportMap -> String #

showList :: [ImportMap] -> ShowS #

NFData ImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ImportMap -> () #

data LinkableType #

Instances

Instances details
Generic LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep LinkableType :: Type -> Type

Show LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> LinkableType -> ShowS #

show :: LinkableType -> String #

showList :: [LinkableType] -> ShowS #

NFData LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: LinkableType -> () #

Eq LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Ord LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> LinkableType -> Int #

hash :: LinkableType -> Int #

type Rep LinkableType # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

data GetParsedModuleWithComments #

Instances

Instances details
Generic GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetParsedModuleWithComments :: Type -> Type

Show GetParsedModuleWithComments # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData 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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModuleGraph :: Type -> Type

Show GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetModuleGraph -> ShowS #

show :: GetModuleGraph -> String #

showList :: [GetModuleGraph] -> ShowS #

NFData GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModuleGraph -> () #

Eq GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModuleGraph -> Int #

hash :: GetModuleGraph -> Int #

type Rep GetModuleGraph # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data GetKnownTargets #

Constructors

GetKnownTargets 

Instances

Instances details
Generic GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetKnownTargets :: Type -> Type

Show GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetKnownTargets -> ShowS #

show :: GetKnownTargets -> String #

showList :: [GetKnownTargets] -> ShowS #

NFData GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetKnownTargets -> () #

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

Methods

hashWithSalt :: Int -> GetKnownTargets -> Int #

hash :: GetKnownTargets -> Int #

type Rep GetKnownTargets # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data GetLinkable #

Constructors

GetLinkable 

Instances

Instances details
Generic GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLinkable :: Type -> Type

Methods

from :: GetLinkable -> Rep GetLinkable x

to :: Rep GetLinkable x -> GetLinkable

Show GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetLinkable -> ShowS #

show :: GetLinkable -> String #

showList :: [GetLinkable] -> ShowS #

NFData GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetLinkable -> () #

Eq GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetLinkable -> Int #

hash :: GetLinkable -> Int #

type Rep GetLinkable # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data LinkableResult #

Constructors

LinkableResult 

Fields

Instances

Instances details
Show LinkableResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> LinkableResult -> ShowS #

show :: LinkableResult -> String #

showList :: [LinkableResult] -> ShowS #

NFData LinkableResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: LinkableResult -> () #

data GetImportMap #

Constructors

GetImportMap 

Instances

Instances details
Generic GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetImportMap :: Type -> Type

Show GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetImportMap -> ShowS #

show :: GetImportMap -> String #

showList :: [GetImportMap] -> ShowS #

NFData GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetImportMap -> () #

Eq GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetImportMap -> Int #

hash :: GetImportMap -> Int #

type Rep GetImportMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data Splices #

Instances

Instances details
Monoid Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Semigroup Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

(<>) :: Splices -> Splices -> Splices #

sconcat :: NonEmpty Splices -> Splices #

stimes :: Integral b => b -> Splices -> Splices #

NFData Splices # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: Splices -> () #

data HiFileResult #

Constructors

HiFileResult 

Fields

Instances

Instances details
Show HiFileResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> HiFileResult -> ShowS #

show :: HiFileResult -> String #

showList :: [HiFileResult] -> ShowS #

NFData HiFileResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: HiFileResult -> () #

data HieAstResult #

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

Constructors

forall a.Typeable a => HAR 

Fields

Instances

Instances details
Show HieAstResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> HieAstResult -> ShowS #

show :: HieAstResult -> String #

showList :: [HieAstResult] -> ShowS #

NFData HieAstResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: HieAstResult -> () #

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
Generic GetBindings # 
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

Show GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetBindings -> ShowS #

show :: GetBindings -> String #

showList :: [GetBindings] -> ShowS #

NFData GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetBindings -> () #

Eq GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetBindings -> Int #

hash :: GetBindings -> Int #

type Rep GetBindings # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

A IntervalMap telling us what is in scope at each point

Instance details

Defined in Development.IDE.Core.RuleTypes

data DocAndKindMap #

Constructors

DKMap 

Instances

Instances details
Show DocAndKindMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> DocAndKindMap -> ShowS #

show :: DocAndKindMap -> String #

showList :: [DocAndKindMap] -> ShowS #

NFData DocAndKindMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: DocAndKindMap -> () #

data GetDocMap #

Constructors

GetDocMap 

Instances

Instances details
Generic GetDocMap # 
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

Show GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetDocMap -> ShowS #

show :: GetDocMap -> String #

showList :: [GetDocMap] -> ShowS #

NFData GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetDocMap -> () #

Eq GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetDocMap -> Int #

hash :: GetDocMap -> Int #

type Rep GetDocMap # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

Defined in Development.IDE.Core.RuleTypes

data GetLocatedImports #

Constructors

GetLocatedImports 

Instances

Instances details
Generic GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetLocatedImports :: Type -> Type

Show GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetLocatedImports -> () #

Eq GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetLocatedImports -> Int #

hash :: GetLocatedImports -> Int #

type Rep GetLocatedImports # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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 ReportImportCycles #

Constructors

ReportImportCycles 

Instances

Instances details
Generic ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep ReportImportCycles :: Type -> Type

Show ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ReportImportCycles -> () #

Eq ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> ReportImportCycles -> Int #

hash :: ReportImportCycles -> Int #

type Rep ReportImportCycles # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

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

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModIfaceFromDisk #

Constructors

GetModIfaceFromDisk 

Instances

Instances details
Generic GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModIfaceFromDisk :: Type -> Type

Show GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModIfaceFromDisk -> () #

Eq GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModIfaceFromDisk -> Int #

hash :: GetModIfaceFromDisk -> Int #

type Rep GetModIfaceFromDisk # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModIfaceFromDiskAndIndex :: Type -> Type

Show GetModIfaceFromDiskAndIndex # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData 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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic GetModIface # 
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

Show GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetModIface -> ShowS #

show :: GetModIface -> String #

showList :: [GetModIface] -> ShowS #

NFData GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModIface -> () #

Eq GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

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

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

Hashable GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModIface -> Int #

hash :: GetModIface -> Int #

type Rep GetModIface # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

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

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetFileContents #

Constructors

GetFileContents 

Instances

Instances details
Generic GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetFileContents :: Type -> Type

Show GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetFileContents -> ShowS #

show :: GetFileContents -> String #

showList :: [GetFileContents] -> ShowS #

NFData GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetFileContents -> () #

Eq GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetFileContents -> Int #

hash :: GetFileContents -> Int #

type Rep GetFileContents # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

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

Instance details

Defined in Development.IDE.Core.RuleTypes

data AddWatchedFile #

Constructors

AddWatchedFile 

Instances

Instances details
Generic AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep AddWatchedFile :: Type -> Type

Show AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> AddWatchedFile -> ShowS #

show :: AddWatchedFile -> String #

showList :: [AddWatchedFile] -> ShowS #

NFData AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: AddWatchedFile -> () #

Eq AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> AddWatchedFile -> Int #

hash :: AddWatchedFile -> Int #

type Rep AddWatchedFile # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep AddWatchedFile = D1 ('MetaData "AddWatchedFile" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep IsFileOfInterestResult :: Type -> Type

Show IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData IsFileOfInterestResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IsFileOfInterestResult -> () #

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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep IsFileOfInterest :: Type -> Type

Show IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> IsFileOfInterest -> ShowS #

show :: IsFileOfInterest -> String #

showList :: [IsFileOfInterest] -> ShowS #

NFData IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IsFileOfInterest -> () #

Eq IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> IsFileOfInterest -> Int #

hash :: IsFileOfInterest -> Int #

type Rep IsFileOfInterest # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep IsFileOfInterest = D1 ('MetaData "IsFileOfInterest" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Show ModSummaryResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> ModSummaryResult -> ShowS #

show :: ModSummaryResult -> String #

showList :: [ModSummaryResult] -> ShowS #

NFData ModSummaryResult # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: ModSummaryResult -> () #

data GetModSummary #

Constructors

GetModSummary 

Instances

Instances details
Generic GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModSummary :: Type -> Type

Show GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetModSummary -> ShowS #

show :: GetModSummary -> String #

showList :: [GetModSummary] -> ShowS #

NFData GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModSummary -> () #

Eq GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModSummary -> Int #

hash :: GetModSummary -> Int #

type Rep GetModSummary # 
Instance details

Defined in Development.IDE.Core.RuleTypes

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

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

Instance details

Defined in Development.IDE.Core.RuleTypes

data GetModSummaryWithoutTimestamps #

Instances

Instances details
Generic GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModSummaryWithoutTimestamps :: Type -> Type

Show GetModSummaryWithoutTimestamps # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData 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.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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
Generic NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep NeedsCompilation :: Type -> Type

Show NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> NeedsCompilation -> ShowS #

show :: NeedsCompilation -> String #

showList :: [NeedsCompilation] -> ShowS #

NFData NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: NeedsCompilation -> () #

Eq NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Hashable NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> NeedsCompilation -> Int #

hash :: NeedsCompilation -> Int #

type Rep NeedsCompilation # 
Instance details

Defined in Development.IDE.Core.RuleTypes

type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" '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

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.

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