Data.Text.Region.Types

data Point

pointLine

pointColumn

type Size

(.-.)

(.+.)

data Region

regionFrom

regionTo

data Map

type Contents a

emptyContents

concatCts

splitCts

splitted

class Editable a

contents

by

measure

data Replace s

replaceRegion

replaceWith

data Chain e s

chain

type Edit s

data ActionIso e

action

actionBack

data ActionStack e

undoStack

redoStack

emptyStack

data EditState s r

editState

history

edited

regions

data EditM s r a