Data.Text.Region

pt

start

lineStart

regionLength

till

linesSize

regionLines

emptyRegion

line

regionSize

expandLines

atRegion

class ApplyMap a

updateMap

cutMap

insertMap

cutRegion

insertRegion

class EditAction e s

cut

paste

overwrite

inverse

applyEdit

apply

edit

edit_

push

run_

run

runGroup

undo

redo