leksah-0.15.0.2: Haskell IDE written in Haskell

Safe HaskellNone
LanguageHaskell98

IDE.TextEditor.CodeMirror

Description

 

Documentation

class TextEditor editor where Source

Associated Types

data EditorBuffer editor Source

data EditorView editor Source

data EditorMark editor Source

data EditorIter editor Source

data EditorTagTable editor Source

data EditorTag editor Source

Methods

newBuffer :: Maybe FilePath -> Text -> IDEM (EditorBuffer editor) Source

applyTagByName :: EditorBuffer editor -> Text -> EditorIter editor -> EditorIter editor -> IDEM () Source

beginNotUndoableAction :: EditorBuffer editor -> IDEM () Source

beginUserAction :: EditorBuffer editor -> IDEM () Source

canRedo :: EditorBuffer editor -> IDEM Bool Source

canUndo :: EditorBuffer editor -> IDEM Bool Source

copyClipboard :: EditorBuffer editor -> Clipboard -> IDEM () Source

createMark :: EditorBuffer editor -> EditorIter editor -> Bool -> IDEM (EditorMark editor) Source

cutClipboard :: EditorBuffer editor -> Clipboard -> Bool -> IDEM () Source

delete :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM () Source

deleteSelection :: EditorBuffer editor -> IDEM () Source

endNotUndoableAction :: EditorBuffer editor -> IDEM () Source

endUserAction :: EditorBuffer editor -> IDEM () Source

getEndIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source

getInsertMark :: EditorBuffer editor -> IDEM (EditorMark editor) Source

getIterAtLine :: EditorBuffer editor -> Int -> IDEM (EditorIter editor) Source

getIterAtMark :: EditorBuffer editor -> EditorMark editor -> IDEM (EditorIter editor) Source

getIterAtOffset :: EditorBuffer editor -> Int -> IDEM (EditorIter editor) Source

getLineCount :: EditorBuffer editor -> IDEM Int Source

getModified :: EditorBuffer editor -> IDEM Bool Source

getSelectionBoundMark :: EditorBuffer editor -> IDEM (EditorMark editor) Source

getSelectionBounds :: EditorBuffer editor -> IDEM (EditorIter editor, EditorIter editor) Source

getInsertIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source

getSlice :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text Source

getStartIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source

getTagTable :: EditorBuffer editor -> IDEM (EditorTagTable editor) Source

getText :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text Source

hasSelection :: EditorBuffer editor -> IDEM Bool Source

insert :: EditorBuffer editor -> EditorIter editor -> Text -> IDEM () Source

newView :: EditorBuffer editor -> Maybe Text -> IDEM (EditorView editor) Source

pasteClipboard :: EditorBuffer editor -> Clipboard -> EditorIter editor -> Bool -> IDEM () Source

placeCursor :: EditorBuffer editor -> EditorIter editor -> IDEM () Source

redo :: EditorBuffer editor -> IDEM () Source

removeTagByName :: EditorBuffer editor -> Text -> IDEM () Source

selectRange :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM () Source

setModified :: EditorBuffer editor -> Bool -> IDEM () Source

setStyle :: Bool -> EditorBuffer editor -> Maybe Text -> IDEM () Source

setText :: EditorBuffer editor -> Text -> IDEM () Source

undo :: EditorBuffer editor -> IDEM () Source

afterModifiedChanged :: EditorBuffer editor -> IDEM () -> IDEM [Connection] Source

bufferToWindowCoords :: EditorView editor -> (Int, Int) -> IDEM (Int, Int) Source

drawTabs :: EditorView editor -> IDEM () Source

getBuffer :: EditorView editor -> IDEM (EditorBuffer editor) Source

getWindow :: EditorView editor -> IDEM (Maybe DrawWindow) Source

getIterAtLocation :: EditorView editor -> Int -> Int -> IDEM (EditorIter editor) Source

