| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
IDE.Pane.SourceBuffer
Description
The source editor part of Leksah
- data IDEBuffer = forall editor . TextEditor editor => IDEBuffer {
- fileName :: Maybe FilePath
- bufferName :: Text
- addedIndex :: Int
- sourceView :: EditorView editor
- scrolledWindow :: ScrolledWindow
- modTime :: IORef (Maybe UTCTime)
- mode :: Mode
- data BufferState
- allBuffers :: MonadIDE m => m [IDEBuffer]
- maybeActiveBuf :: IDEM (Maybe IDEBuffer)
- selectSourceBuf :: FilePath -> IDEM (Maybe IDEBuffer)
- goToSourceDefinition :: FilePath -> Location -> IDEM (Maybe IDEBuffer)
- goToSourceDefinition' :: FilePath -> Location -> IDEM (Maybe IDEBuffer)
- goToDefinition :: Descr -> IDEAction
- insertInBuffer :: Descr -> IDEAction
- replaceHLintSource :: FilePath -> Int -> Int -> Int -> Int -> Text -> IDEAction
- fileNew :: IDEAction
- fileOpenThis :: FilePath -> IDEAction
- fileOpen :: IDEAction
- filePrint :: IDEAction
- fileRevert :: IDEAction
- fileClose :: IDEM Bool
- fileCloseAll :: (IDEBuffer -> IDEM Bool) -> IDEM Bool
- fileCloseAllButPackage :: IDEAction
- fileCloseAllButWorkspace :: IDEAction
- fileSave :: Bool -> IDEM Bool
- fileSaveAll :: MonadIDE m => (IDEBuffer -> m Bool) -> m Bool
- fileSaveBuffer :: MonadIDE m => TextEditor editor => Bool -> Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> m Bool
- fileCheckAll :: MonadIDE m => (IDEBuffer -> m [alpha]) -> m [alpha]
- editUndo :: IDEAction
- editRedo :: IDEAction
- editCut :: IDEAction
- editCopy :: IDEAction
- editPaste :: IDEAction
- editDelete :: IDEAction
- editSelectAll :: IDEAction
- editComment :: IDEAction
- editUncomment :: IDEAction
- editShiftRight :: IDEAction
- editShiftLeft :: IDEAction
- editToCandy :: IDEAction
- editFromCandy :: IDEAction
- editKeystrokeCandy :: Maybe Char -> IDEAction
- editCandy :: ReaderT IDERef IO ()
- markRefInSourceBuf :: Int -> IDEBuffer -> LogRef -> Bool -> IDEAction
- inBufContext :: MonadIDE m => alpha -> IDEBuffer -> (forall editor. TextEditor editor => Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> m alpha) -> m alpha
- inActiveBufContext :: alpha -> (forall editor. TextEditor editor => Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alpha
- align :: Char -> IDEAction
- startComplete :: IDEAction
- selectedText :: IDEM (Maybe Text)
- selectedTextOrCurrentLine :: IDEM (Maybe Text)
- insertTextAfterSelection :: Text -> IDEAction
- selectedModuleName :: IDEM (Maybe Text)
- selectedLocation :: IDEM (Maybe (Int, Int))
- recentSourceBuffers :: IDEM [PaneName]
- newTextBuffer :: PanePath -> Text -> Maybe FilePath -> IDEM (Maybe IDEBuffer)
- belongsToPackages :: MonadIDE m => IDEBuffer -> m [IDEPackage]
- belongsToWorkspace :: MonadIDE m => IDEBuffer -> m Bool
- getIdentifierUnderCursorFromIter :: TextEditor editor => (EditorIter editor, EditorIter editor) -> IDEM (EditorIter editor, EditorIter editor)
Documentation
A text editor pane description
Constructors
| forall editor . TextEditor editor => IDEBuffer | |
Fields
| |
Instances
data BufferState Source
Constructors
| BufferState FilePath Int | |
| BufferStateTrans Text Text Int |
allBuffers :: MonadIDE m => m [IDEBuffer] Source
goToDefinition :: Descr -> IDEAction Source
insertInBuffer :: Descr -> IDEAction Source
fileOpenThis :: FilePath -> IDEAction Source
fileSaveBuffer :: MonadIDE m => TextEditor editor => Bool -> Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> m Bool Source
fileCheckAll :: MonadIDE m => (IDEBuffer -> m [alpha]) -> m [alpha] Source
inBufContext :: MonadIDE m => alpha -> IDEBuffer -> (forall editor. TextEditor editor => Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> m alpha) -> m alpha Source
inActiveBufContext :: alpha -> (forall editor. TextEditor editor => Notebook -> EditorView editor -> EditorBuffer editor -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alpha Source
selectedText :: IDEM (Maybe Text) Source
newTextBuffer :: PanePath -> Text -> Maybe FilePath -> IDEM (Maybe IDEBuffer) Source
Tries to create a new text buffer, fails when the given filepath does not exist or when it is not a text file.
belongsToPackages :: MonadIDE m => IDEBuffer -> m [IDEPackage] Source
Returns the package, to which this buffer belongs, if possible
belongsToWorkspace :: MonadIDE m => IDEBuffer -> m Bool Source
getIdentifierUnderCursorFromIter :: TextEditor editor => (EditorIter editor, EditorIter editor) -> IDEM (EditorIter editor, EditorIter editor) Source