Rasa.Ext

Editor Actions

data Action a

exit

Managing Buffers

newBuffer

nextBufRef

prevBufRef

getBufRefs

getBuffers

getBuffer

Working with Buffers

data Buffer

class HasBuffer a

data BufRef

text

class HasEditor a

getText

getRange

Actions over Buffers

data BufAction a

liftAction

bufDo

bufDo_

buffersDo

buffersDo_

Working with Text

overRange

replaceRange

deleteRange

insertAt

sizeOf

Working with Extensions

class HasExts s

ext

class HasBufExts s

bufExt

Events

data Keypress

data Mod

Dealing with events

data ListenerId

dispatchEvent

onEveryTrigger

onEveryTrigger_

onNextEvent

removeListener

Built-in Event Listeners

onInit

beforeEveryEvent

beforeEveryEvent_

beforeNextEvent

beforeEveryRender

beforeEveryRender_

beforeNextRender

onEveryRender

onEveryRender_

onNextRender

afterEveryRender

afterEveryRender_

afterNextRender

onExit

onBufAdded

onBufTextChanged

Working with Async Events/Actions

type Dispatcher

dispatchActionAsync

dispatchEventAsync

asyncEventProvider

asyncActionProvider

Ranges

data Range a b

type CrdRange

type Coord

data Coord' a b

data Offset

data Span a b

overRow

overCol

coordRow

coordCol

overBoth

combineSpans

asCoord

clampCoord

clampRange

rStart

rEnd

sizeOfR

afterC

beforeC

moveRange

moveRangeByN

moveCursorByN

Useful Utilities

asText

asString

asLines

clamp