Data.Mark

data Point

(.-.)

(.+.)

type Size

linesSize

stringSize

data Region

regionLines

emptyRegion

line

region

regionSize

at

Mappings

data Map

apply

back

cut

insert

cutRegion

insertRegion

Edited data

type Contents a

data Edit a

data EditM s a

editRegion

mapRegion

runEdit

edit

editEval

data Prefix a

prefix

data Suffix a

suffix

concatCts

splitCts

Editable class

class Editable a

measure

Actions

erase

write

replace

data Replace s

eraser

writer

replacer

run