Safe Haskell	None
Language	Haskell2010

Development.IDE

Synopsis

data ParseResult a
- = POk PState a
- | PFailed PState
getClientConfig :: MonadLsp Config m => m Config
data NormalizedUri
type DiagnosticStore = HashMap NormalizedUri StoreItem
data Diagnostic = Diagnostic {
- _range :: Range
- _severity :: Maybe DiagnosticSeverity
- _code :: Maybe (Int |? Text)
- _source :: Maybe DiagnosticSource
- _message :: Text
- _tags :: Maybe (List DiagnosticTag)
- _relatedInformation :: Maybe (List DiagnosticRelatedInformation)
}
data DiagnosticSeverity
- = DsError
- | DsWarning
- | DsInfo
- | DsHint
data Location = Location {
- _uri :: Uri
- _range :: Range
}
data Range = Range {
- _start :: Position
- _end :: Position
}
data Position = Position {
- _line :: Int
- _character :: Int
}
fromNormalizedFilePath :: NormalizedFilePath -> FilePath
fromNormalizedUri :: NormalizedUri -> Uri
toNormalizedUri :: Uri -> NormalizedUri
newtype Uri = Uri {
- getUri :: Text
}
data NormalizedFilePath
newtype List a = List [a]
action :: Partial => Action a -> Rules ()
data Rules a
type family RuleResult key
data Action a
setHieDir :: FilePath -> DynFlags -> DynFlags
dontWriteHieFiles :: DynFlags -> DynFlags
disableWarningsAsErrors :: DynFlags -> DynFlags
toNormalizedFilePath' :: FilePath -> NormalizedFilePath
emptyFilePath :: NormalizedFilePath
uriToFilePath' :: Uri -> Maybe FilePath
emptyPathUri :: NormalizedUri
filePathToUri' :: NormalizedFilePath -> NormalizedUri
fromUri :: NormalizedUri -> NormalizedFilePath
noFilePath :: FilePath
noRange :: Range
showPosition :: Position -> String
readSrcSpan :: ReadS RealSrcSpan
type FileDiagnostic = (NormalizedFilePath, ShowDiagnostic, Diagnostic)
data ShowDiagnostic
- = ShowDiag
- | HideDiag
type IdeResult v = ([FileDiagnostic], Maybe v)
ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic
ideErrorWithSource :: Maybe DiagnosticSource -> Maybe DiagnosticSeverity -> a -> Text -> (a, ShowDiagnostic, Diagnostic)
showDiagnostics :: [FileDiagnostic] -> Text
showDiagnosticsColored :: [FileDiagnostic] -> Text
modifyDynFlags :: GhcMonad m => (DynFlags -> DynFlags) -> m ()
lookupPackageConfig :: UnitId -> HscEnv -> Maybe PackageConfig
textToStringBuffer :: Text -> StringBuffer
runParser :: DynFlags -> String -> P a -> ParseResult a
stringBufferToByteString :: StringBuffer -> ByteString
bytestringToStringBuffer :: ByteString -> StringBuffer
prettyPrint :: Outputable a => a -> String
unsafePrintSDoc :: SDoc -> String
printRdrName :: RdrName -> String
printName :: Name -> String
evalGhcEnv :: HscEnv -> Ghc b -> IO b
moduleImportPath :: NormalizedFilePath -> ModuleName -> Maybe FilePath
readFileUtf8 :: FilePath -> IO Text
cgGutsToCoreModule :: SafeHaskellMode -> CgGuts -> ModDetails -> CoreModule
fingerprintToBS :: Fingerprint -> ByteString
fingerprintFromStringBuffer :: StringBuffer -> IO Fingerprint
fingerprintFromByteString :: ByteString -> IO Fingerprint
fingerprintFromPut :: Put -> IO Fingerprint
hDuplicateTo' :: Handle -> Handle -> IO ()
diagFromErrMsg :: Text -> DynFlags -> ErrMsg -> [FileDiagnostic]
diagFromErrMsgs :: Text -> DynFlags -> Bag ErrMsg -> [FileDiagnostic]
srcSpanToRange :: SrcSpan -> Maybe Range
realSrcSpanToRange :: RealSrcSpan -> Range
realSrcLocToPosition :: RealSrcLoc -> Position
srcSpanToFilename :: SrcSpan -> Maybe FilePath
realSrcSpanToLocation :: RealSrcSpan -> Location
srcSpanToLocation :: SrcSpan -> Maybe Location
rangeToSrcSpan :: NormalizedFilePath -> Range -> SrcSpan
rangeToRealSrcSpan :: NormalizedFilePath -> Range -> RealSrcSpan
positionToRealSrcLoc :: NormalizedFilePath -> Position -> RealSrcLoc
isInsideSrcSpan :: Position -> SrcSpan -> Bool
toDSeverity :: Severity -> Maybe DiagnosticSeverity
diagFromStrings :: Text -> DiagnosticSeverity -> [(SrcSpan, String)] -> [FileDiagnostic]
diagFromString :: Text -> DiagnosticSeverity -> SrcSpan -> String -> [FileDiagnostic]
noSpan :: String -> SrcSpan
zeroSpan :: FastString -> RealSrcSpan
realSpan :: SrcSpan -> Maybe RealSrcSpan
catchSrcErrors :: DynFlags -> Text -> IO a -> IO (Either [FileDiagnostic] a)
diagFromGhcException :: Text -> DynFlags -> GhcException -> [FileDiagnostic]
data HscEnvEq
hscEnvWithImportPaths :: HscEnvEq -> HscEnv
data GhcSessionIO = GhcSessionIO
data IdeGhcSession = IdeGhcSession {
- loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath])
- sessionVersion :: !Int
}
data GetClientSettings = GetClientSettings
data GetModSummary = GetModSummary
data GetModSummaryWithoutTimestamps = GetModSummaryWithoutTimestamps
data IsFileOfInterest = IsFileOfInterest
data GetModIfaceWithoutLinkable = GetModIfaceWithoutLinkable
data GetModIface = GetModIface
data GetModIfaceFromDiskAndIndex = GetModIfaceFromDiskAndIndex
data GetModIfaceFromDisk = GetModIfaceFromDisk
data GhcSessionDeps = GhcSessionDeps
data GhcSession = GhcSession
data GetBindings = GetBindings
data GetHieAst = GetHieAst
data GetDocMap = GetDocMap
data TypeCheck = TypeCheck
data GetDependencies = GetDependencies
data ReportImportCycles = ReportImportCycles
data GetModuleGraph = GetModuleGraph
data GetDependencyInformation = GetDependencyInformation
data NeedsCompilation = NeedsCompilation
data GetLocatedImports = GetLocatedImports
data GetParsedModuleWithComments = GetParsedModuleWithComments
data GetParsedModule = GetParsedModule
data ModSummaryResult = ModSummaryResult {
- msrModSummary :: !ModSummary
- msrImports :: [LImportDecl GhcPs]
- msrFingerprint :: !Fingerprint
}
data IsFileOfInterestResult
- = NotFOI
- | IsFOI FileOfInterestStatus
data FileOfInterestStatus
- = OnDisk
- | Modified {
  - firstOpen :: !Bool
  }
data GetFileExists = GetFileExists
data GetFileContents = GetFileContents
data FileVersion
- = VFSVersion !Int
- | ModificationTime !Int64 !Int64
newtype GetModificationTime = GetModificationTime_ {
- missingFileDiagnostics :: Bool
}
data DocAndKindMap = DKMap {
- getDocMap :: !DocMap
- getKindMap :: !KindMap
}
data HieKind a where
- HieFromDisk :: !HieFile -> HieKind TypeIndex
- HieFresh :: HieKind Type
data HieAstResult = forall a. HAR {
- hieModule :: Module
- hieAst :: !(HieASTs a)
- refMap :: RefMap a
- typeRefs :: Map Name [RealSrcSpan]
- hieKind :: !(HieKind a)
}
data HiFileResult = HiFileResult {
- hirModSummary :: !ModSummary
- hirHomeMod :: !HomeModInfo
- hirIfaceFp :: ByteString
- hirLinkableFp :: ByteString
}
data TcModuleResult = TcModuleResult {
- tmrParsed :: ParsedModule
- tmrRenamed :: RenamedSource
- tmrTypechecked :: TcGblEnv
- tmrTopLevelSplices :: Splices
- tmrDeferedError :: !Bool
}
data Splices = Splices {
- exprSplices :: [(LHsExpr GhcTc, LHsExpr GhcPs)]
- patSplices :: [(LHsExpr GhcTc, LPat GhcPs)]
- typeSplices :: [(LHsExpr GhcTc, LHsType GhcPs)]
- declSplices :: [(LHsExpr GhcTc, [LHsDecl GhcPs])]
- awSplices :: [(LHsExpr GhcTc, Serialized)]
}
newtype ImportMap = ImportMap {
- importMap :: Map ModuleName NormalizedFilePath
}
data GetImportMap = GetImportMap
data GenerateCore = GenerateCore
data GetKnownTargets = GetKnownTargets
data LinkableType
- = ObjectLinkable
- | BCOLinkable
pattern GetModificationTime :: GetModificationTime
tmrModSummary :: TcModuleResult -> ModSummary
hiFileFingerPrint :: HiFileResult -> ByteString
mkHiFileResult :: ModSummary -> HomeModInfo -> HiFileResult
hirModIface :: HiFileResult -> ModIface
vfsVersion :: FileVersion -> Maybe Int
awSplicesL :: Lens' Splices [(LHsExpr GhcTc, Serialized)]
declSplicesL :: Lens' Splices [(LHsExpr GhcTc, [LHsDecl GhcPs])]
exprSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsExpr GhcPs)]
patSplicesL :: Lens' Splices [(LHsExpr GhcTc, LPat GhcPs)]
typeSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsType GhcPs)]
data Logger = Logger {
- logPriority :: Priority -> Text -> IO ()
}
data Priority
- = Telemetry
- | Debug
- | Info
- | Warning
- | Error
logError :: Logger -> Text -> IO ()
logWarning :: Logger -> Text -> IO ()
logInfo :: Logger -> Text -> IO ()
logDebug :: Logger -> Text -> IO ()
logTelemetry :: Logger -> Text -> IO ()
noLogging :: Logger
data RuleBody k v
- = Rule (k -> NormalizedFilePath -> Action (Maybe ByteString, IdeResult v))
- | RuleNoDiagnostics (k -> NormalizedFilePath -> Action (Maybe ByteString, Maybe v))
data FastResult a = FastResult {
- stale :: Maybe (a, PositionMapping)
- uptoDate :: IO (Maybe a)
}
newtype IdeAction a = IdeAction {
- runIdeActionT :: ReaderT ShakeExtras IO a
}
data IdeState
type IdeRule k v = (RuleResult k ~ v, ShakeValue k, Show v, Typeable v, NFData v)
data ShakeExtras
getPluginConfig :: MonadLsp Config m => PluginId -> m PluginConfig
define :: IdeRule k v => (k -> NormalizedFilePath -> Action (IdeResult v)) -> Rules ()
defineNoDiagnostics :: IdeRule k v => (k -> NormalizedFilePath -> Action (Maybe v)) -> Rules ()
use :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe v)
useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (v, PositionMapping))
useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (v, PositionMapping)
runIdeAction :: String -> ShakeExtras -> IdeAction a -> IO a
useWithStaleFast :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (Maybe (v, PositionMapping))
useWithStaleFast' :: IdeRule k v => k -> NormalizedFilePath -> IdeAction (FastResult v)
useNoFile :: IdeRule k v => k -> Action (Maybe v)
use_ :: IdeRule k v => k -> NormalizedFilePath -> Action v
useNoFile_ :: IdeRule k v => k -> Action v
uses_ :: IdeRule k v => k -> [NormalizedFilePath] -> Action [v]
uses :: IdeRule k v => k -> [NormalizedFilePath] -> Action [Maybe v]
defineEarlyCutoff :: IdeRule k v => RuleBody k v -> Rules ()
ideLogger :: IdeState -> Logger
actionLogger :: Action Logger
data Plugin c = Plugin {
- pluginRules :: Rules ()
- pluginHandlers :: Handlers (ServerM c)
}
getFilesOfInterest :: Action (HashMap NormalizedFilePath FileOfInterestStatus)
data IdeConfiguration = IdeConfiguration {
- workspaceFolders :: HashSet NormalizedUri
- clientSettings :: Hashed (Maybe Value)
}
isWorkspaceFile :: NormalizedFilePath -> Action Bool
getFileContents :: NormalizedFilePath -> Action (UTCTime, Maybe Text)
getFileExists :: NormalizedFilePath -> Action Bool
runAction :: String -> IdeState -> Action a -> IO a
data IsHiFileStable = IsHiFileStable
getParsedModule :: NormalizedFilePath -> Action (Maybe ParsedModule)
getClientConfigAction :: Config -> Action Config
getAtPoint :: NormalizedFilePath -> Position -> IdeAction (Maybe (Maybe Range, [Text]))
useE :: IdeRule k v => k -> NormalizedFilePath -> MaybeT IdeAction (v, PositionMapping)
useNoFileE :: IdeRule k v => IdeState -> k -> MaybeT IdeAction v
usesE :: IdeRule k v => k -> [NormalizedFilePath] -> MaybeT IdeAction [(v, PositionMapping)]
getDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location])
getTypeDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location])

Documentation

data ParseResult a #

The result of running a parser.

Constructors

POk	The parser has consumed a (possibly empty) prefix of the input and produced a result. Use `getMessages` to check for accumulated warnings and non-fatal errors.
Fields PState The resulting parsing state. Can be used to resume parsing. a The resulting value.
PFailed	The parser has consumed a (possibly empty) prefix of the input and failed.
Fields PState The parsing state right before failure, including the fatal parse error. `getMessages` and `getErrorMessages` must return a non-empty bag of errors.

getClientConfig :: MonadLsp Config m => m Config #

Returns the current client configuration. It is not wise to permanently cache the returned value of this function, as clients can at runitime change their configuration.

data NormalizedUri #

Instances

Instances details

