Development.IDE.Core.Shake

A Shake implementation of the compiler service.

There are two primary locations where data lives, and both of these contain much the same data:

• The Shake database (inside shakeDb) stores a map of shake keys to shake values. In our case, these are all of type Q to A. During a single run all the values in the Shake database are consistent so are used in conjunction with each other, e.g. in uses.
• The Values type stores a map of keys to values. These values are always stored as real Haskell values, whereas Shake serialises all A values between runs. To deserialise a Shake value, we just consult Values.

Documentation

data IdeState

A Shake database plus persistent store. Can be thought of as storing mappings from (FilePath, k) to RuleResult k.

shakeExtras :: IdeState -> ShakeExtras

data ShakeExtras

Constructors

ShakeExtras

Fields

• eventer :: FromServerMessage -> IO ()
• debouncer :: Debouncer NormalizedUri
• logger :: Logger
• globals :: Var (HashMap TypeRep Dynamic)
• state :: Var Values
• diagnostics :: Var DiagnosticStore
• hiddenDiagnostics :: Var DiagnosticStore
• publishedDiagnostics :: Var (HashMap NormalizedUri [Diagnostic])

  This represents the set of diagnostics that we have published. Due to debouncing not every change might get published.

• positionMapping :: Var (HashMap NormalizedUri (Map TextDocumentVersion (PositionDelta, PositionMapping)))

  Map from a text document version to a PositionMapping that describes how to map positions in a version of that document to positions in the latest version First mapping is delta from previous version and second one is an accumlation of all previous mappings.

• inProgress :: Var (HashMap NormalizedFilePath Int)

  How many rules are running for each file

• progressUpdate :: ProgressEvent -> IO ()

  The generator for unique Lsp identifiers

• ideTesting :: IdeTesting

  Whether to enable additional lsp messages used by the test suite for checking invariants

• session :: MVar ShakeSession

  Used in the GhcSession rule to forcefully restart the session after adding a new component

• withProgress :: WithProgressFunc

  Report progress about some long running operation (on top of the progress shown by lspShakeProgress)

• withIndefiniteProgress :: WithIndefiniteProgressFunc

  Same as withProgress, but for processes that do not report the percentage complete

• restartShakeSession :: [DelayedAction ()] -> IO ()
• ideNc :: IORef NameCache
• knownTargetsVar :: Var (Hashed KnownTargets)

  A mapping of module name to known target (or candidate targets, if missing)

• exportsMap :: Var ExportsMap

  A mapping of exported identifiers for local modules. Updated on kick

• actionQueue :: ActionQueue

  A work queue for actions added via runInShakeSession

• clientCapabilities :: ClientCapabilities

Instances

MonadReader ShakeExtras IdeAction

Defined in Development.IDE.Core.Shake

Methods

ask :: IdeAction ShakeExtras

local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a

reader :: (ShakeExtras -> a) -> IdeAction a

getShakeExtras :: Action ShakeExtras

getShakeExtrasRules :: Rules ShakeExtras

type KnownTargets = HashMap Target [NormalizedFilePath]

A mapping of module name to known files

data Target

Constructors

TargetModule ModuleName

TargetFile NormalizedFilePath

Instances

Eq Target

Defined in Development.IDE.Types.KnownTargets

Methods

(==) :: Target -> Target -> Bool

(/=) :: Target -> Target -> Bool

Show Target

Defined in Development.IDE.Types.KnownTargets

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

Generic Target

Defined in Development.IDE.Types.KnownTargets

Associated Types

type Rep Target :: Type -> Type

Methods

from :: Target -> Rep Target x

to :: Rep Target x -> Target

Hashable Target

Defined in Development.IDE.Types.KnownTargets

Methods

hashWithSalt :: Int -> Target -> Int

hash :: Target -> Int

NFData Target

Defined in Development.IDE.Types.KnownTargets

Methods

rnf :: Target -> ()

type Rep Target

Defined in Development.IDE.Types.KnownTargets

