RegExDot.DataSpan

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Augments a Span, with the specific data concerned.

Types

Type-synonyms

type DataSpan a = ([a], Span)

• Augment Span with a copy of the data to which it refers.
• Similar to https://hackage.haskell.org/packages/archive/regex-base/latest/doc/html/Text-Regex-Base-RegexLike.html#t%3AMatchText.

Functions

after :: DataSpan a -> DataLength

Returns the furthest extent, i.e. the offset just after the end.

empty :: DataLength -> DataSpan a

Constructs an empty instance, located at the specified offset.

join

Arguments

:: DataLength

The offset at which the concatenated match is considered to have occurred.

-> [DataSpan a]

The list to be concatenated.

-> DataSpan a

• Condenses a list into a single value.
• Expects a gap-free, sorted list.