Copyright	(c) Don Stewart 2007
License	GPL-2
Maintainer	yi-devel@googlegroups.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010
Extensions	ScopedTypeVariables DeriveFunctor DeriveTraversable DeriveFoldable ExistentialQuantification ExplicitForAll

Yi.Syntax

Description

This module defines a common interface for syntax-awareness.

There have been many tens of wasted hours in this and lexer modules. This note is to commemorate those who have fallen in battle.

Synopsis

data Highlighter cache syntax = SynHL {
- hlStartState :: cache
- hlRun :: Scanner Point Char -> Point -> cache -> cache
- hlGetTree :: cache -> WindowRef -> syntax
- hlFocus :: Map WindowRef Region -> cache -> cache
}
data Cache state result
data Scanner st a = Scanner {
- scanInit :: st
- scanLooked :: st -> Point
- scanEmpty :: a
- scanRun :: st -> [(st, a)]
}
data ExtHL syntax = ExtHL (Highlighter cache syntax)
noHighlighter :: Highlighter () syntax
mkHighlighter :: Show state => (Scanner Point Char -> Scanner state result) -> Highlighter (Cache state result) result
skipScanner :: Int -> Scanner st a -> Scanner st a
emptyFileScan :: Scanner Point Char
newtype Point = Point {
- fromPoint :: Int
}
newtype Size = Size {
- fromSize :: Int
}
type Length = Int
type Stroke = Span StyleName
data Span a = Span {
- spanBegin :: !Point
- spanContents :: !a
- spanEnd :: !Point
}

Documentation

data Highlighter cache syntax Source #

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 -> WindowRef -> syntax hlFocus :: Map WindowRef Region -> cache -> cache focus at a given point, and return the corresponding 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

Instances details

Functor (Scanner st) Source #
Instance details Defined in Yi.Syntax Methods fmap :: (a -> b) -> Scanner st a -> Scanner st b (<$) :: a -> Scanner st b -> Scanner st a

data ExtHL syntax Source #

Constructors

ExtHL (Highlighter cache syntax)

noHighlighter :: Highlighter () syntax Source #

mkHighlighter :: Show state => (Scanner Point Char -> Scanner state result) -> Highlighter (Cache state result) result Source #

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 a Source #

emptyFileScan :: Scanner Point Char Source #

newtype Point Source #

A point in a buffer

Constructors

Point
Fields fromPoint :: Int

Instances

Instances details

Binary Point Source #
Instance details Defined in Yi.Buffer.Basic Methods put :: Point -> Put get :: Get Point putList :: [Point] -> Put
Bounded Point Source #
Instance details Defined in Yi.Buffer.Basic Methods minBound :: Point maxBound :: Point
Enum Point Source #
Instance details Defined in Yi.Buffer.Basic Methods succ :: Point -> Point pred :: Point -> Point toEnum :: Int -> Point fromEnum :: Point -> Int enumFrom :: Point -> [Point] enumFromThen :: Point -> Point -> [Point] enumFromTo :: Point -> Point -> [Point] enumFromThenTo :: Point -> Point -> Point -> [Point]
Ix Point Source #
Instance details Defined in Yi.Buffer.Basic Methods range :: (Point, Point) -> [Point] index :: (Point, Point) -> Point -> Int unsafeIndex :: (Point, Point) -> Point -> Int inRange :: (Point, Point) -> Point -> Bool rangeSize :: (Point, Point) -> Int unsafeRangeSize :: (Point, Point) -> Int
Num Point Source #
Instance details Defined in Yi.Buffer.Basic Methods (+) :: Point -> Point -> Point (-) :: Point -> Point -> Point (*) :: Point -> Point -> Point negate :: Point -> Point abs :: Point -> Point signum :: Point -> Point fromInteger :: Integer -> Point
Integral Point Source #
Instance details Defined in Yi.Buffer.Basic Methods quot :: Point -> Point -> Point rem :: Point -> Point -> Point div :: Point -> Point -> Point mod :: Point -> Point -> Point quotRem :: Point -> Point -> (Point, Point) divMod :: Point -> Point -> (Point, Point) toInteger :: Point -> Integer
Real Point Source #
Instance details Defined in Yi.Buffer.Basic Methods toRational :: Point -> Rational
Show Point Source #
Instance details Defined in Yi.Buffer.Basic Methods showsPrec :: Int -> Point -> ShowS show :: Point -> String showList :: [Point] -> ShowS
Eq Point Source #
Instance details Defined in Yi.Buffer.Basic Methods (==) :: Point -> Point -> Bool (/=) :: Point -> Point -> Bool
Ord Point Source #
Instance details Defined in Yi.Buffer.Basic Methods compare :: Point -> Point -> Ordering (<) :: Point -> Point -> Bool (<=) :: Point -> Point -> Bool (>) :: Point -> Point -> Bool (>=) :: Point -> Point -> Bool max :: Point -> Point -> Point min :: Point -> Point -> Point
SemiNum Point Size Source #
Instance details Defined in Yi.Buffer.Basic Methods (+~) :: Point -> Size -> Point Source # (-~) :: Point -> Size -> Point Source # (~-) :: Point -> Point -> Size Source #

