| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Development.IDE.Spans.Pragmas
Documentation
data NextPragmaInfo #
Constructors
| NextPragmaInfo | |
Fields | |
Instances
| Show NextPragmaInfo # | |
Defined in Development.IDE.Spans.Pragmas Methods showsPrec :: Int -> NextPragmaInfo -> ShowS # show :: NextPragmaInfo -> String # showList :: [NextPragmaInfo] -> ShowS # | |
data LineSplitTextEdits #
Constructors
| LineSplitTextEdits | |
Fields
| |
Instances
| Show LineSplitTextEdits # | |
Defined in Development.IDE.Spans.Pragmas Methods showsPrec :: Int -> LineSplitTextEdits -> ShowS # show :: LineSplitTextEdits -> String # showList :: [LineSplitTextEdits] -> ShowS # | |
getNextPragmaInfo :: DynFlags -> Maybe Text -> NextPragmaInfo #
insertNewPragma :: NextPragmaInfo -> Extension -> TextEdit #
getFirstPragma :: forall (m :: Type -> Type). MonadIO m => PluginId -> IdeState -> NormalizedFilePath -> ExceptT PluginError m NextPragmaInfo #