Update.Span

This module deals with updating spans of characters in values of type Text.

It defines some helper types and functions to apply these "updates".

Documentation

data SpanUpdate

A span and some text to replace it with. They don't have to be the same length.

Constructors

SpanUpdate

Fields

• spanUpdateSpan :: SourceSpan
• spanUpdateContents :: Text

Instances

Data SpanUpdate

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpanUpdate -> c SpanUpdate

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpanUpdate

toConstr :: SpanUpdate -> Constr

dataTypeOf :: SpanUpdate -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SpanUpdate)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpanUpdate)

gmapT :: (forall b. Data b => b -> b) -> SpanUpdate -> SpanUpdate

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpanUpdate -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpanUpdate -> r

gmapQ :: (forall d. Data d => d -> u) -> SpanUpdate -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SpanUpdate -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate

Show SpanUpdate

Methods

showsPrec :: Int -> SpanUpdate -> ShowS

show :: SpanUpdate -> String

showList :: [SpanUpdate] -> ShowS

data SourcePos

A position in a text file

Constructors

SourcePos

Fields

• sourcePosRow :: Int64
• sourcePosColumn :: Int64

Instances

Eq SourcePos

Methods

(==) :: SourcePos -> SourcePos -> Bool

(/=) :: SourcePos -> SourcePos -> Bool

Data SourcePos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos

toConstr :: SourcePos -> Constr

dataTypeOf :: SourcePos -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos)

gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r

gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

Ord SourcePos

Methods

compare :: SourcePos -> SourcePos -> Ordering

(<) :: SourcePos -> SourcePos -> Bool

(<=) :: SourcePos -> SourcePos -> Bool

(>) :: SourcePos -> SourcePos -> Bool

(>=) :: SourcePos -> SourcePos -> Bool

max :: SourcePos -> SourcePos -> SourcePos

min :: SourcePos -> SourcePos -> SourcePos

Show SourcePos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

data SourceSpan

A span of characters with a beginning and an end.

spanEnd must be greater than spanBegin

Constructors

SourceSpan

Fields

• sourceSpanBegin :: SourcePos
• sourceSpanEnd :: SourcePos

Instances

Data SourceSpan

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceSpan -> c SourceSpan

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceSpan

toConstr :: SourceSpan -> Constr

dataTypeOf :: SourceSpan -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SourceSpan)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceSpan)

gmapT :: (forall b. Data b => b -> b) -> SourceSpan -> SourceSpan

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceSpan -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceSpan -> r

gmapQ :: (forall d. Data d => d -> u) -> SourceSpan -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceSpan -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan

Show SourceSpan

Methods

showsPrec :: Int -> SourceSpan -> ShowS

show :: SourceSpan -> String

showList :: [SourceSpan] -> ShowS

updateSpan :: SpanUpdate -> Text -> Text

Update a single span of characters inside a text value. If you're updating multiples spans it's best to use updateSpans.

updateSpans :: [SpanUpdate] -> Text -> Text

Update many spans in a file. They must be non-overlapping.

linearizeSourcePos

Arguments

:: Text

The string to linearize in

-> Int64

The line offset

-> Int64

The column offset

-> Int64

The character offset

Go from a line and column representation to a single character offset from the beginning of the text.

This probably fails on crazy texts with multi character line breaks.

prettyPrintSourcePos :: SourcePos -> String