type Rep Target = D1 ('MetaData "Target" "Development.IDE.Types.KnownTargets" "ghcide-0.7.2.0-EUSuqy8pllc4ufxMG5ZLPH" 'False) (C1 ('MetaCons "TargetModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)) :+: C1 ('MetaCons "TargetFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NormalizedFilePath)))

toKnownFiles :: KnownTargets -> HashSet NormalizedFilePath

type IdeRule k v = (RuleResult k ~ v, ShakeValue k, Show v, Typeable v, NFData v)

type IdeResult v = ([FileDiagnostic], Maybe v)

The result of an IDE operation. Warnings and errors are in the Diagnostic, and a value is in the Maybe. For operations that throw an error you expect a non-empty list of diagnostics, at least one of which is an error, and a Nothing. For operations that succeed you expect perhaps some warnings and a Just. For operations that depend on other failing operations you may get empty diagnostics and a Nothing, to indicate this phase throws no fresh errors but still failed.

A rule on a file should only return diagnostics for that given file. It should not propagate diagnostic errors through multiple phases.

data GetModificationTime

Constructors

GetModificationTime_

Fields

• missingFileDiagnostics :: Bool

  If false, missing file diagnostics are not reported

Bundled Patterns

pattern GetModificationTime :: GetModificationTime

Instances

Eq GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Methods

(==) :: GetModificationTime -> GetModificationTime -> Bool

(/=) :: GetModificationTime -> GetModificationTime -> Bool

Show GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> GetModificationTime -> ShowS

show :: GetModificationTime -> String

showList :: [GetModificationTime] -> ShowS

Generic GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep GetModificationTime :: Type -> Type

Methods

from :: GetModificationTime -> Rep GetModificationTime x

to :: Rep GetModificationTime x -> GetModificationTime

Hashable GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Methods

hashWithSalt :: Int -> GetModificationTime -> Int

hash :: GetModificationTime -> Int

Binary GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Methods

put :: GetModificationTime -> Put

get :: Get GetModificationTime

putList :: [GetModificationTime] -> Put

NFData GetModificationTime

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: GetModificationTime -> ()

type Rep GetModificationTime

Defined in Development.IDE.Core.RuleTypes

type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-0.7.2.0-EUSuqy8pllc4ufxMG5ZLPH" 'False) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

type RuleResult GetModificationTime

Get the modification time of a file.

Defined in Development.IDE.Core.RuleTypes

type RuleResult GetModificationTime = FileVersion

shakeOpen

Arguments

:: IO LspId

-> (FromServerMessage -> IO ())

diagnostic handler

-> WithProgressFunc

-> WithIndefiniteProgressFunc

-> ClientCapabilities

-> Logger

-> Debouncer NormalizedUri

-> Maybe FilePath

-> IdeReportProgress

-> IdeTesting

-> ShakeOptions

-> Rules ()

-> IO IdeState

Open a IdeState, should be shut using shakeShut.

shakeShut :: IdeState -> IO ()

shakeRestart :: IdeState -> [DelayedAction ()] -> IO ()

Restart the current ShakeSession with the given system actions. Any actions running in the current session will be aborted, but actions added via shakeEnqueue will be requeued.

shakeEnqueue :: ShakeExtras -> DelayedAction a -> IO (IO a)

Enqueue an action in the existing ShakeSession. Returns a computation to block until the action is run, propagating exceptions. Assumes a ShakeSession is available.

Appropriate for user actions other than edits.

shakeProfile :: IdeState -> FilePath -> IO ()

use :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe v)

Request a Rule result if available

useNoFile :: IdeRule k v => k -> Action (Maybe v)

uses :: IdeRule k v => k -> [NormalizedFilePath] -> Action [Maybe v]

Plural version of use

useWithStaleFast :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (Maybe (v, PositionMapping))

Lookup value in the database and return with the stale value immediately Will queue an action to refresh the value. Might block the first time the rule runs, but never blocks after that.

useWithStaleFast' :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (FastResult v)

Same as useWithStaleFast but lets you wait for an up to date result

delayedAction :: DelayedAction a -> IdeAction (IO a)

These actions are run asynchronously after the current action is finished running. For example, to trigger a key build after a rule has already finished as is the case with useWithStaleFast

data FastResult a

A (maybe) stale result now, and an up to date one later

Constructors

FastResult

Fields

• stale :: Maybe (a, PositionMapping)
• uptoDate :: IO (Maybe a)

use_ :: IdeRule k v => k -> NormalizedFilePath -> Action v

useNoFile_ :: IdeRule k v => k -> Action v

uses_ :: IdeRule k v => k -> [NormalizedFilePath] -> Action [v]

useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (v, PositionMapping))

