Update.Span

data SpanUpdate

data SourcePos

data SourceSpan

updateSpan

updateSpans

linearizeSourcePos

prettyPrintSourcePos