Rasa.Ext

Editor Actions

getBuffer

Managing Buffers

addBuffer

nextBufRef

prevBufRef

getBufRefs

Working with Buffers

data Buffer

class HasBuffer a

data BufRef

text

getText

getRange

getBufRef

Actions over Buffers

type BufAction a

bufDo

bufDo_

buffersDo

buffersDo_

Working with Text

overRange

replaceRange

deleteRange

insertAt

sizeOf

getLineRange

getBufExt

setBufExt

overBufExt

Events

dispatchBufEvent

addBufListener

addBufListener_

removeBufListener

Built-in Events

data Keypress

data Mod

dispatchKeypress

data BufAdded

data BufTextChanged

Built-in Event Listeners

beforeEveryRender

beforeEveryRender_

onEveryRender

onEveryRender_

afterEveryRender

afterEveryRender_

onBufAdded

onBufAdded_

onEveryNewBuffer

onEveryNewBuffer_

onBufTextChanged

onKeypress

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