Yi.Syntax.Latex

Parser used by the LaTeX modes.

Documentation

isNoise :: Token -> Bool

type TT = Tok Token

type Expr t = [Tree t]

data Tree t

Constructors

Paren t (Tree t) t

Atom t

Error t

Expr (Expr t)

Instances

Foldable Tree

Defined in Yi.Syntax.Latex

Methods

fold :: Monoid m => Tree m -> m

foldMap :: Monoid m => (a -> m) -> Tree a -> m

foldMap' :: Monoid m => (a -> m) -> Tree a -> m

foldr :: (a -> b -> b) -> b -> Tree a -> b

foldr' :: (a -> b -> b) -> b -> Tree a -> b

foldl :: (b -> a -> b) -> b -> Tree a -> b

foldl' :: (b -> a -> b) -> b -> Tree a -> b

foldr1 :: (a -> a -> a) -> Tree a -> a

foldl1 :: (a -> a -> a) -> Tree a -> a

toList :: Tree a -> [a]

null :: Tree a -> Bool

length :: Tree a -> Int

elem :: Eq a => a -> Tree a -> Bool

maximum :: Ord a => Tree a -> a

minimum :: Ord a => Tree a -> a

sum :: Num a => Tree a -> a

product :: Num a => Tree a -> a

Functor Tree

Defined in Yi.Syntax.Latex

Methods

fmap :: (a -> b) -> Tree a -> Tree b

(<$) :: a -> Tree b -> Tree a

IsTree Tree

Defined in Yi.Syntax.Latex

Methods

subtrees :: Tree t -> [Tree t]

uniplate :: Tree t -> ([Tree t], [Tree t] -> Tree t)

emptyNode :: Tree t

Show t => Show (Tree t)

Defined in Yi.Syntax.Latex

Methods

showsPrec :: Int -> Tree t -> ShowS

show :: Tree t -> String

showList :: [Tree t] -> ShowS

parse :: P TT (Tree TT)

getStrokes :: Point -> Point -> Point -> Tree TT -> [Stroke]

modStroke :: StyleName -> Stroke -> Stroke

tokenToStroke :: TT -> Stroke

tokenToAnnot :: TT -> Maybe (Span String)

tokenToStyle :: Token -> StyleName

isSpecial :: String -> Token -> Bool

isBegin :: Token -> Bool

isEnd :: Token -> Bool

isErrorTok :: Token -> Bool