Request a Rule result, it not available return the last computed result, if any, which may be stale

usesWithStale :: IdeRule k v => k -> [NormalizedFilePath] -> Action [Maybe (v, PositionMapping)]

Return the last computed result which might be stale.

useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (v, PositionMapping)

Request a Rule result, it not available return the last computed result which may be stale. Errors out if none available.

usesWithStale_ :: IdeRule k v => k -> [NormalizedFilePath] -> Action [(v, PositionMapping)]

Plural version of useWithStale_

define :: IdeRule k v => (k -> NormalizedFilePath -> Action (IdeResult v)) -> Rules ()

Define a new Rule without early cutoff

defineEarlyCutoff :: IdeRule k v => (k -> NormalizedFilePath -> Action (Maybe ByteString, IdeResult v)) -> Rules ()

Define a new Rule with early cutoff

defineOnDisk :: (ShakeValue k, RuleResult k ~ ()) => (k -> NormalizedFilePath -> OnDiskRule) -> Rules ()

needOnDisk :: (ShakeValue k, RuleResult k ~ ()) => k -> NormalizedFilePath -> Action ()

needOnDisks :: (ShakeValue k, RuleResult k ~ ()) => k -> [NormalizedFilePath] -> Action ()

getDiagnostics :: IdeState -> IO [FileDiagnostic]

getHiddenDiagnostics :: IdeState -> IO [FileDiagnostic]

class Typeable a => IsIdeGlobal a

Instances

IsIdeGlobal GlobalIdeOptions

Defined in Development.IDE.Core.Shake

IsIdeGlobal VFSHandle

Defined in Development.IDE.Core.FileStore

IsIdeGlobal CompiledLinkables

Defined in Development.IDE.Core.Rules

addIdeGlobal :: IsIdeGlobal a => a -> Rules ()

addIdeGlobalExtras :: IsIdeGlobal a => ShakeExtras -> a -> IO ()

getIdeGlobalState :: forall a. IsIdeGlobal a => IdeState -> IO a

getIdeGlobalAction :: forall a. IsIdeGlobal a => Action a

getIdeGlobalExtras :: forall a. IsIdeGlobal a => ShakeExtras -> IO a

getIdeOptions :: Action IdeOptions

getIdeOptionsIO :: ShakeExtras -> IO IdeOptions

newtype GlobalIdeOptions

Constructors

GlobalIdeOptions IdeOptions

Instances

IsIdeGlobal GlobalIdeOptions

Defined in Development.IDE.Core.Shake

garbageCollect :: (NormalizedFilePath -> Bool) -> Action ()

Clear the results for all files that do not match the given predicate.

knownTargets :: Action (Hashed KnownTargets)

Get all the files in the project

setPriority :: Priority -> Action ()

sendEvent :: FromServerMessage -> Action ()

ideLogger :: IdeState -> Logger

actionLogger :: Action Logger

data FileVersion

Constructors

VFSVersion !Int

ModificationTime

Fields

• !Int64

  Large unit (platform dependent, do not make assumptions)

• !Int64

  Small unit (platform dependent, do not make assumptions)

Instances

Show FileVersion

Defined in Development.IDE.Core.RuleTypes

Methods

showsPrec :: Int -> FileVersion -> ShowS

show :: FileVersion -> String

showList :: [FileVersion] -> ShowS

Generic FileVersion

Defined in Development.IDE.Core.RuleTypes

Associated Types

type Rep FileVersion :: Type -> Type

Methods

from :: FileVersion -> Rep FileVersion x

to :: Rep FileVersion x -> FileVersion

NFData FileVersion

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: FileVersion -> ()

type Rep FileVersion

Defined in Development.IDE.Core.RuleTypes

type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-0.7.2.0-EUSuqy8pllc4ufxMG5ZLPH" 'False) (C1 ('MetaCons "VFSVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ModificationTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)))

newtype Priority

Constructors

Priority Double

updatePositionMapping :: IdeState -> VersionedTextDocumentIdentifier -> List TextDocumentContentChangeEvent -> IO ()

