| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Development.IDE.Plugin.Test
Description
A plugin that adds custom messages for use in tests
Synopsis
- data TestRequest
- newtype WaitForIdeRuleResult = WaitForIdeRuleResult {}
- plugin :: PluginDescriptor IdeState
- blockCommandDescriptor :: PluginId -> PluginDescriptor state
- blockCommandId :: Text
Documentation
data TestRequest Source #
Constructors
| BlockSeconds Seconds | :: Null |
| GetInterfaceFilesDir Uri | :: String |
| GetShakeSessionQueueCount | :: Number |
| WaitForShakeQueue | Block until the Shake queue is empty. Returns Null |
| WaitForIdeRule String Uri | :: WaitForIdeRuleResult |
| GetBuildKeysVisited | :: [(String] |
| GetBuildKeysBuilt | :: [(String] |
| GetBuildKeysChanged | :: [(String] |
| GetBuildEdgesCount | :: Int |
| GarbageCollectDirtyKeys CheckParents Age | :: [String] (list of keys collected) |
| GetStoredKeys | :: [String] (list of keys in store) |
| GetFilesOfInterest | :: [FilePath] |
| GetRebuildsCount | :: Int (number of times we recompiled with GHC) |
Instances
| Generic TestRequest Source # | |
Defined in Development.IDE.Plugin.Test Associated Types type Rep TestRequest :: Type -> Type # | |
| ToJSON TestRequest Source # | |
Defined in Development.IDE.Plugin.Test Methods toJSON :: TestRequest -> Value # toEncoding :: TestRequest -> Encoding # toJSONList :: [TestRequest] -> Value # toEncodingList :: [TestRequest] -> Encoding # | |
| FromJSON TestRequest Source # | |
Defined in Development.IDE.Plugin.Test | |
| type Rep TestRequest Source # | |
Defined in Development.IDE.Plugin.Test | |
newtype WaitForIdeRuleResult Source #
Constructors
| WaitForIdeRuleResult | |
Fields | |
Instances
| ToJSON WaitForIdeRuleResult Source # | |
Defined in Development.IDE.Plugin.Test Methods toJSON :: WaitForIdeRuleResult -> Value # toEncoding :: WaitForIdeRuleResult -> Encoding # toJSONList :: [WaitForIdeRuleResult] -> Value # toEncodingList :: [WaitForIdeRuleResult] -> Encoding # | |
| FromJSON WaitForIdeRuleResult Source # | |
Defined in Development.IDE.Plugin.Test Methods parseJSON :: Value -> Parser WaitForIdeRuleResult # parseJSONList :: Value -> Parser [WaitForIdeRuleResult] # | |
blockCommandDescriptor :: PluginId -> PluginDescriptor state Source #
blockCommandId :: Text Source #
a command that blocks forever. Used for testing