newtype Size Source #

Size of a buffer region

Constructors

Size
Fields fromSize :: Int

Instances

Instances details

Binary Size Source #
Instance details Defined in Yi.Buffer.Basic Methods put :: Size -> Put get :: Get Size putList :: [Size] -> Put
Enum Size Source #
Instance details Defined in Yi.Buffer.Basic Methods succ :: Size -> Size pred :: Size -> Size toEnum :: Int -> Size fromEnum :: Size -> Int enumFrom :: Size -> [Size] enumFromThen :: Size -> Size -> [Size] enumFromTo :: Size -> Size -> [Size] enumFromThenTo :: Size -> Size -> Size -> [Size]
Num Size Source #
Instance details Defined in Yi.Buffer.Basic Methods (+) :: Size -> Size -> Size (-) :: Size -> Size -> Size (*) :: Size -> Size -> Size negate :: Size -> Size abs :: Size -> Size signum :: Size -> Size fromInteger :: Integer -> Size
Integral Size Source #
Instance details Defined in Yi.Buffer.Basic Methods quot :: Size -> Size -> Size rem :: Size -> Size -> Size div :: Size -> Size -> Size mod :: Size -> Size -> Size quotRem :: Size -> Size -> (Size, Size) divMod :: Size -> Size -> (Size, Size) toInteger :: Size -> Integer
Real Size Source #
Instance details Defined in Yi.Buffer.Basic Methods toRational :: Size -> Rational
Show Size Source #
Instance details Defined in Yi.Buffer.Basic Methods showsPrec :: Int -> Size -> ShowS show :: Size -> String showList :: [Size] -> ShowS
Eq Size Source #
Instance details Defined in Yi.Buffer.Basic Methods (==) :: Size -> Size -> Bool (/=) :: Size -> Size -> Bool
Ord Size Source #
Instance details Defined in Yi.Buffer.Basic Methods compare :: Size -> Size -> Ordering (<) :: Size -> Size -> Bool (<=) :: Size -> Size -> Bool (>) :: Size -> Size -> Bool (>=) :: Size -> Size -> Bool max :: Size -> Size -> Size min :: Size -> Size -> Size
SemiNum Point Size Source #
Instance details Defined in Yi.Buffer.Basic Methods (+~) :: Point -> Size -> Point Source # (-~) :: Point -> Size -> Point Source # (~-) :: Point -> Point -> Size Source #

type Length = Int Source #

type Stroke = Span StyleName Source #

data Span a Source #

Constructors

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

Instances

Instances details

Functor Span Source #
Instance details Defined in Yi.Syntax Methods fmap :: (a -> b) -> Span a -> Span b (<$) :: a -> Span b -> Span a
Foldable Span Source #
Instance details Defined in Yi.Syntax Methods fold :: Monoid m => Span m -> m foldMap :: Monoid m => (a -> m) -> Span a -> m foldMap' :: Monoid m => (a -> m) -> Span a -> m foldr :: (a -> b -> b) -> b -> Span a -> b foldr' :: (a -> b -> b) -> b -> Span a -> b foldl :: (b -> a -> b) -> b -> Span a -> b foldl' :: (b -> a -> b) -> b -> Span a -> b foldr1 :: (a -> a -> a) -> Span a -> a foldl1 :: (a -> a -> a) -> Span a -> a toList :: Span a -> [a] null :: Span a -> Bool length :: Span a -> Int elem :: Eq a => a -> Span a -> Bool maximum :: Ord a => Span a -> a minimum :: Ord a => Span a -> a sum :: Num a => Span a -> a product :: Num a => Span a -> a
Traversable Span Source #
Instance details Defined in Yi.Syntax Methods traverse :: Applicative f => (a -> f b) -> Span a -> f (Span b) sequenceA :: Applicative f => Span (f a) -> f (Span a) mapM :: Monad m => (a -> m b) -> Span a -> m (Span b) sequence :: Monad m => Span (m a) -> m (Span a)
Show a => Show (Span a) Source #
Instance details Defined in Yi.Syntax Methods showsPrec :: Int -> Span a -> ShowS show :: Span a -> String showList :: [Span a] -> ShowS