deleteValue :: (Typeable k, Hashable k, Eq k, Show k) => IdeState -> k -> NormalizedFilePath -> IO ()

Delete the value stored for a given ide build key

data OnDiskRule

Constructors

OnDiskRule

Fields

• getHash :: Action ByteString
• runRule :: Action (IdeResult ByteString)

type WithProgressFunc = forall a. Text -> ProgressCancellable -> ((Progress -> IO ()) -> IO a) -> IO a

type WithIndefiniteProgressFunc = forall a. Text -> ProgressCancellable -> IO a -> IO a

data ProgressEvent

Constructors

KickStarted

KickCompleted

data DelayedAction a

Instances

Functor DelayedAction

Defined in Development.IDE.Types.Action

Methods

fmap :: (a -> b) -> DelayedAction a -> DelayedAction b

(<$) :: a -> DelayedAction b -> DelayedAction a

Eq (DelayedAction a)

Defined in Development.IDE.Types.Action

Methods

(==) :: DelayedAction a -> DelayedAction a -> Bool

(/=) :: DelayedAction a -> DelayedAction a -> Bool

Show (DelayedAction a)

Defined in Development.IDE.Types.Action

Methods

showsPrec :: Int -> DelayedAction a -> ShowS

show :: DelayedAction a -> String

showList :: [DelayedAction a] -> ShowS

Hashable (DelayedAction a)

Defined in Development.IDE.Types.Action

Methods

hashWithSalt :: Int -> DelayedAction a -> Int

hash :: DelayedAction a -> Int

mkDelayedAction :: String -> Priority -> Action a -> DelayedAction a

newtype IdeAction a

Constructors

IdeAction

Fields

• runIdeActionT :: ReaderT ShakeExtras IO a

Instances

Monad IdeAction

Defined in Development.IDE.Core.Shake

Methods

(>>=) :: IdeAction a -> (a -> IdeAction b) -> IdeAction b

(>>) :: IdeAction a -> IdeAction b -> IdeAction b

return :: a -> IdeAction a

Functor IdeAction

Defined in Development.IDE.Core.Shake

Methods

fmap :: (a -> b) -> IdeAction a -> IdeAction b

(<$) :: a -> IdeAction b -> IdeAction a

Applicative IdeAction

Defined in Development.IDE.Core.Shake

Methods

pure :: a -> IdeAction a

(<*>) :: IdeAction (a -> b) -> IdeAction a -> IdeAction b

liftA2 :: (a -> b -> c) -> IdeAction a -> IdeAction b -> IdeAction c

(*>) :: IdeAction a -> IdeAction b -> IdeAction b

(<*) :: IdeAction a -> IdeAction b -> IdeAction a

MonadIO IdeAction

Defined in Development.IDE.Core.Shake

Methods

liftIO :: IO a -> IdeAction a

MonadReader ShakeExtras IdeAction

Defined in Development.IDE.Core.Shake

Methods

ask :: IdeAction ShakeExtras

local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a

reader :: (ShakeExtras -> a) -> IdeAction a

runIdeAction :: String -> ShakeExtras -> IdeAction a -> IO a

IdeActions are used when we want to return a result immediately, even if it is stale Useful for UI actions like hover, completion where we don't want to block.

mkUpdater :: MaybeT IdeAction NameCacheUpdater

newtype Q k

Constructors

Q (k, NormalizedFilePath)

Instances

Eq k => Eq (Q k)

Defined in Development.IDE.Types.Shake

Methods

(==) :: Q k -> Q k -> Bool

(/=) :: Q k -> Q k -> Bool

Show k => Show (Q k)

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> Q k -> ShowS

show :: Q k -> String

showList :: [Q k] -> ShowS

Hashable k => Hashable (Q k)

Defined in Development.IDE.Types.Shake

Methods

hashWithSalt :: Int -> Q k -> Int

hash :: Q k -> Int

Binary k => Binary (Q k)

Defined in Development.IDE.Types.Shake

Methods

put :: Q k -> Put

get :: Get (Q k)

putList :: [Q k] -> Put

NFData k => NFData (Q k)

Defined in Development.IDE.Types.Shake

Methods

rnf :: Q k -> ()

type RuleResult (Q k)

Defined in Development.IDE.Types.Shake

type RuleResult (Q k) = A (RuleResult k)