Development.IDE.Spans.Pragmas

Documentation

data NextPragmaInfo

Constructors

NextPragmaInfo

Fields

• nextPragmaLine :: !Int
• lineSplitTextEdits :: !(Maybe LineSplitTextEdits)

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

• lineSplitInsertTextEdit :: !TextEdit
• lineSplitDeleteTextEdit :: !TextEdit

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 :: MonadIO m => PluginId -> IdeState -> NormalizedFilePath -> ExceptT PluginError m NextPragmaInfo