Documentation

The main type of syntax highlighters. This record type combines all the required functions, and is parametrized on the type of the internal state.

Constructors

SynHL
Fields hlStartState :: cache The start state for the highlighter. hlRun :: Scanner Point Char -> Point -> cache -> cache hlGetTree :: cache -> Int -> syntax hlFocus :: Map Int Region -> cache -> cache focus at a given point, and return the coresponding node. (hint -- the root can always be returned, at the cost of performance.)

data Cache state result Source

data Scanner st a Source

Constructors

Scanner
Fields scanInit :: st Initial state scanLooked :: st -> Point How far did the scanner look to produce this intermediate state? The state can be reused as long as nothing changes before that point. scanEmpty :: a scanRun :: st -> [(st, a)] Running function returns a list of results and intermediate states. Note: the state is the state before producing the result in the second component.

Instances

Functor (Scanner st)

data ExtHL syntax Source

Constructors

forall cache . ExtHL (Highlighter cache syntax)

noHighlighter :: Highlighter () syntaxSource

mkHighlighter :: forall state result. Show state => (Scanner Point Char -> Scanner state result) -> Highlighter (Cache state result) resultSource

This takes as input a scanner that returns the full result at each element in the list; perhaps in a different form for the purpose of incremental-lazy eval.

skipScanner :: Int -> Scanner st a -> Scanner st aSource

emptyFileScan :: Scanner Point Char Source

newtype Point Source

A point in a buffer

Constructors

Point
Fields fromPoint :: Int

Instances

Bounded Point
Enum Point
Eq Point
Integral Point
Num Point
Ord Point
Real Point
Show Point
Ix Point
Typeable Point
Binary Point
SemiNum Point Size

newtype Size Source

Size of a buffer region

Constructors

Size
Fields fromSize :: Int

Instances

Enum Size
Eq Size
Integral Size
Num Size
Ord Size
Real Size
Show Size
Binary Size
SemiNum Point Size

type Length = Int Source

type Stroke = Span StyleName Source

data Span a Source

Constructors

Span
Fields spanBegin :: !Point spanContents :: !a spanEnd :: !Point

Instances

Functor Span
Foldable Span
Traversable Span
Show a => Show (Span a)