Eq NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods (==) :: NormalizedUri -> NormalizedUri -> Bool # (/=) :: NormalizedUri -> NormalizedUri -> Bool #
Ord NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods compare :: NormalizedUri -> NormalizedUri -> Ordering # (<) :: NormalizedUri -> NormalizedUri -> Bool # (<=) :: NormalizedUri -> NormalizedUri -> Bool # (>) :: NormalizedUri -> NormalizedUri -> Bool # (>=) :: NormalizedUri -> NormalizedUri -> Bool # max :: NormalizedUri -> NormalizedUri -> NormalizedUri # min :: NormalizedUri -> NormalizedUri -> NormalizedUri #
Read NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods readsPrec :: Int -> ReadS NormalizedUri # readList :: ReadS [NormalizedUri] # readPrec :: ReadPrec NormalizedUri # readListPrec :: ReadPrec [NormalizedUri] #
Show NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods showsPrec :: Int -> NormalizedUri -> ShowS # show :: NormalizedUri -> String # showList :: [NormalizedUri] -> ShowS #
Generic NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Associated Types type Rep NormalizedUri :: Type -> Type # Methods from :: NormalizedUri -> Rep NormalizedUri x # to :: Rep NormalizedUri x -> NormalizedUri #
Hashable NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods hashWithSalt :: Int -> NormalizedUri -> Int # hash :: NormalizedUri -> Int #
NFData NormalizedUri
Instance details Defined in Language.LSP.Types.Uri Methods rnf :: NormalizedUri -> () #
type Rep NormalizedUri
Instance details Defined in Language.LSP.Types.Uri type Rep NormalizedUri = D1 ('MetaData "NormalizedUri" "Language.LSP.Types.Uri" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "NormalizedUri" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

type DiagnosticStore = HashMap NormalizedUri StoreItem #

data Diagnostic #

Constructors

Diagnostic
Fields _range :: Range _severity :: Maybe DiagnosticSeverity _code :: Maybe (Int \|? Text) _source :: Maybe DiagnosticSource _message :: Text _tags :: Maybe (List DiagnosticTag) _relatedInformation :: Maybe (List DiagnosticRelatedInformation)

Instances

Instances details

Eq Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods (==) :: Diagnostic -> Diagnostic -> Bool # (/=) :: Diagnostic -> Diagnostic -> Bool #
Ord Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods compare :: Diagnostic -> Diagnostic -> Ordering # (<) :: Diagnostic -> Diagnostic -> Bool # (<=) :: Diagnostic -> Diagnostic -> Bool # (>) :: Diagnostic -> Diagnostic -> Bool # (>=) :: Diagnostic -> Diagnostic -> Bool # max :: Diagnostic -> Diagnostic -> Diagnostic # min :: Diagnostic -> Diagnostic -> Diagnostic #
Read Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods readsPrec :: Int -> ReadS Diagnostic # readList :: ReadS [Diagnostic] # readPrec :: ReadPrec Diagnostic # readListPrec :: ReadPrec [Diagnostic] #
Show Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods showsPrec :: Int -> Diagnostic -> ShowS # show :: Diagnostic -> String # showList :: [Diagnostic] -> ShowS #
Generic Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Associated Types type Rep Diagnostic :: Type -> Type # Methods from :: Diagnostic -> Rep Diagnostic x # to :: Rep Diagnostic x -> Diagnostic #
ToJSON Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods toJSON :: Diagnostic -> Value # toEncoding :: Diagnostic -> Encoding # toJSONList :: [Diagnostic] -> Value # toEncodingList :: [Diagnostic] -> Encoding #
FromJSON Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods parseJSON :: Value -> Parser Diagnostic # parseJSONList :: Value -> Parser [Diagnostic] #
NFData Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic Methods rnf :: Diagnostic -> () #
HasMessage Diagnostic Text
Instance details Defined in Language.LSP.Types.Lens Methods message :: Lens' Diagnostic Text #
HasRange Diagnostic Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' Diagnostic Range #
HasRelatedInformation Diagnostic (Maybe (List DiagnosticRelatedInformation))
Instance details Defined in Language.LSP.Types.Lens Methods relatedInformation :: Lens' Diagnostic (Maybe (List DiagnosticRelatedInformation)) #
HasSeverity Diagnostic (Maybe DiagnosticSeverity)
Instance details Defined in Language.LSP.Types.Lens Methods severity :: Lens' Diagnostic (Maybe DiagnosticSeverity) #
HasSource Diagnostic (Maybe DiagnosticSource)
Instance details Defined in Language.LSP.Types.Lens Methods source :: Lens' Diagnostic (Maybe DiagnosticSource) #
HasCode Diagnostic (Maybe (Int \|? Text))
Instance details Defined in Language.LSP.Types.Lens Methods code :: Lens' Diagnostic (Maybe (Int \|? Text)) #
HasDiagnostics CodeAction (Maybe (List Diagnostic))
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) #
HasDiagnostics CodeActionContext (List Diagnostic)
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) #
HasDiagnostics PublishDiagnosticsParams (List Diagnostic)
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' PublishDiagnosticsParams (List Diagnostic) #
HasTags Diagnostic (Maybe (List DiagnosticTag))
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' Diagnostic (Maybe (List DiagnosticTag)) #
type Rep Diagnostic
Instance details Defined in Language.LSP.Types.Diagnostic type Rep Diagnostic = D1 ('MetaData "Diagnostic" "Language.LSP.Types.Diagnostic" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "Diagnostic" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range) :: (S1 ('MetaSel ('Just "_severity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe DiagnosticSeverity)) :: S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Int \|? Text))))) :: ((S1 ('MetaSel ('Just "_source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe DiagnosticSource)) :: S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "_tags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (List DiagnosticTag))) :: S1 ('MetaSel ('Just "_relatedInformation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (List DiagnosticRelatedInformation)))))))

data DiagnosticSeverity #

Constructors

DsError	Error = 1,
DsWarning	Warning = 2,
DsInfo	Info = 3,
DsHint	Hint = 4

Instances

Instances details

Eq DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods (==) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (/=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool #
Ord DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods compare :: DiagnosticSeverity -> DiagnosticSeverity -> Ordering # (<) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (<=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (>) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (>=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # max :: DiagnosticSeverity -> DiagnosticSeverity -> DiagnosticSeverity # min :: DiagnosticSeverity -> DiagnosticSeverity -> DiagnosticSeverity #
Read DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods readsPrec :: Int -> ReadS DiagnosticSeverity # readList :: ReadS [DiagnosticSeverity] # readPrec :: ReadPrec DiagnosticSeverity # readListPrec :: ReadPrec [DiagnosticSeverity] #
Show DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods showsPrec :: Int -> DiagnosticSeverity -> ShowS # show :: DiagnosticSeverity -> String # showList :: [DiagnosticSeverity] -> ShowS #
Generic DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Associated Types type Rep DiagnosticSeverity :: Type -> Type # Methods from :: DiagnosticSeverity -> Rep DiagnosticSeverity x # to :: Rep DiagnosticSeverity x -> DiagnosticSeverity #
ToJSON DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods toJSON :: DiagnosticSeverity -> Value # toEncoding :: DiagnosticSeverity -> Encoding # toJSONList :: [DiagnosticSeverity] -> Value # toEncodingList :: [DiagnosticSeverity] -> Encoding #
FromJSON DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods parseJSON :: Value -> Parser DiagnosticSeverity # parseJSONList :: Value -> Parser [DiagnosticSeverity] #
NFData DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic Methods rnf :: DiagnosticSeverity -> () #
HasSeverity Diagnostic (Maybe DiagnosticSeverity)
Instance details Defined in Language.LSP.Types.Lens Methods severity :: Lens' Diagnostic (Maybe DiagnosticSeverity) #
type Rep DiagnosticSeverity
Instance details Defined in Language.LSP.Types.Diagnostic type Rep DiagnosticSeverity = D1 ('MetaData "DiagnosticSeverity" "Language.LSP.Types.Diagnostic" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) ((C1 ('MetaCons "DsError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DsWarning" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DsInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DsHint" 'PrefixI 'False) (U1 :: Type -> Type)))

data Location #

Constructors

Location
Fields _uri :: Uri _range :: Range

Instances

Instances details

Eq Location
Instance details Defined in Language.LSP.Types.Location Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Ord Location
Instance details Defined in Language.LSP.Types.Location Methods compare :: Location -> Location -> Ordering # (<) :: Location -> Location -> Bool # (<=) :: Location -> Location -> Bool # (>) :: Location -> Location -> Bool # (>=) :: Location -> Location -> Bool # max :: Location -> Location -> Location # min :: Location -> Location -> Location #
Read Location
Instance details Defined in Language.LSP.Types.Location Methods readsPrec :: Int -> ReadS Location # readList :: ReadS [Location] # readPrec :: ReadPrec Location # readListPrec :: ReadPrec [Location] #
Show Location
Instance details Defined in Language.LSP.Types.Location Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Generic Location
Instance details Defined in Language.LSP.Types.Location Associated Types type Rep Location :: Type -> Type # Methods from :: Location -> Rep Location x # to :: Rep Location x -> Location #
ToJSON Location
Instance details Defined in Language.LSP.Types.Location Methods toJSON :: Location -> Value # toEncoding :: Location -> Encoding # toJSONList :: [Location] -> Value # toEncodingList :: [Location] -> Encoding #
FromJSON Location
Instance details Defined in Language.LSP.Types.Location Methods parseJSON :: Value -> Parser Location # parseJSONList :: Value -> Parser [Location] #
NFData Location
Instance details Defined in Language.LSP.Types.Location Methods rnf :: Location -> () #
HasLocation DiagnosticRelatedInformation Location
Instance details Defined in Language.LSP.Types.Lens Methods location :: Lens' DiagnosticRelatedInformation Location #
HasLocation SymbolInformation Location
Instance details Defined in Language.LSP.Types.Lens Methods location :: Lens' SymbolInformation Location #
HasRange Location Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' Location Range #
HasUri Location Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' Location Uri #
type Rep Location
Instance details Defined in Language.LSP.Types.Location type Rep Location = D1 ('MetaData "Location" "Language.LSP.Types.Location" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range)))

data Range #

Constructors

Range
Fields _start :: Position The range's start position. _end :: Position The range's end position.

Instances

Instances details

Eq Range
Instance details Defined in Language.LSP.Types.Location Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Ord Range
Instance details Defined in Language.LSP.Types.Location Methods compare :: Range -> Range -> Ordering # (<) :: Range -> Range -> Bool # (<=) :: Range -> Range -> Bool # (>) :: Range -> Range -> Bool # (>=) :: Range -> Range -> Bool # max :: Range -> Range -> Range # min :: Range -> Range -> Range #
Read Range
Instance details Defined in Language.LSP.Types.Location Methods readsPrec :: Int -> ReadS Range # readList :: ReadS [Range] # readPrec :: ReadPrec Range # readListPrec :: ReadPrec [Range] #
Show Range
Instance details Defined in Language.LSP.Types.Location Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Generic Range
Instance details Defined in Language.LSP.Types.Location Associated Types type Rep Range :: Type -> Type # Methods from :: Range -> Rep Range x # to :: Rep Range x -> Range #
ToJSON Range
Instance details Defined in Language.LSP.Types.Location Methods toJSON :: Range -> Value # toEncoding :: Range -> Encoding # toJSONList :: [Range] -> Value # toEncodingList :: [Range] -> Encoding #
FromJSON Range
Instance details Defined in Language.LSP.Types.Location Methods parseJSON :: Value -> Parser Range # parseJSONList :: Value -> Parser [Range] #
NFData Range
Instance details Defined in Language.LSP.Types.Location Methods rnf :: Range -> () #
MapAge Range Source #
Instance details Defined in Development.IDE.Core.UseStale Methods mapAgeFrom :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked to Range -> Maybe (Tracked from Range) Source # mapAgeTo :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked from Range -> Maybe (Tracked to Range) Source #
HasSelectionRange DocumentSymbol Range
Instance details Defined in Language.LSP.Types.Lens Methods selectionRange :: Lens' DocumentSymbol Range #
HasInsert InsertReplaceEdit Range
Instance details Defined in Language.LSP.Types.Lens Methods insert :: Lens' InsertReplaceEdit Range #
HasRepalce InsertReplaceEdit Range
Instance details Defined in Language.LSP.Types.Lens Methods repalce :: Lens' InsertReplaceEdit Range #
HasTargetRange LocationLink Range
Instance details Defined in Language.LSP.Types.Lens Methods targetRange :: Lens' LocationLink Range #
HasTargetSelectionRange LocationLink Range
Instance details Defined in Language.LSP.Types.Lens Methods targetSelectionRange :: Lens' LocationLink Range #
HasRange CodeActionParams Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeActionParams Range #
HasRange ColorPresentationParams Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' ColorPresentationParams Range #
HasRange ColorInformation Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' ColorInformation Range #
HasRange AnnotatedTextEdit Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' AnnotatedTextEdit Range #
HasRange TextEdit Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' TextEdit Range #
HasRange CodeLens Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeLens Range #
HasRange Diagnostic Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' Diagnostic Range #
HasRange DocumentHighlight Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' DocumentHighlight Range #
HasRange DocumentLink Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' DocumentLink Range #
HasRange DocumentSymbol Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' DocumentSymbol Range #
HasRange DocumentRangeFormattingParams Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' DocumentRangeFormattingParams Range #
HasRange RangeWithPlaceholder Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' RangeWithPlaceholder Range #
HasRange SelectionRange Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' SelectionRange Range #
HasRange Location Range
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' Location Range #
HasEnd Range Position
Instance details Defined in Language.LSP.Types.Lens Methods end :: Lens' Range Position #
HasStart Range Position
Instance details Defined in Language.LSP.Types.Lens Methods start :: Lens' Range Position #
HasOriginSelectionRange LocationLink (Maybe Range)
Instance details Defined in Language.LSP.Types.Lens Methods originSelectionRange :: Lens' LocationLink (Maybe Range) #
HasRange Hover (Maybe Range)
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' Hover (Maybe Range) #
HasRange TextDocumentContentChangeEvent (Maybe Range)
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' TextDocumentContentChangeEvent (Maybe Range) #
type Rep Range
Instance details Defined in Language.LSP.Types.Location type Rep Range = D1 ('MetaData "Range" "Language.LSP.Types.Location" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "_start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position) :*: S1 ('MetaSel ('Just "_end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Position)))

data Position #

Constructors

Position
Fields _line :: Int Line position in a document (zero-based). _character :: Int Character offset on a line in a document (zero-based). Assuming that the line is represented as a string, the `character` value represents the gap between the `character` and `character + 1`.

Instances

Instances details

Eq Position
Instance details Defined in Language.LSP.Types.Location Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position
Instance details Defined in Language.LSP.Types.Location Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Read Position
Instance details Defined in Language.LSP.Types.Location Methods readsPrec :: Int -> ReadS Position # readList :: ReadS [Position] # readPrec :: ReadPrec Position # readListPrec :: ReadPrec [Position] #
Show Position
Instance details Defined in Language.LSP.Types.Location Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position
Instance details Defined in Language.LSP.Types.Location Associated Types type Rep Position :: Type -> Type # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
ToJSON Position
Instance details Defined in Language.LSP.Types.Location Methods toJSON :: Position -> Value # toEncoding :: Position -> Encoding # toJSONList :: [Position] -> Value # toEncodingList :: [Position] -> Encoding #
FromJSON Position
Instance details Defined in Language.LSP.Types.Location Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [Position] #
NFData Position
Instance details Defined in Language.LSP.Types.Location Methods rnf :: Position -> () #
HasPosition CompletionParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' CompletionParams Position #
HasPosition DeclarationParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' DeclarationParams Position #
HasPosition DefinitionParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' DefinitionParams Position #
HasPosition DocumentHighlightParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' DocumentHighlightParams Position #
HasPosition DocumentOnTypeFormattingParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' DocumentOnTypeFormattingParams Position #
HasPosition HoverParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' HoverParams Position #
HasPosition ImplementationParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' ImplementationParams Position #
HasPosition ReferenceParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' ReferenceParams Position #
HasPosition PrepareRenameParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' PrepareRenameParams Position #
HasPosition RenameParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' RenameParams Position #
HasPosition TypeDefinitionParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' TypeDefinitionParams Position #
HasPosition TextDocumentPositionParams Position
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' TextDocumentPositionParams Position #
HasEnd Range Position
Instance details Defined in Language.LSP.Types.Lens Methods end :: Lens' Range Position #
HasStart Range Position
Instance details Defined in Language.LSP.Types.Lens Methods start :: Lens' Range Position #
HasCharacter Position Int
Instance details Defined in Language.LSP.Types.Lens Methods character :: Lens' Position Int #
HasLine Position Int
Instance details Defined in Language.LSP.Types.Lens Methods line :: Lens' Position Int #
HasPositions SelectionRangeParams (List Position)
Instance details Defined in Language.LSP.Types.Lens Methods positions :: Lens' SelectionRangeParams (List Position) #
type Rep Position
Instance details Defined in Language.LSP.Types.Location type Rep Position = D1 ('MetaData "Position" "Language.LSP.Types.Location" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "_line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "_character") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))

fromNormalizedFilePath :: NormalizedFilePath -> FilePath #

fromNormalizedUri :: NormalizedUri -> Uri #

toNormalizedUri :: Uri -> NormalizedUri #

newtype Uri #

Constructors

Uri
Fields getUri :: Text

Instances

Instances details

Eq Uri
Instance details Defined in Language.LSP.Types.Uri Methods (==) :: Uri -> Uri -> Bool # (/=) :: Uri -> Uri -> Bool #
Ord Uri
Instance details Defined in Language.LSP.Types.Uri Methods compare :: Uri -> Uri -> Ordering # (<) :: Uri -> Uri -> Bool # (<=) :: Uri -> Uri -> Bool # (>) :: Uri -> Uri -> Bool # (>=) :: Uri -> Uri -> Bool # max :: Uri -> Uri -> Uri # min :: Uri -> Uri -> Uri #
Read Uri
Instance details Defined in Language.LSP.Types.Uri Methods readsPrec :: Int -> ReadS Uri # readList :: ReadS [Uri] # readPrec :: ReadPrec Uri # readListPrec :: ReadPrec [Uri] #
Show Uri
Instance details Defined in Language.LSP.Types.Uri Methods showsPrec :: Int -> Uri -> ShowS # show :: Uri -> String # showList :: [Uri] -> ShowS #
Generic Uri
Instance details Defined in Language.LSP.Types.Uri Associated Types type Rep Uri :: Type -> Type # Methods from :: Uri -> Rep Uri x # to :: Rep Uri x -> Uri #
Hashable Uri
Instance details Defined in Language.LSP.Types.Uri Methods hashWithSalt :: Int -> Uri -> Int # hash :: Uri -> Int #
ToJSON Uri
Instance details Defined in Language.LSP.Types.Uri Methods toJSON :: Uri -> Value # toEncoding :: Uri -> Encoding # toJSONList :: [Uri] -> Value # toEncodingList :: [Uri] -> Encoding #
ToJSONKey Uri
Instance details Defined in Language.LSP.Types.Uri Methods toJSONKey :: ToJSONKeyFunction Uri # toJSONKeyList :: ToJSONKeyFunction [Uri] #
FromJSON Uri
Instance details Defined in Language.LSP.Types.Uri Methods parseJSON :: Value -> Parser Uri # parseJSONList :: Value -> Parser [Uri] #
FromJSONKey Uri
Instance details Defined in Language.LSP.Types.Uri Methods fromJSONKey :: FromJSONKeyFunction Uri # fromJSONKeyList :: FromJSONKeyFunction [Uri] #
NFData Uri
Instance details Defined in Language.LSP.Types.Uri Methods rnf :: Uri -> () #
HasNewUri RenameFile Uri
Instance details Defined in Language.LSP.Types.Lens Methods newUri :: Lens' RenameFile Uri #
HasOldUri RenameFile Uri
Instance details Defined in Language.LSP.Types.Lens Methods oldUri :: Lens' RenameFile Uri #
HasTargetUri LocationLink Uri
Instance details Defined in Language.LSP.Types.Lens Methods targetUri :: Lens' LocationLink Uri #
HasUri DeleteFile Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' DeleteFile Uri #
HasUri CreateFile Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' CreateFile Uri #
HasUri FileEvent Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' FileEvent Uri #
HasUri PublishDiagnosticsParams Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' PublishDiagnosticsParams Uri #
HasUri TextDocumentItem Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' TextDocumentItem Uri #
HasUri VersionedTextDocumentIdentifier Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' VersionedTextDocumentIdentifier Uri #
HasUri TextDocumentIdentifier Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' TextDocumentIdentifier Uri #
HasUri Location Uri
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' Location Uri #
HasTarget DocumentLink (Maybe Uri)
Instance details Defined in Language.LSP.Types.Lens Methods target :: Lens' DocumentLink (Maybe Uri) #
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap)
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' WorkspaceEdit (Maybe WorkspaceEditMap) #
HasRootUri InitializeParams (Maybe Uri)
Instance details Defined in Language.LSP.Types.Lens Methods rootUri :: Lens' InitializeParams (Maybe Uri) #
type Rep Uri
Instance details Defined in Language.LSP.Types.Uri type Rep Uri = D1 ('MetaData "Uri" "Language.LSP.Types.Uri" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'True) (C1 ('MetaCons "Uri" 'PrefixI 'True) (S1 ('MetaSel ('Just "getUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NormalizedFilePath #

Newtype wrapper around FilePath that always has normalized slashes. The NormalizedUri and hash of the FilePath are cached to avoided repeated normalisation when we need to compute them (which is a lot).

This is one of the most performance critical parts of ghcide, do not modify it without profiling.

Instances

Instances details

Eq NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods (==) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (/=) :: NormalizedFilePath -> NormalizedFilePath -> Bool #
Ord NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods compare :: NormalizedFilePath -> NormalizedFilePath -> Ordering # (<) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (<=) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (>) :: NormalizedFilePath -> NormalizedFilePath -> Bool # (>=) :: NormalizedFilePath -> NormalizedFilePath -> Bool # max :: NormalizedFilePath -> NormalizedFilePath -> NormalizedFilePath # min :: NormalizedFilePath -> NormalizedFilePath -> NormalizedFilePath #
Show NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods showsPrec :: Int -> NormalizedFilePath -> ShowS # show :: NormalizedFilePath -> String # showList :: [NormalizedFilePath] -> ShowS #
IsString NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods fromString :: String -> NormalizedFilePath #
Generic NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Associated Types type Rep NormalizedFilePath :: Type -> Type # Methods from :: NormalizedFilePath -> Rep NormalizedFilePath x # to :: Rep NormalizedFilePath x -> NormalizedFilePath #
Hashable NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods hashWithSalt :: Int -> NormalizedFilePath -> Int # hash :: NormalizedFilePath -> Int #
Binary NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods put :: NormalizedFilePath -> Put # get :: Get NormalizedFilePath # putList :: [NormalizedFilePath] -> Put #
NFData NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri Methods rnf :: NormalizedFilePath -> () #
type Rep NormalizedFilePath
Instance details Defined in Language.LSP.Types.Uri type Rep NormalizedFilePath = D1 ('MetaData "NormalizedFilePath" "Language.LSP.Types.Uri" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'False) (C1 ('MetaCons "NormalizedFilePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NormalizedUri) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath)))

newtype List a #

All LSP types representing a list **must** use this type rather than '[]'. In particular this is necessary to change the FromJSON instance to be compatible with Elisp (where empty lists show up as null)

Constructors

List [a]

Instances

Instances details

Functor List
Instance details Defined in Language.LSP.Types.Common Methods fmap :: (a -> b) -> List a -> List b # (<$) :: a -> List b -> List a #
Foldable List
Instance details Defined in Language.LSP.Types.Common Methods fold :: Monoid m => List m -> m # foldMap :: Monoid m => (a -> m) -> List a -> m # foldMap' :: Monoid m => (a -> m) -> List a -> m # foldr :: (a -> b -> b) -> b -> List a -> b # foldr' :: (a -> b -> b) -> b -> List a -> b # foldl :: (b -> a -> b) -> b -> List a -> b # foldl' :: (b -> a -> b) -> b -> List a -> b # foldr1 :: (a -> a -> a) -> List a -> a # foldl1 :: (a -> a -> a) -> List a -> a # toList :: List a -> [a] # null :: List a -> Bool # length :: List a -> Int # elem :: Eq a => a -> List a -> Bool # maximum :: Ord a => List a -> a # minimum :: Ord a => List a -> a # sum :: Num a => List a -> a # product :: Num a => List a -> a #
Traversable List
Instance details Defined in Language.LSP.Types.Common Methods traverse :: Applicative f => (a -> f b) -> List a -> f (List b) # sequenceA :: Applicative f => List (f a) -> f (List a) # mapM :: Monad m => (a -> m b) -> List a -> m (List b) # sequence :: Monad m => List (m a) -> m (List a) #
HasSignatures SignatureHelp (List SignatureInformation)
Instance details Defined in Language.LSP.Types.Lens Methods signatures :: Lens' SignatureHelp (List SignatureInformation) #
HasRetriggerCharacters SignatureHelpRegistrationOptions (Maybe (List Text))
Instance details Defined in Language.LSP.Types.Lens Methods retriggerCharacters :: Lens' SignatureHelpRegistrationOptions (Maybe (List Text)) #
HasRetriggerCharacters SignatureHelpOptions (Maybe (List Text))
Instance details Defined in Language.LSP.Types.Lens Methods retriggerCharacters :: Lens' SignatureHelpOptions (Maybe (List Text)) #
HasContentFormat HoverClientCapabilities (Maybe (List MarkupKind))
Instance details Defined in Language.LSP.Types.Lens Methods contentFormat :: Lens' HoverClientCapabilities (Maybe (List MarkupKind)) #
HasRelatedInformation Diagnostic (Maybe (List DiagnosticRelatedInformation))
Instance details Defined in Language.LSP.Types.Lens Methods relatedInformation :: Lens' Diagnostic (Maybe (List DiagnosticRelatedInformation)) #
HasCommands ExecuteCommandRegistrationOptions (List Text)
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandRegistrationOptions (List Text) #
HasCommands ExecuteCommandOptions (List Text)
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandOptions (List Text) #
HasArguments Command (Maybe (List Value))
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' Command (Maybe (List Value)) #
HasArguments ExecuteCommandParams (Maybe (List Value))
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' ExecuteCommandParams (Maybe (List Value)) #
HasContentChanges DidChangeTextDocumentParams (List TextDocumentContentChangeEvent)
Instance details Defined in Language.LSP.Types.Lens Methods contentChanges :: Lens' DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) #
HasAdded WorkspaceFoldersChangeEvent (List WorkspaceFolder)
Instance details Defined in Language.LSP.Types.Lens Methods added :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) #
HasRemoved WorkspaceFoldersChangeEvent (List WorkspaceFolder)
Instance details Defined in Language.LSP.Types.Lens Methods removed :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) #
HasResourceOperations WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind))
Instance details Defined in Language.LSP.Types.Lens Methods resourceOperations :: Lens' WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange))
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit))
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) #
HasChildren DocumentSymbol (Maybe (List DocumentSymbol))
Instance details Defined in Language.LSP.Types.Lens Methods children :: Lens' DocumentSymbol (Maybe (List DocumentSymbol)) #
HasPositions SelectionRangeParams (List Position)
Instance details Defined in Language.LSP.Types.Lens Methods positions :: Lens' SelectionRangeParams (List Position) #
HasDiagnostics CodeAction (Maybe (List Diagnostic))
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) #
HasDiagnostics CodeActionContext (List Diagnostic)
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) #
HasDiagnostics PublishDiagnosticsParams (List Diagnostic)
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' PublishDiagnosticsParams (List Diagnostic) #
HasOnly CodeActionContext (Maybe (List CodeActionKind))
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind))
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind))
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) #
HasDocumentationFormat CompletionItemClientCapabilities (Maybe (List MarkupKind))
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' CompletionItemClientCapabilities (Maybe (List MarkupKind)) #
HasDocumentationFormat SignatureHelpSignatureInformation (Maybe (List MarkupKind))
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' SignatureHelpSignatureInformation (Maybe (List MarkupKind)) #
HasProperties CodeActionResolveClientCapabilities (List Text)
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CodeActionResolveClientCapabilities (List Text) #
HasProperties CompletionItemResolveClientCapabilities (List Text)
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CompletionItemResolveClientCapabilities (List Text) #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CompletionRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentColorRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentColorRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DeclarationRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DeclarationRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DefinitionRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DefinitionRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentHighlightRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentHighlightRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentLinkRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentLinkRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentSymbolRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentSymbolRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector FoldingRangeRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' FoldingRangeRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector DocumentFormattingRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentFormattingRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector HoverRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' HoverRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector ImplementationRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ImplementationRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector ReferenceRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ReferenceRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector RenameRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' RenameRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector SelectionRangeRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SelectionRangeRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SignatureHelpRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector TypeDefinitionRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TypeDefinitionRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector TextDocumentSaveRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentSaveRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) #
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector)
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentRegistrationOptions (Maybe DocumentSelector) #
HasTriggerCharacters SignatureHelpRegistrationOptions (Maybe (List Text))
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpRegistrationOptions (Maybe (List Text)) #
HasTriggerCharacters SignatureHelpOptions (Maybe (List Text))
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpOptions (Maybe (List Text)) #
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit))
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' CompletionItem (Maybe (List TextEdit)) #
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit))
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' ColorPresentation (Maybe (List TextEdit)) #
HasCommitCharacters CompletionItem (Maybe (List Text))
Instance details Defined in Language.LSP.Types.Lens Methods commitCharacters :: Lens' CompletionItem (Maybe (List Text)) #
HasTags CompletionItem (Maybe (List CompletionItemTag))
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CompletionItem (Maybe (List CompletionItemTag)) #
HasTags Diagnostic (Maybe (List DiagnosticTag))
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' Diagnostic (Maybe (List DiagnosticTag)) #
HasTags SymbolInformation (Maybe (List SymbolTag))
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' SymbolInformation (Maybe (List SymbolTag)) #
HasTags DocumentSymbol (Maybe (List SymbolTag))
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' DocumentSymbol (Maybe (List SymbolTag)) #
HasValueSet WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind))
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind)) #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind)
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (List CodeActionKind) #
HasValueSet CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind))
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) #
HasValueSet CompletionItemInsertTextModeClientCapabilities (List InsertTextMode)
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) #
HasValueSet CompletionItemTagsClientCapabilities (List CompletionItemTag)
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemTagsClientCapabilities (List CompletionItemTag) #
HasValueSet PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag)
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag) #
HasValueSet DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind))
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind)) #
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap)
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' WorkspaceEdit (Maybe WorkspaceEditMap) #
HasChanges DidChangeWatchedFilesParams (List FileEvent)
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' DidChangeWatchedFilesParams (List FileEvent) #
HasWatchers DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher)
Instance details Defined in Language.LSP.Types.Lens Methods watchers :: Lens' DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher) #
HasItems CompletionList (List CompletionItem)
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' CompletionList (List CompletionItem) #
HasItems ConfigurationParams (List ConfigurationItem)
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' ConfigurationParams (List ConfigurationItem) #
HasParameters SignatureInformation (Maybe (List ParameterInformation))
Instance details Defined in Language.LSP.Types.Lens Methods parameters :: Lens' SignatureInformation (Maybe (List ParameterInformation)) #
HasUnregisterations UnregistrationParams (List Unregistration)
Instance details Defined in Language.LSP.Types.Lens Methods unregisterations :: Lens' UnregistrationParams (List Unregistration) #
HasRegistrations RegistrationParams (List SomeRegistration)
Instance details Defined in Language.LSP.Types.Lens Methods registrations :: Lens' RegistrationParams (List SomeRegistration) #
HasWorkspaceFolders InitializeParams (Maybe (List WorkspaceFolder))
Instance details Defined in Language.LSP.Types.Lens Methods workspaceFolders :: Lens' InitializeParams (Maybe (List WorkspaceFolder)) #
Eq a => Eq (List a)
Instance details Defined in Language.LSP.Types.Common Methods (==) :: List a -> List a -> Bool # (/=) :: List a -> List a -> Bool #
Ord a => Ord (List a)
Instance details Defined in Language.LSP.Types.Common Methods compare :: List a -> List a -> Ordering # (<) :: List a -> List a -> Bool # (<=) :: List a -> List a -> Bool # (>) :: List a -> List a -> Bool # (>=) :: List a -> List a -> Bool # max :: List a -> List a -> List a # min :: List a -> List a -> List a #
Read a => Read (List a)
Instance details Defined in Language.LSP.Types.Common Methods readsPrec :: Int -> ReadS (List a) # readList :: ReadS [List a] # readPrec :: ReadPrec (List a) # readListPrec :: ReadPrec [List a] #
Show a => Show (List a)
Instance details Defined in Language.LSP.Types.Common Methods showsPrec :: Int -> List a -> ShowS # show :: List a -> String # showList :: [List a] -> ShowS #
Generic (List a)
Instance details Defined in Language.LSP.Types.Common Associated Types type Rep (List a) :: Type -> Type # Methods from :: List a -> Rep (List a) x # to :: Rep (List a) x -> List a #
Semigroup (List a)
Instance details Defined in Language.LSP.Types.Common Methods (<>) :: List a -> List a -> List a # sconcat :: NonEmpty (List a) -> List a # stimes :: Integral b => b -> List a -> List a #
Monoid (List a)
Instance details Defined in Language.LSP.Types.Common Methods mempty :: List a # mappend :: List a -> List a -> List a # mconcat :: [List a] -> List a #
ToJSON a => ToJSON (List a)
Instance details Defined in Language.LSP.Types.Common Methods toJSON :: List a -> Value # toEncoding :: List a -> Encoding # toJSONList :: [List a] -> Value # toEncodingList :: [List a] -> Encoding #
FromJSON a => FromJSON (List a)
Instance details Defined in Language.LSP.Types.Common Methods parseJSON :: Value -> Parser (List a) # parseJSONList :: Value -> Parser [List a] #
NFData a => NFData (List a)
Instance details Defined in Language.LSP.Types.Common Methods rnf :: List a -> () #
type Rep (List a)
Instance details Defined in Language.LSP.Types.Common type Rep (List a) = D1 ('MetaData "List" "Language.LSP.Types.Common" "lsp-types-1.2.0.0-IvqFnI2S3PjC4T3Mqse1fL" 'True) (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

action :: Partial => Action a -> Rules () #

Run an action, usually used for specifying top-level requirements.

main = shake shakeOptions $ do
   action $ do
       b <- doesFileExist "file.src"
       when b $ need ["file.out"]

This action builds file.out, but only if file.src exists. The action will be run in every build execution (unless withoutActions is used), so only cheap operations should be performed. On the flip side, consulting system information (e.g. environment variables) can be done directly as the information will not be cached. All calls to action may be run in parallel, in any order.

For the standard requirement of only needing a fixed list of files in the action, see want.

data Rules a #

Define a set of rules. Rules can be created with calls to functions such as %> or action. Rules are combined with either the Monoid instance, or (more commonly) the Monad instance and do notation. To define your own custom types of rule, see Development.Shake.Rule.

Instances

Instances details

Monad Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods (>>=) :: Rules a -> (a -> Rules b) -> Rules b # (>>) :: Rules a -> Rules b -> Rules b # return :: a -> Rules a #
Functor Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods fmap :: (a -> b) -> Rules a -> Rules b # (<$) :: a -> Rules b -> Rules a #
MonadFix Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods mfix :: (a -> Rules a) -> Rules a #
MonadFail Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods fail :: String -> Rules a #
Applicative Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods pure :: a -> Rules a # (<>) :: Rules (a -> b) -> Rules a -> Rules b # liftA2 :: (a -> b -> c) -> Rules a -> Rules b -> Rules c # (>) :: Rules a -> Rules b -> Rules b # (<*) :: Rules a -> Rules b -> Rules a #
MonadIO Rules
Instance details Defined in Development.Shake.Internal.Core.Rules Methods liftIO :: IO a -> Rules a #
Semigroup a => Semigroup (Rules a)
Instance details Defined in Development.Shake.Internal.Core.Rules Methods (<>) :: Rules a -> Rules a -> Rules a # sconcat :: NonEmpty (Rules a) -> Rules a # stimes :: Integral b => b -> Rules a -> Rules a #
(Semigroup a, Monoid a) => Monoid (Rules a)
Instance details Defined in Development.Shake.Internal.Core.Rules Methods mempty :: Rules a # mappend :: Rules a -> Rules a -> Rules a # mconcat :: [Rules a] -> Rules a #

type family RuleResult key #

The type mapping between the key or a rule and the resulting value. See addBuiltinRule and apply.

Instances

Instances details

type RuleResult FileQ
Instance details Defined in Development.Shake.Internal.Rules.File type RuleResult FileQ = FileR
type RuleResult DoesDirectoryExistQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult DoesDirectoryExistQ = DoesDirectoryExistA
type RuleResult DoesFileExistQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult DoesFileExistQ = DoesFileExistA
type RuleResult GetDirectoryContentsQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryContentsQ = GetDirectoryA
type RuleResult GetDirectoryDirsQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryDirsQ = GetDirectoryA
type RuleResult GetDirectoryFilesQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetDirectoryFilesQ = GetDirectoryA
type RuleResult GetEnvQ
Instance details Defined in Development.Shake.Internal.Rules.Directory type RuleResult GetEnvQ = GetEnvA
type RuleResult FilesQ
Instance details Defined in Development.Shake.Internal.Rules.Files type RuleResult FilesQ = FilesA
type RuleResult AlwaysRerunQ
Instance details Defined in Development.Shake.Internal.Rules.Rerun type RuleResult AlwaysRerunQ = ()
type RuleResult GhcSessionIO Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionIO = IdeGhcSession
type RuleResult GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetClientSettings = Hashed (Maybe Value)
type RuleResult GetModSummary Source #	Generate a ModSummary that has enough information to be used to get .hi and .hie files. without needing to parse the entire source
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummary = ModSummaryResult
type RuleResult GetModSummaryWithoutTimestamps Source #	Generate a ModSummary with the timestamps and preprocessed content elided, for more successful early cutoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummaryWithoutTimestamps = ModSummaryResult
type RuleResult IsFileOfInterest Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult IsFileOfInterest = IsFileOfInterestResult
type RuleResult GetModIfaceWithoutLinkable Source #	Get a module interface details, without the Linkable For better early cuttoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceWithoutLinkable = HiFileResult
type RuleResult GetModIface Source #	Get a module interface details, either from an interface file or a typechecked module
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIface = HiFileResult
type RuleResult GetModIfaceFromDiskAndIndex Source #	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 type RuleResult GetModIfaceFromDiskAndIndex = HiFileResult
type RuleResult GetModIfaceFromDisk Source #	Read the module interface file from disk. Throws an error for VFS files. This is an internal rule, use `GetModIface` instead.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceFromDisk = HiFileResult
type RuleResult GhcSessionDeps Source #	A GHC session preloaded with all the dependencies
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionDeps = HscEnvEq
type RuleResult GhcSession Source #	A GHC session that we reuse.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSession = HscEnvEq
type RuleResult GetBindings Source #	A IntervalMap telling us what is in scope at each point
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetBindings = Bindings
type RuleResult GetHieAst Source #	The uncompressed HieAST
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetHieAst = HieAstResult
type RuleResult GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDocMap = DocAndKindMap
type RuleResult TypeCheck Source #	The type checked version of this file, requires TypeCheck+
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult TypeCheck = TcModuleResult
type RuleResult GetDependencies Source #	Transitive module and pkg dependencies based on the information produced by GetDependencyInformation. This rule is also responsible for calling ReportImportCycles for each file in the transitive closure.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencies = TransitiveDependencies
type RuleResult ReportImportCycles Source #	This rule is used to report import cycles. It depends on GetDependencyInformation. We cannot report the cycles directly from GetDependencyInformation since we can only report diagnostics for the current file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult ReportImportCycles = ()
type RuleResult GetModuleGraph Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModuleGraph = DependencyInformation
type RuleResult GetDependencyInformation Source #	The dependency information produced by following the imports recursively. This rule will succeed even if there is an error, e.g., a module could not be located, a module could not be parsed or an import cycle.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencyInformation = DependencyInformation
type RuleResult NeedsCompilation Source #	Does this module need to be compiled?
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult NeedsCompilation = Maybe LinkableType
type RuleResult GetLocatedImports Source #	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 type RuleResult GetLocatedImports = [(Located ModuleName, Maybe ArtifactsLocation)]
type RuleResult GetParsedModuleWithComments Source #	The parse tree for the file using GetFileContents, all comments included using Opt_KeepRawTokenStream
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModuleWithComments = ParsedModule
type RuleResult GetParsedModule Source #	The parse tree for the file using GetFileContents
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModule = ParsedModule
type RuleResult GetFileExists Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetFileExists = Bool
type RuleResult GetFileContents Source #	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 type RuleResult GetFileContents = (FileVersion, Maybe Text)
type RuleResult GetModificationTime Source #	Get the modification time of a file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModificationTime = FileVersion
type RuleResult GetImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetImportMap = ImportMap
type RuleResult GenerateCore Source #	Convert to Core, requires TypeCheck*
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GenerateCore = ModGuts
type RuleResult GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetKnownTargets = KnownTargets
type RuleResult GetAnnotatedParsedSource Source #
Instance details Defined in Development.IDE.GHC.ExactPrint type RuleResult GetAnnotatedParsedSource = Annotated ParsedSource
type RuleResult NonLocalCompletions Source #
Instance details Defined in Development.IDE.Plugin.Completions type RuleResult NonLocalCompletions = CachedCompletions
type RuleResult LocalCompletions Source #	Produce completions info for a file
Instance details Defined in Development.IDE.Plugin.Completions type RuleResult LocalCompletions = CachedCompletions
type RuleResult IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules type RuleResult IsHiFileStable = SourceModified
type RuleResult GetGlobalBindingTypeSigs Source #
Instance details Defined in Development.IDE.Plugin.TypeLenses type RuleResult GetGlobalBindingTypeSigs = GlobalBindingTypeSigsResult
type RuleResult (OracleQ a)
Instance details Defined in Development.Shake.Internal.Rules.Oracle type RuleResult (OracleQ a) = OracleA (RuleResult a)
type RuleResult (Q k) Source #
Instance details Defined in Development.IDE.Types.Shake type RuleResult (Q k) = A (RuleResult k)

data Action a #

The Action monad, use liftIO to raise IO actions into it, and need to execute files. Action values are used by addUserRule and action. The Action monad tracks the dependencies of a rule. To raise an exception call error, fail or liftIO . throwIO.

Instances

Instances details

Monad Action
Instance details Defined in Development.Shake.Internal.Core.Types Methods (>>=) :: Action a -> (a -> Action b) -> Action b # (>>) :: Action a -> Action b -> Action b # return :: a -> Action a #
Functor Action
Instance details Defined in Development.Shake.Internal.Core.Types Methods fmap :: (a -> b) -> Action a -> Action b # (<$) :: a -> Action b -> Action a #
MonadFail Action
Instance details Defined in Development.Shake.Internal.Core.Types Methods fail :: String -> Action a #
Applicative Action
Instance details Defined in Development.Shake.Internal.Core.Types Methods pure :: a -> Action a # (<>) :: Action (a -> b) -> Action a -> Action b # liftA2 :: (a -> b -> c) -> Action a -> Action b -> Action c # (>) :: Action a -> Action b -> Action b # (<*) :: Action a -> Action b -> Action a #
MonadIO Action
Instance details Defined in Development.Shake.Internal.Core.Types Methods liftIO :: IO a -> Action a #
MonadTempDir Action
Instance details Defined in Development.Shake.Command Methods runWithTempDir :: (FilePath -> Action a) -> Action a runWithTempFile :: (FilePath -> Action a) -> Action a
Semigroup a => Semigroup (Action a)
Instance details Defined in Development.Shake.Internal.Core.Types Methods (<>) :: Action a -> Action a -> Action a # sconcat :: NonEmpty (Action a) -> Action a # stimes :: Integral b => b -> Action a -> Action a #
Monoid a => Monoid (Action a)
Instance details Defined in Development.Shake.Internal.Core.Types Methods mempty :: Action a # mappend :: Action a -> Action a -> Action a # mconcat :: [Action a] -> Action a #
CmdResult r => CmdArguments (Action r)
Instance details Defined in Development.Shake.Command Methods cmdArguments :: CmdArgument -> Action r #

setHieDir :: FilePath -> DynFlags -> DynFlags Source #

dontWriteHieFiles :: DynFlags -> DynFlags Source #

disableWarningsAsErrors :: DynFlags -> DynFlags Source #

toNormalizedFilePath' :: FilePath -> NormalizedFilePath Source #

emptyFilePath :: NormalizedFilePath Source #

uriToFilePath' :: Uri -> Maybe FilePath Source #

We use an empty string as a filepath when we don’t have a file. However, haskell-lsp doesn’t support that in uriToFilePath and given that it is not a valid filepath it does not make sense to upstream a fix. So we have our own wrapper here that supports empty filepaths.

emptyPathUri :: NormalizedUri Source #

filePathToUri' :: NormalizedFilePath -> NormalizedUri Source #

fromUri :: NormalizedUri -> NormalizedFilePath Source #

noFilePath :: FilePath Source #

noRange :: Range Source #

showPosition :: Position -> String Source #

readSrcSpan :: ReadS RealSrcSpan Source #

Parser for the GHC output format

type FileDiagnostic = (NormalizedFilePath, ShowDiagnostic, Diagnostic) Source #

Human readable diagnostics for a specific file.

This type packages a pretty printed, human readable error message along with the related source location so that we can display the error on either the console or in the IDE at the right source location.

data ShowDiagnostic Source #

Defines whether a particular diagnostic should be reported back to the user.

One important use case is "missing signature" code lenses, for which we need to enable the corresponding warning during type checking. However, we do not want to show the warning unless the programmer asks for it (#261).

Constructors

ShowDiag	Report back to the user
HideDiag	Hide from user

Instances

Instances details

Eq ShowDiagnostic Source #
Instance details Defined in Development.IDE.Types.Diagnostics Methods (==) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (/=) :: ShowDiagnostic -> ShowDiagnostic -> Bool #
Ord ShowDiagnostic Source #
Instance details Defined in Development.IDE.Types.Diagnostics Methods compare :: ShowDiagnostic -> ShowDiagnostic -> Ordering # (<) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (<=) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (>) :: ShowDiagnostic -> ShowDiagnostic -> Bool # (>=) :: ShowDiagnostic -> ShowDiagnostic -> Bool # max :: ShowDiagnostic -> ShowDiagnostic -> ShowDiagnostic # min :: ShowDiagnostic -> ShowDiagnostic -> ShowDiagnostic #
Show ShowDiagnostic Source #
Instance details Defined in Development.IDE.Types.Diagnostics Methods showsPrec :: Int -> ShowDiagnostic -> ShowS # show :: ShowDiagnostic -> String # showList :: [ShowDiagnostic] -> ShowS #
NFData ShowDiagnostic Source #
Instance details Defined in Development.IDE.Types.Diagnostics Methods rnf :: ShowDiagnostic -> () #

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

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.

ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic Source #

ideErrorWithSource :: Maybe DiagnosticSource -> Maybe DiagnosticSeverity -> a -> Text -> (a, ShowDiagnostic, Diagnostic) Source #

showDiagnostics :: [FileDiagnostic] -> Text Source #

showDiagnosticsColored :: [FileDiagnostic] -> Text Source #

modifyDynFlags :: GhcMonad m => (DynFlags -> DynFlags) -> m () Source #

Used to modify dyn flags in preference to calling setSessionDynFlags, since that function also reloads packages (which is very slow).

lookupPackageConfig :: UnitId -> HscEnv -> Maybe PackageConfig Source #

Given a UnitId try and find the associated PackageConfig in the environment.

textToStringBuffer :: Text -> StringBuffer Source #

Convert from the text package to the GHC StringBuffer. Currently implemented somewhat inefficiently (if it ever comes up in a profile).

runParser :: DynFlags -> String -> P a -> ParseResult a Source #

stringBufferToByteString :: StringBuffer -> ByteString Source #

bytestringToStringBuffer :: ByteString -> StringBuffer Source #

prettyPrint :: Outputable a => a -> String Source #

Pretty print a GHC value using 'unsafeGlobalDynFlags '.

unsafePrintSDoc :: SDoc -> String Source #

printRdrName :: RdrName -> String Source #

Pretty print a RdrName wrapping operators in parens

printName :: Name -> String Source #

Pretty print a Name wrapping operators in parens

evalGhcEnv :: HscEnv -> Ghc b -> IO b Source #

Run a Ghc monad value using an existing HscEnv. Sets up and tears down all the required pieces, but designed to be more efficient than a standard runGhc.

moduleImportPath :: NormalizedFilePath -> ModuleName -> Maybe FilePath Source #

Given a module location, and its parse tree, figure out what is the include directory implied by it. For example, given the file /usr/Test/Foo/Bar.hs with the module name Foo.Bar the directory /usr/Test should be on the include path to find sibling modules.

readFileUtf8 :: FilePath -> IO Text Source #

Read a UTF8 file, with lenient decoding, so it will never raise a decoding error.

cgGutsToCoreModule :: SafeHaskellMode -> CgGuts -> ModDetails -> CoreModule Source #

Convert from a CgGuts to a CoreModule.

fingerprintToBS :: Fingerprint -> ByteString Source #

Convert a Fingerprint to a ByteString by copying the byte across. Will produce an 8 byte unreadable ByteString.

fingerprintFromStringBuffer :: StringBuffer -> IO Fingerprint Source #

Take the Fingerprint of a StringBuffer.

fingerprintFromByteString :: ByteString -> IO Fingerprint Source #

fingerprintFromPut :: Put -> IO Fingerprint Source #

hDuplicateTo' :: Handle -> Handle -> IO () Source #

A slightly modified version of hDuplicateTo from GHC. Importantly, it avoids the bug listed in https://gitlab.haskell.org/ghc/ghc/merge_requests/2318.

diagFromErrMsg :: Text -> DynFlags -> ErrMsg -> [FileDiagnostic] Source #

Produce a GHC-style error from a source span and a message.

diagFromErrMsgs :: Text -> DynFlags -> Bag ErrMsg -> [FileDiagnostic] Source #

srcSpanToRange :: SrcSpan -> Maybe Range Source #

Convert a GHC SrcSpan to a DAML compiler Range

realSrcSpanToRange :: RealSrcSpan -> Range Source #

realSrcLocToPosition :: RealSrcLoc -> Position Source #

srcSpanToFilename :: SrcSpan -> Maybe FilePath Source #

Extract a file name from a GHC SrcSpan (use message for unhelpful ones) FIXME This may not be an _absolute_ file name, needs fixing.

realSrcSpanToLocation :: RealSrcSpan -> Location Source #

srcSpanToLocation :: SrcSpan -> Maybe Location Source #

rangeToSrcSpan :: NormalizedFilePath -> Range -> SrcSpan Source #

rangeToRealSrcSpan :: NormalizedFilePath -> Range -> RealSrcSpan Source #

positionToRealSrcLoc :: NormalizedFilePath -> Position -> RealSrcLoc Source #

isInsideSrcSpan :: Position -> SrcSpan -> Bool Source #

toDSeverity :: Severity -> Maybe DiagnosticSeverity Source #

Convert a GHC severity to a DAML compiler Severity. Severities below Warning level are dropped (returning Nothing).

diagFromStrings :: Text -> DiagnosticSeverity -> [(SrcSpan, String)] -> [FileDiagnostic] Source #

Produce a bag of GHC-style errors (ErrorMessages) from the given (optional) locations and message strings.

diagFromString :: Text -> DiagnosticSeverity -> SrcSpan -> String -> [FileDiagnostic] Source #

Produce a GHC-style error from a source span and a message.

noSpan :: String -> SrcSpan Source #

Produces an "unhelpful" source span with the given string.

zeroSpan Source #

Arguments

:: FastString	file path of span
-> RealSrcSpan

creates a span with zero length in the filename of the argument passed

realSpan :: SrcSpan -> Maybe RealSrcSpan Source #

catchSrcErrors :: DynFlags -> Text -> IO a -> IO (Either [FileDiagnostic] a) Source #

Catch the errors thrown by GHC (SourceErrors and compiler-internal exceptions like Panic or InstallationError), and turn them into diagnostics

diagFromGhcException :: Text -> DynFlags -> GhcException -> [FileDiagnostic] Source #

data HscEnvEq Source #

An HscEnv with equality. Two values are considered equal if they are created with the same call to newHscEnvEq.

Instances

Instances details

Eq HscEnvEq Source #
Instance details Defined in Development.IDE.Types.HscEnvEq Methods (==) :: HscEnvEq -> HscEnvEq -> Bool # (/=) :: HscEnvEq -> HscEnvEq -> Bool #
Show HscEnvEq Source #
Instance details Defined in Development.IDE.Types.HscEnvEq Methods showsPrec :: Int -> HscEnvEq -> ShowS # show :: HscEnvEq -> String # showList :: [HscEnvEq] -> ShowS #
Hashable HscEnvEq Source #
Instance details Defined in Development.IDE.Types.HscEnvEq Methods hashWithSalt :: Int -> HscEnvEq -> Int # hash :: HscEnvEq -> Int #
Binary HscEnvEq Source #
Instance details Defined in Development.IDE.Types.HscEnvEq Methods put :: HscEnvEq -> Put # get :: Get HscEnvEq # putList :: [HscEnvEq] -> Put #
NFData HscEnvEq Source #
Instance details Defined in Development.IDE.Types.HscEnvEq Methods rnf :: HscEnvEq -> () #

hscEnvWithImportPaths :: HscEnvEq -> HscEnv Source #

Unwrap the HscEnv with the original import paths. Used only for locating imports

data GhcSessionIO Source #

Constructors

GhcSessionIO

Instances

Instances details

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

data IdeGhcSession Source #

Constructors

IdeGhcSession
Fields loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath]) Returns the Ghc session and the cradle dependencies sessionVersion :: !Int Used as Shake key, versions must be unique and not reused

