Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class TextEditor editor where
- data EditorBuffer editor
- data EditorView editor
- data EditorMark editor
- data EditorIter editor
- data EditorTagTable editor
- data EditorTag editor
- newBuffer :: Maybe FilePath -> Text -> IDEM (EditorBuffer editor)
- applyTagByName :: EditorBuffer editor -> Text -> EditorIter editor -> EditorIter editor -> IDEM ()
- beginNotUndoableAction :: EditorBuffer editor -> IDEM ()
- beginUserAction :: EditorBuffer editor -> IDEM ()
- canRedo :: EditorBuffer editor -> IDEM Bool
- canUndo :: EditorBuffer editor -> IDEM Bool
- copyClipboard :: EditorBuffer editor -> Clipboard -> IDEM ()
- createMark :: EditorView editor -> LogRefType -> EditorIter editor -> Text -> IDEM ()
- cutClipboard :: EditorBuffer editor -> Clipboard -> Bool -> IDEM ()
- delete :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM ()
- deleteSelection :: EditorBuffer editor -> IDEM ()
- endNotUndoableAction :: EditorBuffer editor -> IDEM ()
- endUserAction :: EditorBuffer editor -> IDEM ()
- getEndIter :: EditorBuffer editor -> IDEM (EditorIter editor)
- getInsertMark :: EditorBuffer editor -> IDEM (EditorMark editor)
- getIterAtLine :: EditorBuffer editor -> Int -> IDEM (EditorIter editor)
- getIterAtMark :: EditorBuffer editor -> EditorMark editor -> IDEM (EditorIter editor)
- getIterAtOffset :: EditorBuffer editor -> Int -> IDEM (EditorIter editor)
- getLineCount :: EditorBuffer editor -> IDEM Int
- getModified :: EditorBuffer editor -> IDEM Bool
- getSelectionBoundMark :: EditorBuffer editor -> IDEM (EditorMark editor)
- getSelectionBounds :: EditorBuffer editor -> IDEM (EditorIter editor, EditorIter editor)
- getInsertIter :: EditorBuffer editor -> IDEM (EditorIter editor)
- getSlice :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text
- getStartIter :: EditorBuffer editor -> IDEM (EditorIter editor)
- getTagTable :: EditorBuffer editor -> IDEM (EditorTagTable editor)
- getText :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text
- hasSelection :: EditorBuffer editor -> IDEM Bool
- insert :: EditorBuffer editor -> EditorIter editor -> Text -> IDEM ()
- newView :: EditorBuffer editor -> Maybe Text -> IDEM (EditorView editor)
- pasteClipboard :: EditorBuffer editor -> Clipboard -> EditorIter editor -> Bool -> IDEM ()
- placeCursor :: EditorBuffer editor -> EditorIter editor -> IDEM ()
- redo :: EditorBuffer editor -> IDEM ()
- removeTagByName :: EditorBuffer editor -> Text -> IDEM ()
- selectRange :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM ()
- setModified :: EditorBuffer editor -> Bool -> IDEM ()
- setStyle :: EditorBuffer editor -> EditorStyle -> IDEM ()
- setText :: EditorBuffer editor -> Text -> IDEM ()
- undo :: EditorBuffer editor -> IDEM ()
- afterModifiedChanged :: EditorBuffer editor -> IDEM () -> IDEM [Connection]
- bufferToWindowCoords :: EditorView editor -> (Int, Int) -> IDEM (Int, Int)
- drawTabs :: EditorView editor -> IDEM ()
- getBuffer :: EditorView editor -> IDEM (EditorBuffer editor)
- getWindow :: EditorView editor -> IDEM (Maybe DrawWindow)
- getIterAtLocation :: EditorView editor -> Int -> Int -> IDEM (EditorIter editor)
- getIterLocation :: EditorView editor -> EditorIter editor -> IDEM Rectangle
- getOverwrite :: EditorView editor -> IDEM Bool
- getScrolledWindow :: EditorView editor -> IDEM ScrolledWindow
- getEditorWidget :: EditorView editor -> IDEM Widget
- grabFocus :: EditorView editor -> IDEM ()
- scrollToMark :: EditorView editor -> EditorMark editor -> Double -> Maybe (Double, Double) -> IDEM ()
- scrollToIter :: EditorView editor -> EditorIter editor -> Double -> Maybe (Double, Double) -> IDEM ()
- setFont :: EditorView editor -> Maybe Text -> IDEM ()
- setIndentWidth :: EditorView editor -> Int -> IDEM ()
- setWrapMode :: EditorView editor -> Bool -> IDEM ()
- setRightMargin :: EditorView editor -> Maybe Int -> IDEM ()
- setShowLineNumbers :: EditorView editor -> Bool -> IDEM ()
- setTabWidth :: EditorView editor -> Int -> IDEM ()
- afterFocusIn :: EditorView editor -> IDEM () -> IDEM [Connection]
- afterMoveCursor :: EditorView editor -> IDEM () -> IDEM [Connection]
- afterToggleOverwrite :: EditorView editor -> IDEM () -> IDEM [Connection]
- onButtonPress :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection]
- onButtonRelease :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection]
- onCompletion :: EditorView editor -> IDEM () -> IDEM () -> IDEM [Connection]
- onKeyPress :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection]
- onMotionNotify :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection]
- onLeaveNotify :: EditorView editor -> IDEEventM ECrossing Bool -> IDEM [Connection]
- onKeyRelease :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection]
- onLookupInfo :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection]
- onMotionNotifyEvent :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection]
- onPopulatePopup :: EditorView editor -> (Menu -> IDEM ()) -> IDEM [Connection]
- onSelectionChanged :: EditorBuffer editor -> IDEM () -> IDEM [Connection]
- backwardCharC :: EditorIter editor -> IDEM (EditorIter editor)
- backwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor))
- backwardWordStartC :: EditorIter editor -> IDEM (Maybe (EditorIter editor))
- backwardToLineStartC :: EditorIter editor -> IDEM (EditorIter editor)
- endsWord :: EditorIter editor -> IDEM Bool
- forwardCharC :: EditorIter editor -> IDEM (EditorIter editor)
- forwardCharsC :: EditorIter editor -> Int -> IDEM (EditorIter editor)
- forwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor))
- forwardSearch :: EditorIter editor -> Text -> [TextSearchFlags] -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor, EditorIter editor))
- forwardToLineEndC :: EditorIter editor -> IDEM (EditorIter editor)
- forwardWordEndC :: EditorIter editor -> IDEM (Maybe (EditorIter editor))
- getChar :: EditorIter editor -> IDEM (Maybe Char)
- getCharsInLine :: EditorIter editor -> IDEM Int
- getLine :: EditorIter editor -> IDEM Int
- getLineOffset :: EditorIter editor -> IDEM Int
- getOffset :: EditorIter editor -> IDEM Int
- isStart :: EditorIter editor -> IDEM Bool
- isEnd :: EditorIter editor -> IDEM Bool
- iterEqual :: EditorIter editor -> EditorIter editor -> IDEM Bool
- startsLine :: EditorIter editor -> IDEM Bool
- startsWord :: EditorIter editor -> IDEM Bool
- atEnd :: EditorIter editor -> IDEM (EditorIter editor)
- atLine :: EditorIter editor -> Int -> IDEM (EditorIter editor)
- atLineOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor)
- atOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor)
- atStart :: EditorIter editor -> IDEM (EditorIter editor)
- newTag :: EditorTagTable editor -> Text -> IDEM (EditorTag editor)
- lookupTag :: EditorTagTable editor -> Text -> IDEM (Maybe (EditorTag editor))
- background :: EditorTag editor -> Color -> IDEM ()
- underline :: EditorTag editor -> Underline -> IDEM ()
- data EditorStyle = EditorStyle {}
- updateStyle :: TextEditor editor => EditorBuffer editor -> IDEAction
- scrollToCursor :: TextEditor editor => EditorView editor -> IDEAction
Documentation
class TextEditor editor where Source
data EditorBuffer editor Source
data EditorView editor Source
data EditorMark editor Source
data EditorIter editor Source
data EditorTagTable editor Source
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 :: EditorView editor -> LogRefType -> EditorIter editor -> Text -> IDEM () 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 :: EditorBuffer editor -> EditorStyle -> 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
:: EditorView editor | The editor view |
-> EditorIter editor | The iter |
-> Double | Margin |
-> Maybe (Double, Double) | Alignment of the iter, @Just (0,0) is left-top, Just (1.0, 1.0) is right-bottom |
-> IDEM () |
Scrolls the editor to the given EditorIter
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
onSelectionChanged :: EditorBuffer editor -> 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
data EditorStyle Source
updateStyle :: TextEditor editor => EditorBuffer editor -> IDEAction Source
scrollToCursor :: TextEditor editor => EditorView editor -> IDEAction Source
Scrolls the editor to the cursor if necessary