getIterLocation :: EditorView editor -> EditorIter editor -> IDEM Rectangle Source

getOverwrite :: EditorView editor -> IDEM Bool Source

getScrolledWindow :: EditorView editor -> IDEM ScrolledWindow Source

getEditorWidget :: EditorView editor -> IDEM Widget Source

grabFocus :: EditorView editor -> IDEM () Source

scrollToMark :: EditorView editor -> EditorMark editor -> Double -> Maybe (Double, Double) -> IDEM () Source

scrollToIter :: EditorView editor -> EditorIter editor -> Double -> Maybe (Double, Double) -> IDEM () Source

setFont :: EditorView editor -> Maybe Text -> IDEM () Source

setIndentWidth :: EditorView editor -> Int -> IDEM () Source

setWrapMode :: EditorView editor -> Bool -> IDEM () Source

setRightMargin :: EditorView editor -> Maybe Int -> IDEM () Source

setShowLineNumbers :: EditorView editor -> Bool -> IDEM () Source

setTabWidth :: EditorView editor -> Int -> IDEM () Source

afterFocusIn :: EditorView editor -> IDEM () -> IDEM [Connection] Source

afterMoveCursor :: EditorView editor -> IDEM () -> IDEM [Connection] Source

afterToggleOverwrite :: EditorView editor -> IDEM () -> IDEM [Connection] Source

onButtonPress :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source

onButtonRelease :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source

onCompletion :: EditorView editor -> IDEM () -> IDEM () -> IDEM [Connection] Source

onKeyPress :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection] Source

onMotionNotify :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection] Source

onLeaveNotify :: EditorView editor -> IDEEventM ECrossing Bool -> IDEM [Connection] Source

onKeyRelease :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection] Source

onLookupInfo :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source

onMotionNotifyEvent :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection] Source

onPopulatePopup :: EditorView editor -> (Menu -> IDEM ()) -> IDEM [Connection] Source

backwardCharC :: EditorIter editor -> IDEM (EditorIter editor) Source

backwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor)) Source

backwardWordStartC :: EditorIter editor -> IDEM (Maybe (EditorIter editor)) Source

backwardToLineStartC :: EditorIter editor -> IDEM (EditorIter editor) Source

endsWord :: EditorIter editor -> IDEM Bool Source

forwardCharC :: EditorIter editor -> IDEM (EditorIter editor) Source

forwardCharsC :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source

forwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor)) Source

forwardSearch :: EditorIter editor -> Text -> [TextSearchFlags] -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor, EditorIter editor)) Source

forwardToLineEndC :: EditorIter editor -> IDEM (EditorIter editor) Source

forwardWordEndC :: EditorIter editor -> IDEM (Maybe (EditorIter editor)) Source

getChar :: EditorIter editor -> IDEM (Maybe Char) Source

getCharsInLine :: EditorIter editor -> IDEM Int Source

getLine :: EditorIter editor -> IDEM Int Source

getLineOffset :: EditorIter editor -> IDEM Int Source

getOffset :: EditorIter editor -> IDEM Int Source

isStart :: EditorIter editor -> IDEM Bool Source

isEnd :: EditorIter editor -> IDEM Bool Source

iterEqual :: EditorIter editor -> EditorIter editor -> IDEM Bool Source

startsLine :: EditorIter editor -> IDEM Bool Source

startsWord :: EditorIter editor -> IDEM Bool Source

atEnd :: EditorIter editor -> IDEM (EditorIter editor) Source

atLine :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source

atLineOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source

atOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source

atStart :: EditorIter editor -> IDEM (EditorIter editor) Source

newTag :: EditorTagTable editor -> Text -> IDEM (EditorTag editor) Source

lookupTag :: EditorTagTable editor -> Text -> IDEM (Maybe (EditorTag editor)) Source

background :: EditorTag editor -> Color -> IDEM () Source

underline :: EditorTag editor -> Underline -> IDEM () Source