Module Curry.Span
- Transformer,
- Distance management
Imported modules:
- Prelude
- Curry.Position

Module Curry.Span

Datatype and operations to handle Spans.

Author

Kai-Oliver Prott

Version

October 2024

Exported Datatypes:

Span

Exported Functions:

addSpan combineSpans end fromPosition isAfter isBefore isBeforeList isNoSpan isSpan span2Pos spanLength start stripStart vertDist

data Span

Constructors:

Span :: Position -> Position -> Span
NoSpan :: Span

Known instances:

start :: Span -> Position

Further infos:

partially defined

end :: Span -> Position

Further infos:

partially defined

Transformer,

isSpan :: Span -> Bool

Further infos:

solution complete, i.e., able to compute all solutions

isNoSpan :: Span -> Bool

Further infos:

solution complete, i.e., able to compute all solutions

fromPosition :: Position -> Span

Create a Span with the given Position as start and end

Further infos:

solution complete, i.e., able to compute all solutions

stripStart :: Span -> Span

Sets the start position of a Span to its end position

span2Pos :: Span -> Position

Further infos:

solution complete, i.e., able to compute all solutions

combineSpans :: Span -> Span -> Span

addSpan :: Span -> (a, [Span]) -> (a, [Span])

Further infos:

solution complete, i.e., able to compute all solutions

Distance management

vertDist :: Span -> Span -> Int

Computes a "vertical distance" between two spans. It is either the row distance of the start end end positions or zero, if the spans overlap.

isAfter :: Span -> Span -> Bool

Checks if the first span is completely after the second span.

isBefore :: Span -> Span -> Bool

Checks if the first span is completely before the second span.

isBeforeList :: Span -> [Span] -> Bool

Checks if the first span is completely before the first span of a list. Reurns True if the list is empty

spanLength :: Span -> (Int, Int)