Rasa.Ext

Editor Actions

data Action a

getBuffer

getEditor

exit

Managing Buffers

addBuffer

nextBufRef

prevBufRef

getBufRefs

Working with Buffers

data Buffer

class HasBuffer a

data BufRef

text

class HasEditor a

getText

getRange

getBufRef

Actions over Buffers

data BufAction a

liftAction

bufDo

bufDo_

buffersDo

buffersDo_

Working with Text

overRange

replaceRange

deleteRange

insertAt

sizeOf

getLineRange

Working with Extensions

class HasExts s

ext

getExt

setExt

overExt

getBufExt

setBufExt

overBufExt

Events

dispatchEvent

addListener

addListener_

removeListener

dispatchBufEvent

addBufListener

addBufListener_

removeBufListener

data ListenerId

Built-in Events

data Keypress

data Mod

dispatchKeypress

data BufAdded

data BufTextChanged

Built-in Event Listeners

onInit

afterInit

beforeEveryEvent

beforeEveryEvent_

beforeEveryRender

beforeEveryRender_

onEveryRender

onEveryRender_

afterEveryRender

afterEveryRender_

onExit

onBufAdded

onBufAdded_

onEveryNewBuffer

onEveryNewBuffer_

onBufTextChanged

onKeypress

Working with Async Events/Actions

dispatchActionAsync

dispatchEventAsync

asyncActionProvider

asyncEventProvider

type Dispatcher

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

Styles

fg

bg

flair

data Color

data Flair

data Style

type Styles

addStyleProvider

getStyles

styleText

Useful Utilities

asText

asString

asLines

clamp

cropToViewport

Common Types/Interfaces

type Width

type Height

type ScrollPos

data RenderInfo

class Renderable r