Instances

Instances details

Show IdeGhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IdeGhcSession -> ShowS # show :: IdeGhcSession -> String # showList :: [IdeGhcSession] -> ShowS #
NFData IdeGhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IdeGhcSession -> () #

data GetClientSettings Source #

Get the vscode client settings stored in the ide state

Constructors

GetClientSettings

Instances

Instances details

Eq GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetClientSettings -> GetClientSettings -> Bool # (/=) :: GetClientSettings -> GetClientSettings -> Bool #
Show GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetClientSettings -> ShowS # show :: GetClientSettings -> String # showList :: [GetClientSettings] -> ShowS #
Generic GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetClientSettings :: Type -> Type # Methods from :: GetClientSettings -> Rep GetClientSettings x # to :: Rep GetClientSettings x -> GetClientSettings #
Hashable GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetClientSettings -> Int # hash :: GetClientSettings -> Int #
Binary GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetClientSettings -> Put # get :: Get GetClientSettings # putList :: [GetClientSettings] -> Put #
NFData GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetClientSettings -> () #
type Rep GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetClientSettings = D1 ('MetaData "GetClientSettings" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetClientSettings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetClientSettings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetClientSettings = Hashed (Maybe Value)

data GetModSummary Source #

Constructors

GetModSummary

Instances

Instances details

Eq GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummary -> GetModSummary -> Bool # (/=) :: GetModSummary -> GetModSummary -> Bool #
Show GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummary -> ShowS # show :: GetModSummary -> String # showList :: [GetModSummary] -> ShowS #
Generic GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummary :: Type -> Type # Methods from :: GetModSummary -> Rep GetModSummary x # to :: Rep GetModSummary x -> GetModSummary #
Hashable GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummary -> Int # hash :: GetModSummary -> Int #
Binary GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModSummary -> Put # get :: Get GetModSummary # putList :: [GetModSummary] -> Put #
NFData GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummary -> () #
type Rep GetModSummary Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummary = D1 ('MetaData "GetModSummary" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModSummary" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummary Source #	Generate a ModSummary that has enough information to be used to get .hi and .hie files. without needing to parse the entire source
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummary = ModSummaryResult

data GetModSummaryWithoutTimestamps Source #

Constructors

GetModSummaryWithoutTimestamps

Instances

Instances details

Eq GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool # (/=) :: GetModSummaryWithoutTimestamps -> GetModSummaryWithoutTimestamps -> Bool #
Show GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModSummaryWithoutTimestamps -> ShowS # show :: GetModSummaryWithoutTimestamps -> String # showList :: [GetModSummaryWithoutTimestamps] -> ShowS #
Generic GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModSummaryWithoutTimestamps :: Type -> Type # Methods from :: GetModSummaryWithoutTimestamps -> Rep GetModSummaryWithoutTimestamps x # to :: Rep GetModSummaryWithoutTimestamps x -> GetModSummaryWithoutTimestamps #
Hashable GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModSummaryWithoutTimestamps -> Int # hash :: GetModSummaryWithoutTimestamps -> Int #
Binary GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModSummaryWithoutTimestamps -> Put # get :: Get GetModSummaryWithoutTimestamps # putList :: [GetModSummaryWithoutTimestamps] -> Put #
NFData GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModSummaryWithoutTimestamps -> () #
type Rep GetModSummaryWithoutTimestamps Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModSummaryWithoutTimestamps = D1 ('MetaData "GetModSummaryWithoutTimestamps" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModSummaryWithoutTimestamps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModSummaryWithoutTimestamps Source #	Generate a ModSummary with the timestamps and preprocessed content elided, for more successful early cutoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModSummaryWithoutTimestamps = ModSummaryResult

data IsFileOfInterest Source #

Constructors

IsFileOfInterest

Instances

Instances details

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

data GetModIfaceWithoutLinkable Source #

Constructors

GetModIfaceWithoutLinkable

Instances

Instances details

Eq GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceWithoutLinkable -> GetModIfaceWithoutLinkable -> Bool # (/=) :: GetModIfaceWithoutLinkable -> GetModIfaceWithoutLinkable -> Bool #
Show GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceWithoutLinkable -> ShowS # show :: GetModIfaceWithoutLinkable -> String # showList :: [GetModIfaceWithoutLinkable] -> ShowS #
Generic GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceWithoutLinkable :: Type -> Type # Methods from :: GetModIfaceWithoutLinkable -> Rep GetModIfaceWithoutLinkable x # to :: Rep GetModIfaceWithoutLinkable x -> GetModIfaceWithoutLinkable #
Hashable GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceWithoutLinkable -> Int # hash :: GetModIfaceWithoutLinkable -> Int #
Binary GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIfaceWithoutLinkable -> Put # get :: Get GetModIfaceWithoutLinkable # putList :: [GetModIfaceWithoutLinkable] -> Put #
NFData GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceWithoutLinkable -> () #
type Rep GetModIfaceWithoutLinkable Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceWithoutLinkable = D1 ('MetaData "GetModIfaceWithoutLinkable" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModIfaceWithoutLinkable" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceWithoutLinkable Source #	Get a module interface details, without the Linkable For better early cuttoff
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceWithoutLinkable = HiFileResult

data GetModIface Source #

Constructors

GetModIface

Instances

Instances details

Eq GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIface -> GetModIface -> Bool # (/=) :: GetModIface -> GetModIface -> Bool #
Show GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIface -> ShowS # show :: GetModIface -> String # showList :: [GetModIface] -> ShowS #
Generic GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIface :: Type -> Type # Methods from :: GetModIface -> Rep GetModIface x # to :: Rep GetModIface x -> GetModIface #
Hashable GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIface -> Int # hash :: GetModIface -> Int #
Binary GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIface -> Put # get :: Get GetModIface # putList :: [GetModIface] -> Put #
NFData GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIface -> () #
type Rep GetModIface Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIface = D1 ('MetaData "GetModIface" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModIface" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIface Source #	Get a module interface details, either from an interface file or a typechecked module
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIface = HiFileResult

data GetModIfaceFromDiskAndIndex Source #

Constructors

GetModIfaceFromDiskAndIndex

Instances

Instances details

Eq GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool # (/=) :: GetModIfaceFromDiskAndIndex -> GetModIfaceFromDiskAndIndex -> Bool #
Show GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDiskAndIndex -> ShowS # show :: GetModIfaceFromDiskAndIndex -> String # showList :: [GetModIfaceFromDiskAndIndex] -> ShowS #
Generic GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceFromDiskAndIndex :: Type -> Type # Methods from :: GetModIfaceFromDiskAndIndex -> Rep GetModIfaceFromDiskAndIndex x # to :: Rep GetModIfaceFromDiskAndIndex x -> GetModIfaceFromDiskAndIndex #
Hashable GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDiskAndIndex -> Int # hash :: GetModIfaceFromDiskAndIndex -> Int #
Binary GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIfaceFromDiskAndIndex -> Put # get :: Get GetModIfaceFromDiskAndIndex # putList :: [GetModIfaceFromDiskAndIndex] -> Put #
NFData GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDiskAndIndex -> () #
type Rep GetModIfaceFromDiskAndIndex Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDiskAndIndex = D1 ('MetaData "GetModIfaceFromDiskAndIndex" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModIfaceFromDiskAndIndex" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDiskAndIndex Source #	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 type RuleResult GetModIfaceFromDiskAndIndex = HiFileResult

data GetModIfaceFromDisk Source #

Constructors

GetModIfaceFromDisk

Instances

Instances details

Eq GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool # (/=) :: GetModIfaceFromDisk -> GetModIfaceFromDisk -> Bool #
Show GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModIfaceFromDisk -> ShowS # show :: GetModIfaceFromDisk -> String # showList :: [GetModIfaceFromDisk] -> ShowS #
Generic GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetModIfaceFromDisk :: Type -> Type # Methods from :: GetModIfaceFromDisk -> Rep GetModIfaceFromDisk x # to :: Rep GetModIfaceFromDisk x -> GetModIfaceFromDisk #
Hashable GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModIfaceFromDisk -> Int # hash :: GetModIfaceFromDisk -> Int #
Binary GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModIfaceFromDisk -> Put # get :: Get GetModIfaceFromDisk # putList :: [GetModIfaceFromDisk] -> Put #
NFData GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModIfaceFromDisk -> () #
type Rep GetModIfaceFromDisk Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModIfaceFromDisk = D1 ('MetaData "GetModIfaceFromDisk" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetModIfaceFromDisk" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetModIfaceFromDisk Source #	Read the module interface file from disk. Throws an error for VFS files. This is an internal rule, use `GetModIface` instead.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModIfaceFromDisk = HiFileResult

data GhcSessionDeps Source #

Constructors

GhcSessionDeps

Instances

Instances details

Eq GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSessionDeps -> GhcSessionDeps -> Bool # (/=) :: GhcSessionDeps -> GhcSessionDeps -> Bool #
Show GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSessionDeps -> ShowS # show :: GhcSessionDeps -> String # showList :: [GhcSessionDeps] -> ShowS #
Generic GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSessionDeps :: Type -> Type # Methods from :: GhcSessionDeps -> Rep GhcSessionDeps x # to :: Rep GhcSessionDeps x -> GhcSessionDeps #
Hashable GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSessionDeps -> Int # hash :: GhcSessionDeps -> Int #
Binary GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GhcSessionDeps -> Put # get :: Get GhcSessionDeps # putList :: [GhcSessionDeps] -> Put #
NFData GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSessionDeps -> () #
type Rep GhcSessionDeps Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSessionDeps = D1 ('MetaData "GhcSessionDeps" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GhcSessionDeps" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSessionDeps Source #	A GHC session preloaded with all the dependencies
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSessionDeps = HscEnvEq

data GhcSession Source #

Constructors

GhcSession

Instances

Instances details

Eq GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GhcSession -> GhcSession -> Bool # (/=) :: GhcSession -> GhcSession -> Bool #
Show GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GhcSession -> ShowS # show :: GhcSession -> String # showList :: [GhcSession] -> ShowS #
Generic GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GhcSession :: Type -> Type # Methods from :: GhcSession -> Rep GhcSession x # to :: Rep GhcSession x -> GhcSession #
Hashable GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GhcSession -> Int # hash :: GhcSession -> Int #
Binary GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GhcSession -> Put # get :: Get GhcSession # putList :: [GhcSession] -> Put #
NFData GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GhcSession -> () #
type Rep GhcSession Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GhcSession = D1 ('MetaData "GhcSession" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GhcSession" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GhcSession Source #	A GHC session that we reuse.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GhcSession = HscEnvEq

data GetBindings Source #

Constructors

GetBindings

Instances

Instances details

Eq GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetBindings -> GetBindings -> Bool # (/=) :: GetBindings -> GetBindings -> Bool #
Show GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetBindings -> ShowS # show :: GetBindings -> String # showList :: [GetBindings] -> ShowS #
Generic GetBindings Source #
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 #
Hashable GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetBindings -> Int # hash :: GetBindings -> Int #
Binary GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetBindings -> Put # get :: Get GetBindings # putList :: [GetBindings] -> Put #
NFData GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetBindings -> () #
type Rep GetBindings Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetBindings = D1 ('MetaData "GetBindings" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetBindings" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetBindings Source #	A IntervalMap telling us what is in scope at each point
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetBindings = Bindings

data GetHieAst Source #

Constructors

GetHieAst

Instances

Instances details

Eq GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetHieAst -> GetHieAst -> Bool # (/=) :: GetHieAst -> GetHieAst -> Bool #
Show GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetHieAst -> ShowS # show :: GetHieAst -> String # showList :: [GetHieAst] -> ShowS #
Generic GetHieAst Source #
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 #
Hashable GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetHieAst -> Int # hash :: GetHieAst -> Int #
Binary GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetHieAst -> Put # get :: Get GetHieAst # putList :: [GetHieAst] -> Put #
NFData GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetHieAst -> () #
type Rep GetHieAst Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetHieAst = D1 ('MetaData "GetHieAst" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetHieAst" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetHieAst Source #	The uncompressed HieAST
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetHieAst = HieAstResult

data GetDocMap Source #

Constructors

GetDocMap

Instances

Instances details

Eq GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDocMap -> GetDocMap -> Bool # (/=) :: GetDocMap -> GetDocMap -> Bool #
Show GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDocMap -> ShowS # show :: GetDocMap -> String # showList :: [GetDocMap] -> ShowS #
Generic GetDocMap Source #
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 #
Hashable GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDocMap -> Int # hash :: GetDocMap -> Int #
Binary GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetDocMap -> Put # get :: Get GetDocMap # putList :: [GetDocMap] -> Put #
NFData GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDocMap -> () #
type Rep GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDocMap = D1 ('MetaData "GetDocMap" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetDocMap" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDocMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDocMap = DocAndKindMap

data TypeCheck Source #

Constructors

TypeCheck

Instances

Instances details

Eq TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: TypeCheck -> TypeCheck -> Bool # (/=) :: TypeCheck -> TypeCheck -> Bool #
Show TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TypeCheck -> ShowS # show :: TypeCheck -> String # showList :: [TypeCheck] -> ShowS #
Generic TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep TypeCheck :: Type -> Type # Methods from :: TypeCheck -> Rep TypeCheck x # to :: Rep TypeCheck x -> TypeCheck #
Hashable TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> TypeCheck -> Int # hash :: TypeCheck -> Int #
Binary TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: TypeCheck -> Put # get :: Get TypeCheck # putList :: [TypeCheck] -> Put #
NFData TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: TypeCheck -> () #
type Rep TypeCheck Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep TypeCheck = D1 ('MetaData "TypeCheck" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "TypeCheck" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult TypeCheck Source #	The type checked version of this file, requires TypeCheck+
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult TypeCheck = TcModuleResult

data GetDependencies Source #

Constructors

GetDependencies

Instances

Instances details

Eq GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDependencies -> GetDependencies -> Bool # (/=) :: GetDependencies -> GetDependencies -> Bool #
Show GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDependencies -> ShowS # show :: GetDependencies -> String # showList :: [GetDependencies] -> ShowS #
Generic GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetDependencies :: Type -> Type # Methods from :: GetDependencies -> Rep GetDependencies x # to :: Rep GetDependencies x -> GetDependencies #
Hashable GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDependencies -> Int # hash :: GetDependencies -> Int #
Binary GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetDependencies -> Put # get :: Get GetDependencies # putList :: [GetDependencies] -> Put #
NFData GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDependencies -> () #
type Rep GetDependencies Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDependencies = D1 ('MetaData "GetDependencies" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetDependencies" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDependencies Source #	Transitive module and pkg dependencies based on the information produced by GetDependencyInformation. This rule is also responsible for calling ReportImportCycles for each file in the transitive closure.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencies = TransitiveDependencies

data ReportImportCycles Source #

Constructors

ReportImportCycles

Instances

Instances details

Eq ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: ReportImportCycles -> ReportImportCycles -> Bool # (/=) :: ReportImportCycles -> ReportImportCycles -> Bool #
Show ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ReportImportCycles -> ShowS # show :: ReportImportCycles -> String # showList :: [ReportImportCycles] -> ShowS #
Generic ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep ReportImportCycles :: Type -> Type # Methods from :: ReportImportCycles -> Rep ReportImportCycles x # to :: Rep ReportImportCycles x -> ReportImportCycles #
Hashable ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> ReportImportCycles -> Int # hash :: ReportImportCycles -> Int #
Binary ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: ReportImportCycles -> Put # get :: Get ReportImportCycles # putList :: [ReportImportCycles] -> Put #
NFData ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ReportImportCycles -> () #
type Rep ReportImportCycles Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep ReportImportCycles = D1 ('MetaData "ReportImportCycles" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "ReportImportCycles" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult ReportImportCycles Source #	This rule is used to report import cycles. It depends on GetDependencyInformation. We cannot report the cycles directly from GetDependencyInformation since we can only report diagnostics for the current file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult ReportImportCycles = ()

data GetModuleGraph Source #

Constructors

GetModuleGraph

Instances

Instances details

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

data GetDependencyInformation Source #

Constructors

GetDependencyInformation

Instances

Instances details

Eq GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetDependencyInformation -> GetDependencyInformation -> Bool # (/=) :: GetDependencyInformation -> GetDependencyInformation -> Bool #
Show GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetDependencyInformation -> ShowS # show :: GetDependencyInformation -> String # showList :: [GetDependencyInformation] -> ShowS #
Generic GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetDependencyInformation :: Type -> Type # Methods from :: GetDependencyInformation -> Rep GetDependencyInformation x # to :: Rep GetDependencyInformation x -> GetDependencyInformation #
Hashable GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetDependencyInformation -> Int # hash :: GetDependencyInformation -> Int #
Binary GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetDependencyInformation -> Put # get :: Get GetDependencyInformation # putList :: [GetDependencyInformation] -> Put #
NFData GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetDependencyInformation -> () #
type Rep GetDependencyInformation Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetDependencyInformation = D1 ('MetaData "GetDependencyInformation" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetDependencyInformation" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetDependencyInformation Source #	The dependency information produced by following the imports recursively. This rule will succeed even if there is an error, e.g., a module could not be located, a module could not be parsed or an import cycle.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetDependencyInformation = DependencyInformation

data NeedsCompilation Source #

Constructors

NeedsCompilation

Instances

Instances details

Eq NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: NeedsCompilation -> NeedsCompilation -> Bool # (/=) :: NeedsCompilation -> NeedsCompilation -> Bool #
Show NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> NeedsCompilation -> ShowS # show :: NeedsCompilation -> String # showList :: [NeedsCompilation] -> ShowS #
Generic NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep NeedsCompilation :: Type -> Type # Methods from :: NeedsCompilation -> Rep NeedsCompilation x # to :: Rep NeedsCompilation x -> NeedsCompilation #
Hashable NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> NeedsCompilation -> Int # hash :: NeedsCompilation -> Int #
Binary NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: NeedsCompilation -> Put # get :: Get NeedsCompilation # putList :: [NeedsCompilation] -> Put #
NFData NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: NeedsCompilation -> () #
type Rep NeedsCompilation Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep NeedsCompilation = D1 ('MetaData "NeedsCompilation" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "NeedsCompilation" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult NeedsCompilation Source #	Does this module need to be compiled?
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult NeedsCompilation = Maybe LinkableType

data GetLocatedImports Source #

Constructors

GetLocatedImports

Instances

Instances details

Eq GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetLocatedImports -> GetLocatedImports -> Bool # (/=) :: GetLocatedImports -> GetLocatedImports -> Bool #
Show GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetLocatedImports -> ShowS # show :: GetLocatedImports -> String # showList :: [GetLocatedImports] -> ShowS #
Generic GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetLocatedImports :: Type -> Type # Methods from :: GetLocatedImports -> Rep GetLocatedImports x # to :: Rep GetLocatedImports x -> GetLocatedImports #
Hashable GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetLocatedImports -> Int # hash :: GetLocatedImports -> Int #
Binary GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetLocatedImports -> Put # get :: Get GetLocatedImports # putList :: [GetLocatedImports] -> Put #
NFData GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetLocatedImports -> () #
type Rep GetLocatedImports Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetLocatedImports = D1 ('MetaData "GetLocatedImports" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetLocatedImports" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetLocatedImports Source #	Resolve the imports in a module to the file path of a module in the same package
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetLocatedImports = [(Located ModuleName, Maybe ArtifactsLocation)]

data GetParsedModuleWithComments Source #

Constructors

GetParsedModuleWithComments

Instances

Instances details

Eq GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool # (/=) :: GetParsedModuleWithComments -> GetParsedModuleWithComments -> Bool #
Show GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModuleWithComments -> ShowS # show :: GetParsedModuleWithComments -> String # showList :: [GetParsedModuleWithComments] -> ShowS #
Generic GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetParsedModuleWithComments :: Type -> Type # Methods from :: GetParsedModuleWithComments -> Rep GetParsedModuleWithComments x # to :: Rep GetParsedModuleWithComments x -> GetParsedModuleWithComments #
Hashable GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModuleWithComments -> Int # hash :: GetParsedModuleWithComments -> Int #
Binary GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetParsedModuleWithComments -> Put # get :: Get GetParsedModuleWithComments # putList :: [GetParsedModuleWithComments] -> Put #
NFData GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModuleWithComments -> () #
type Rep GetParsedModuleWithComments Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModuleWithComments = D1 ('MetaData "GetParsedModuleWithComments" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetParsedModuleWithComments" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModuleWithComments Source #	The parse tree for the file using GetFileContents, all comments included using Opt_KeepRawTokenStream
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModuleWithComments = ParsedModule

data GetParsedModule Source #

Constructors

GetParsedModule

Instances

Instances details

Eq GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetParsedModule -> GetParsedModule -> Bool # (/=) :: GetParsedModule -> GetParsedModule -> Bool #
Show GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetParsedModule -> ShowS # show :: GetParsedModule -> String # showList :: [GetParsedModule] -> ShowS #
Generic GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetParsedModule :: Type -> Type # Methods from :: GetParsedModule -> Rep GetParsedModule x # to :: Rep GetParsedModule x -> GetParsedModule #
Hashable GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetParsedModule -> Int # hash :: GetParsedModule -> Int #
Binary GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetParsedModule -> Put # get :: Get GetParsedModule # putList :: [GetParsedModule] -> Put #
NFData GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetParsedModule -> () #
type Rep GetParsedModule Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetParsedModule = D1 ('MetaData "GetParsedModule" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetParsedModule" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetParsedModule Source #	The parse tree for the file using GetFileContents
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetParsedModule = ParsedModule

data ModSummaryResult Source #

Constructors

ModSummaryResult
Fields msrModSummary :: !ModSummary msrImports :: [LImportDecl GhcPs] msrFingerprint :: !Fingerprint

Instances

Instances details

Show ModSummaryResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ModSummaryResult -> ShowS # show :: ModSummaryResult -> String # showList :: [ModSummaryResult] -> ShowS #
NFData ModSummaryResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ModSummaryResult -> () #

data IsFileOfInterestResult Source #

Constructors

NotFOI
IsFOI FileOfInterestStatus

Instances

Instances details

Eq IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool # (/=) :: IsFileOfInterestResult -> IsFileOfInterestResult -> Bool #
Show IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> IsFileOfInterestResult -> ShowS # show :: IsFileOfInterestResult -> String # showList :: [IsFileOfInterestResult] -> ShowS #
Generic IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep IsFileOfInterestResult :: Type -> Type # Methods from :: IsFileOfInterestResult -> Rep IsFileOfInterestResult x # to :: Rep IsFileOfInterestResult x -> IsFileOfInterestResult #
Hashable IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> IsFileOfInterestResult -> Int # hash :: IsFileOfInterestResult -> Int #
Binary IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: IsFileOfInterestResult -> Put # get :: Get IsFileOfInterestResult # putList :: [IsFileOfInterestResult] -> Put #
NFData IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: IsFileOfInterestResult -> () #
type Rep IsFileOfInterestResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep IsFileOfInterestResult = D1 ('MetaData "IsFileOfInterestResult" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" '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 FileOfInterestStatus Source #

Constructors

OnDisk
Modified
Fields firstOpen :: !Bool was this file just opened

Instances

Instances details

Eq FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool # (/=) :: FileOfInterestStatus -> FileOfInterestStatus -> Bool #
Show FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileOfInterestStatus -> ShowS # show :: FileOfInterestStatus -> String # showList :: [FileOfInterestStatus] -> ShowS #
Generic FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep FileOfInterestStatus :: Type -> Type # Methods from :: FileOfInterestStatus -> Rep FileOfInterestStatus x # to :: Rep FileOfInterestStatus x -> FileOfInterestStatus #
Hashable FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> FileOfInterestStatus -> Int # hash :: FileOfInterestStatus -> Int #
Binary FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: FileOfInterestStatus -> Put # get :: Get FileOfInterestStatus # putList :: [FileOfInterestStatus] -> Put #
NFData FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileOfInterestStatus -> () #
type Rep FileOfInterestStatus Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileOfInterestStatus = D1 ('MetaData "FileOfInterestStatus" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "OnDisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Modified" 'PrefixI 'True) (S1 ('MetaSel ('Just "firstOpen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))

data GetFileExists Source #

Constructors

GetFileExists

Instances

Instances details

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

data GetFileContents Source #

Constructors

GetFileContents

Instances

Instances details

Eq GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetFileContents -> GetFileContents -> Bool # (/=) :: GetFileContents -> GetFileContents -> Bool #
Show GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetFileContents -> ShowS # show :: GetFileContents -> String # showList :: [GetFileContents] -> ShowS #
Generic GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetFileContents :: Type -> Type # Methods from :: GetFileContents -> Rep GetFileContents x # to :: Rep GetFileContents x -> GetFileContents #
Hashable GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetFileContents -> Int # hash :: GetFileContents -> Int #
Binary GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetFileContents -> Put # get :: Get GetFileContents # putList :: [GetFileContents] -> Put #
NFData GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetFileContents -> () #
type Rep GetFileContents Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetFileContents = D1 ('MetaData "GetFileContents" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetFileContents" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetFileContents Source #	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 type RuleResult GetFileContents = (FileVersion, Maybe Text)

data FileVersion Source #

Constructors

VFSVersion !Int
ModificationTime
Fields !Int64 Large unit (platform dependent, do not make assumptions) !Int64 Small unit (platform dependent, do not make assumptions)

Instances

Instances details

Show FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> FileVersion -> ShowS # show :: FileVersion -> String # showList :: [FileVersion] -> ShowS #
Generic FileVersion Source #
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 #
NFData FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: FileVersion -> () #
type Rep FileVersion Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep FileVersion = D1 ('MetaData "FileVersion" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" '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 GetModificationTime Source #

Constructors

GetModificationTime_
Fields missingFileDiagnostics :: Bool If false, missing file diagnostics are not reported

Instances

Instances details

Eq GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetModificationTime -> GetModificationTime -> Bool # (/=) :: GetModificationTime -> GetModificationTime -> Bool #
Show GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetModificationTime -> ShowS # show :: GetModificationTime -> String # showList :: [GetModificationTime] -> ShowS #
Generic GetModificationTime Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetModificationTime -> Int # hash :: GetModificationTime -> Int #
Binary GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetModificationTime -> Put # get :: Get GetModificationTime # putList :: [GetModificationTime] -> Put #
NFData GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetModificationTime -> () #
type Rep GetModificationTime Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetModificationTime = D1 ('MetaData "GetModificationTime" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'True) (C1 ('MetaCons "GetModificationTime_" 'PrefixI 'True) (S1 ('MetaSel ('Just "missingFileDiagnostics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type RuleResult GetModificationTime Source #	Get the modification time of a file.
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetModificationTime = FileVersion

data DocAndKindMap Source #

Constructors

DKMap
Fields getDocMap :: !DocMap getKindMap :: !KindMap

Instances

Instances details

Show DocAndKindMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> DocAndKindMap -> ShowS # show :: DocAndKindMap -> String # showList :: [DocAndKindMap] -> ShowS #
NFData DocAndKindMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: DocAndKindMap -> () #

data HieKind a where Source #

Constructors

HieFromDisk :: !HieFile -> HieKind TypeIndex
HieFresh :: HieKind Type

Instances

Instances details

NFData (HieKind a) Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieKind a -> () #

data HieAstResult Source #

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

Constructors

forall a. HAR

Fields

hieModule :: Module
hieAst :: !(HieASTs a)
refMap :: RefMap a
Lazy because its value only depends on the hieAst, which is bundled in this type Lazyness can't cause leaks here because the lifetime of refMap will be the same as that of hieAst
typeRefs :: Map Name [RealSrcSpan]
type references in this file
hieKind :: !(HieKind a)
Is this hie file loaded from the disk, or freshly computed?

Instances

Instances details

Show HieAstResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HieAstResult -> ShowS # show :: HieAstResult -> String # showList :: [HieAstResult] -> ShowS #
NFData HieAstResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HieAstResult -> () #

data HiFileResult Source #

Constructors

HiFileResult
Fields hirModSummary :: !ModSummary hirHomeMod :: !HomeModInfo Includes the Linkable iff we need object files hirIfaceFp :: ByteString Fingerprint for the ModIface hirLinkableFp :: ByteString Fingerprint for the Linkable

Instances

Instances details

Show HiFileResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> HiFileResult -> ShowS # show :: HiFileResult -> String # showList :: [HiFileResult] -> ShowS #
NFData HiFileResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: HiFileResult -> () #

data TcModuleResult Source #

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

Constructors

TcModuleResult
Fields tmrParsed :: ParsedModule tmrRenamed :: RenamedSource tmrTypechecked :: TcGblEnv tmrTopLevelSplices :: Splices Typechecked splice information tmrDeferedError :: !Bool Did we defer any type errors for this module?

Instances

Instances details

Show TcModuleResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> TcModuleResult -> ShowS # show :: TcModuleResult -> String # showList :: [TcModuleResult] -> ShowS #
NFData TcModuleResult Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: TcModuleResult -> () #

data Splices Source #

Constructors

Splices
Fields exprSplices :: [(LHsExpr GhcTc, LHsExpr GhcPs)] patSplices :: [(LHsExpr GhcTc, LPat GhcPs)] typeSplices :: [(LHsExpr GhcTc, LHsType GhcPs)] declSplices :: [(LHsExpr GhcTc, [LHsDecl GhcPs])] awSplices :: [(LHsExpr GhcTc, Serialized)]

Instances

Instances details

Semigroup Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (<>) :: Splices -> Splices -> Splices # sconcat :: NonEmpty Splices -> Splices # stimes :: Integral b => b -> Splices -> Splices #
Monoid Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods mempty :: Splices # mappend :: Splices -> Splices -> Splices # mconcat :: [Splices] -> Splices #
NFData Splices Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: Splices -> () #

newtype ImportMap Source #

Constructors

ImportMap
Fields importMap :: Map ModuleName NormalizedFilePath Where are the modules imported by this file located?

Instances

Instances details

Show ImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> ImportMap -> ShowS # show :: ImportMap -> String # showList :: [ImportMap] -> ShowS #
NFData ImportMap Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: ImportMap -> () #

data GetImportMap Source #

Constructors

GetImportMap

Instances

Instances details

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

data GenerateCore Source #

Constructors

GenerateCore

Instances

Instances details

Eq GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GenerateCore -> GenerateCore -> Bool # (/=) :: GenerateCore -> GenerateCore -> Bool #
Show GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GenerateCore -> ShowS # show :: GenerateCore -> String # showList :: [GenerateCore] -> ShowS #
Generic GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GenerateCore :: Type -> Type # Methods from :: GenerateCore -> Rep GenerateCore x # to :: Rep GenerateCore x -> GenerateCore #
Hashable GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GenerateCore -> Int # hash :: GenerateCore -> Int #
Binary GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GenerateCore -> Put # get :: Get GenerateCore # putList :: [GenerateCore] -> Put #
NFData GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GenerateCore -> () #
type Rep GenerateCore Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GenerateCore = D1 ('MetaData "GenerateCore" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GenerateCore" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GenerateCore Source #	Convert to Core, requires TypeCheck*
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GenerateCore = ModGuts

data GetKnownTargets Source #

Constructors

GetKnownTargets

Instances

Instances details

Eq GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: GetKnownTargets -> GetKnownTargets -> Bool # (/=) :: GetKnownTargets -> GetKnownTargets -> Bool #
Ord GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods compare :: GetKnownTargets -> GetKnownTargets -> Ordering # (<) :: GetKnownTargets -> GetKnownTargets -> Bool # (<=) :: GetKnownTargets -> GetKnownTargets -> Bool # (>) :: GetKnownTargets -> GetKnownTargets -> Bool # (>=) :: GetKnownTargets -> GetKnownTargets -> Bool # max :: GetKnownTargets -> GetKnownTargets -> GetKnownTargets # min :: GetKnownTargets -> GetKnownTargets -> GetKnownTargets #
Show GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> GetKnownTargets -> ShowS # show :: GetKnownTargets -> String # showList :: [GetKnownTargets] -> ShowS #
Generic GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep GetKnownTargets :: Type -> Type # Methods from :: GetKnownTargets -> Rep GetKnownTargets x # to :: Rep GetKnownTargets x -> GetKnownTargets #
Hashable GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> GetKnownTargets -> Int # hash :: GetKnownTargets -> Int #
Binary GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods put :: GetKnownTargets -> Put # get :: Get GetKnownTargets # putList :: [GetKnownTargets] -> Put #
NFData GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: GetKnownTargets -> () #
type Rep GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep GetKnownTargets = D1 ('MetaData "GetKnownTargets" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetKnownTargets" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetKnownTargets Source #
Instance details Defined in Development.IDE.Core.RuleTypes type RuleResult GetKnownTargets = KnownTargets

data LinkableType Source #

Constructors

ObjectLinkable
BCOLinkable

Instances

Instances details

Eq LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods (==) :: LinkableType -> LinkableType -> Bool # (/=) :: LinkableType -> LinkableType -> Bool #
Ord LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods compare :: LinkableType -> LinkableType -> Ordering # (<) :: LinkableType -> LinkableType -> Bool # (<=) :: LinkableType -> LinkableType -> Bool # (>) :: LinkableType -> LinkableType -> Bool # (>=) :: LinkableType -> LinkableType -> Bool # max :: LinkableType -> LinkableType -> LinkableType # min :: LinkableType -> LinkableType -> LinkableType #
Show LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods showsPrec :: Int -> LinkableType -> ShowS # show :: LinkableType -> String # showList :: [LinkableType] -> ShowS #
Generic LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Associated Types type Rep LinkableType :: Type -> Type # Methods from :: LinkableType -> Rep LinkableType x # to :: Rep LinkableType x -> LinkableType #
Hashable LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods hashWithSalt :: Int -> LinkableType -> Int # hash :: LinkableType -> Int #
NFData LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes Methods rnf :: LinkableType -> () #
type Rep LinkableType Source #
Instance details Defined in Development.IDE.Core.RuleTypes type Rep LinkableType = D1 ('MetaData "LinkableType" "Development.IDE.Core.RuleTypes" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "ObjectLinkable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCOLinkable" 'PrefixI 'False) (U1 :: Type -> Type))

pattern GetModificationTime :: GetModificationTime Source #

tmrModSummary :: TcModuleResult -> ModSummary Source #

hiFileFingerPrint :: HiFileResult -> ByteString Source #

mkHiFileResult :: ModSummary -> HomeModInfo -> HiFileResult Source #

hirModIface :: HiFileResult -> ModIface Source #

vfsVersion :: FileVersion -> Maybe Int Source #

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

declSplicesL :: Lens' Splices [(LHsExpr GhcTc, [LHsDecl GhcPs])] Source #

exprSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsExpr GhcPs)] Source #

patSplicesL :: Lens' Splices [(LHsExpr GhcTc, LPat GhcPs)] Source #

typeSplicesL :: Lens' Splices [(LHsExpr GhcTc, LHsType GhcPs)] Source #

data Logger Source #

Note that this is logging actions _of the program_, not of the user. You shouldn't call warning/error if the user has caused an error, only if our code has gone wrong and is itself erroneous (e.g. we threw an exception).

Constructors

Logger
Fields logPriority :: Priority -> Text -> IO ()

data Priority Source #

Constructors

Telemetry	Events that are useful for gathering user metrics.
Debug	Verbose debug logging.
Info	Useful information in case an error has to be understood.
Warning	These error messages should not occur in a expected usage, and should be investigated.
Error	Such log messages must never occur in expected usage.

Instances

Instances details

Bounded Priority Source #
Instance details Defined in Development.IDE.Types.Logger Methods minBound :: Priority # maxBound :: Priority #
Enum Priority Source #
Instance details Defined in Development.IDE.Types.Logger Methods succ :: Priority -> Priority # pred :: Priority -> Priority # toEnum :: Int -> Priority # fromEnum :: Priority -> Int # enumFrom :: Priority -> [Priority] # enumFromThen :: Priority -> Priority -> [Priority] # enumFromTo :: Priority -> Priority -> [Priority] # enumFromThenTo :: Priority -> Priority -> Priority -> [Priority] #
Eq Priority Source #
Instance details Defined in Development.IDE.Types.Logger Methods (==) :: Priority -> Priority -> Bool # (/=) :: Priority -> Priority -> Bool #
Ord Priority Source #
Instance details Defined in Development.IDE.Types.Logger Methods compare :: Priority -> Priority -> Ordering # (<) :: Priority -> Priority -> Bool # (<=) :: Priority -> Priority -> Bool # (>) :: Priority -> Priority -> Bool # (>=) :: Priority -> Priority -> Bool # max :: Priority -> Priority -> Priority # min :: Priority -> Priority -> Priority #
Show Priority Source #
Instance details Defined in Development.IDE.Types.Logger Methods showsPrec :: Int -> Priority -> ShowS # show :: Priority -> String # showList :: [Priority] -> ShowS #

logError :: Logger -> Text -> IO () Source #

logWarning :: Logger -> Text -> IO () Source #

logInfo :: Logger -> Text -> IO () Source #

logDebug :: Logger -> Text -> IO () Source #

logTelemetry :: Logger -> Text -> IO () Source #

noLogging :: Logger Source #

data RuleBody k v Source #

Constructors

Rule (k -> NormalizedFilePath -> Action (Maybe ByteString, IdeResult v))
RuleNoDiagnostics (k -> NormalizedFilePath -> Action (Maybe ByteString, Maybe v))

data FastResult a Source #

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

Constructors

FastResult
Fields stale :: Maybe (a, PositionMapping) uptoDate :: IO (Maybe a)

newtype IdeAction a Source #

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.

Run via runIdeAction.

Constructors

IdeAction
Fields runIdeActionT :: ReaderT ShakeExtras IO a

Instances

Instances details

Monad IdeAction Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.Shake Methods fmap :: (a -> b) -> IdeAction a -> IdeAction b # (<$) :: a -> IdeAction b -> IdeAction a #
Applicative IdeAction Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.Shake Methods liftIO :: IO a -> IdeAction a #
MonadReader ShakeExtras IdeAction Source #
Instance details Defined in Development.IDE.Core.Shake Methods ask :: IdeAction ShakeExtras # local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a # reader :: (ShakeExtras -> a) -> IdeAction a #

data IdeState Source #

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

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

data ShakeExtras Source #

Instances

Instances details

MonadReader ShakeExtras IdeAction Source #
Instance details Defined in Development.IDE.Core.Shake Methods ask :: IdeAction ShakeExtras # local :: (ShakeExtras -> ShakeExtras) -> IdeAction a -> IdeAction a # reader :: (ShakeExtras -> a) -> IdeAction a #

getPluginConfig :: MonadLsp Config m => PluginId -> m PluginConfig Source #

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

Define a new Rule without early cutoff

defineNoDiagnostics :: IdeRule k v => (k -> NormalizedFilePath -> Action (Maybe v)) -> Rules () Source #

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

Request a Rule result if available

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

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

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

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

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

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

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

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

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

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

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

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

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

Plural version of use

defineEarlyCutoff :: IdeRule k v => RuleBody k v -> Rules () Source #

Define a new Rule with early cutoff

ideLogger :: IdeState -> Logger Source #

actionLogger :: Action Logger Source #

data Plugin c Source #

Constructors

Plugin
Fields pluginRules :: Rules () pluginHandlers :: Handlers (ServerM c)

Instances

Instances details

Semigroup (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods (<>) :: Plugin c -> Plugin c -> Plugin c # sconcat :: NonEmpty (Plugin c) -> Plugin c # stimes :: Integral b => b -> Plugin c -> Plugin c #
Monoid (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods mempty :: Plugin c # mappend :: Plugin c -> Plugin c -> Plugin c # mconcat :: [Plugin c] -> Plugin c #
Default (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods def :: Plugin c #

getFilesOfInterest :: Action (HashMap NormalizedFilePath FileOfInterestStatus) Source #

Get the files that are open in the IDE.

data IdeConfiguration Source #

Lsp client relevant configuration details

Constructors

IdeConfiguration
Fields workspaceFolders :: HashSet NormalizedUri clientSettings :: Hashed (Maybe Value)

Instances

Instances details

Show IdeConfiguration Source #
Instance details Defined in Development.IDE.Core.IdeConfiguration Methods showsPrec :: Int -> IdeConfiguration -> ShowS # show :: IdeConfiguration -> String # showList :: [IdeConfiguration] -> ShowS #

isWorkspaceFile :: NormalizedFilePath -> Action Bool Source #

getFileContents :: NormalizedFilePath -> Action (UTCTime, Maybe Text) Source #

Returns the modification time and the contents. For VFS paths, the modification time is the current time.

getFileExists :: NormalizedFilePath -> Action Bool Source #

Returns True if the file exists Note that a file is not considered to exist unless it is saved to disk. In particular, VFS existence is not enough. Consider the following example: 1. The file A.hs containing the line import B is added to the files of interest Since B.hs is neither open nor exists, GetLocatedImports finds Nothing 2. The editor creates a new buffer B.hs Unless the editor also sends a DidChangeWatchedFile event, ghcide will not pick it up Most editors, e.g. VSCode, only send the event when the file is saved to disk.

runAction :: String -> IdeState -> Action a -> IO a Source #

data IsHiFileStable Source #

Given the path to a module src file, this rule returns True if the corresponding `.hi` file is stable, that is, if it is newer than the src file, and all its dependencies are stable too.

Constructors

IsHiFileStable

Instances

Instances details

Eq IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Methods (==) :: IsHiFileStable -> IsHiFileStable -> Bool # (/=) :: IsHiFileStable -> IsHiFileStable -> Bool #
Show IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Methods showsPrec :: Int -> IsHiFileStable -> ShowS # show :: IsHiFileStable -> String # showList :: [IsHiFileStable] -> ShowS #
Generic IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Associated Types type Rep IsHiFileStable :: Type -> Type # Methods from :: IsHiFileStable -> Rep IsHiFileStable x # to :: Rep IsHiFileStable x -> IsHiFileStable #
Hashable IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Methods hashWithSalt :: Int -> IsHiFileStable -> Int # hash :: IsHiFileStable -> Int #
Binary IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Methods put :: IsHiFileStable -> Put # get :: Get IsHiFileStable # putList :: [IsHiFileStable] -> Put #
NFData IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules Methods rnf :: IsHiFileStable -> () #
type Rep IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules type Rep IsHiFileStable = D1 ('MetaData "IsHiFileStable" "Development.IDE.Core.Rules" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "IsHiFileStable" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult IsHiFileStable Source #
Instance details Defined in Development.IDE.Core.Rules type RuleResult IsHiFileStable = SourceModified

getParsedModule :: NormalizedFilePath -> Action (Maybe ParsedModule) Source #

Parse the contents of a haskell file.

getClientConfigAction Source #

Arguments

:: Config	default value
-> Action Config

Returns the client configurarion stored in the IdeState. You can use this function to access it from shake Rules

getAtPoint :: NormalizedFilePath -> Position -> IdeAction (Maybe (Maybe Range, [Text])) Source #

Try to get hover text for the name under point.

useE :: IdeRule k v => k -> NormalizedFilePath -> MaybeT IdeAction (v, PositionMapping) Source #

useE is useful to implement functions that aren’t rules but need shortcircuiting e.g. getDefinition.

useNoFileE :: IdeRule k v => IdeState -> k -> MaybeT IdeAction v Source #

usesE :: IdeRule k v => k -> [NormalizedFilePath] -> MaybeT IdeAction [(v, PositionMapping)] Source #

getDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location]) Source #

Goto Definition.

getTypeDefinition :: NormalizedFilePath -> Position -> IdeAction (Maybe [Location]) Source #