Rasa.Ext

Editor Actions

data Action a

doAsync

exit

Managing Buffers

newBuffer

nextBufRef

prevBufRef

getBufRefs

getBuffers

getBuffer

Working with Buffers

data BufAction a

liftAction

bufDo

bufDo_

buffersDo

buffersDo_

Working with Text

overRange

replaceRange

deleteRange

insertAt

sizeOf

Working with Extensions

ext

bufExt

Accessing/Editing Context

data Buffer

class HasBuffer a

data BufRef

class HasEditor a

text

Events

data Keypress

data Mod

Dealing with events

type Hooks

data Hook

data HookId

dispatchEvent

eventListener

removeListener

eventProvider

Built-in Event Hooks

beforeEvent

beforeRender

onRender

afterRender

onInit

onExit

onBufAdded

Ranges

data Range

data Coord

data Offset

data Span a

combineSpans

asCoord

clampCoord

clampRange

range

sizeOfR

afterC

beforeC

moveRange

moveRangeByN

moveCursorByN

Useful Utilities

asText

asString

asLines

clamp