Copyright	(c) Don Stewart 2007
License	GPL-2
Maintainer	yi-devel@googlegroups.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
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 = forall cache. ExtHL (Highlighter cache syntax)
noHighlighter :: Highlighter () syntax
mkHighlighter :: forall state result. 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

forall cache. ExtHL (Highlighter cache syntax)

noHighlighter :: Highlighter () syntax Source #

mkHighlighter :: forall state result. 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

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 #
Binary Point Source #
Instance details Defined in Yi.Buffer.Basic Methods put :: Point -> Put # get :: Get Point # putList :: [Point] -> Put #
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

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 #
Binary Size Source #
Instance details Defined in Yi.Buffer.Basic Methods put :: Size -> Put # get :: Get Size # putList :: [Size] -> Put #
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

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) #
Functor Span Source #
Instance details Defined in Yi.Syntax Methods fmap :: (a -> b) -> Span a -> Span b # (<$) :: a -> Span b -> 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 #