yi-core-0.14.0: Yi editor core library

Safe HaskellSafe
LanguageHaskell2010

Parser.Incremental

Synopsis

Documentation

type Process token result = Zip token (result :< ()) #

recoverWith :: Parser s a -> Parser s a #

Parse the same thing as the argument, but will be used only as backup. ie, it will be used only if disjuncted with a failing parser.

symbol :: forall s. (s -> Bool) -> Parser s s #

eof :: forall s. Parser s () #

lookNext :: Parser s (Maybe s) #

testNext :: (Maybe s -> Bool) -> Parser s () #

run :: Process s a -> [s] -> (a, [String]) #

Run a process (in case you do not need the incremental interface)

mkProcess :: forall s a. Parser s a -> Process s a #

Make a parser into a process.

profile :: Steps s r -> Profile #

pushSyms :: forall s r. [s] -> Zip s r -> Zip s r #

Push some symbols.

pushEof :: forall s r. Zip s r -> Zip s r #

Push eof

evalL :: forall s output. Zip s output -> Zip s output #

evalR :: Zip token (a :< rest) -> (a, [String]) #

feedZ :: Maybe [s] -> Zip s r -> Zip s r #

data Parser s a where #

Parser specification

Constructors

Look :: Parser s a -> (s -> Parser s a) -> Parser s a 
Yuck :: Parser s a -> Parser s a 
Enter :: String -> Parser s a -> Parser s a 

Instances

Monad (Parser s) # 

Methods

(>>=) :: Parser s a -> (a -> Parser s b) -> Parser s b #

(>>) :: Parser s a -> Parser s b -> Parser s b #

return :: a -> Parser s a #

fail :: String -> Parser s a #

Functor (Parser s) # 

Methods

fmap :: (a -> b) -> Parser s a -> Parser s b #

(<$) :: a -> Parser s b -> Parser s a #

Applicative (Parser s) # 

Methods

pure :: a -> Parser s a #

(<*>) :: Parser s (a -> b) -> Parser s a -> Parser s b #

(*>) :: Parser s a -> Parser s b -> Parser s b #

(<*) :: Parser s a -> Parser s b -> Parser s a #

Alternative (Parser s) # 

Methods

empty :: Parser s a #

(<|>) :: Parser s a -> Parser s a -> Parser s a #

some :: Parser s a -> Parser s [a] #

many :: Parser s a -> Parser s [a] #

countWidth :: Zip s r -> Int #

fullLog :: Zip s output -> ([String], Tree LogEntry) #

data LogEntry #

Constructors

LLog String 
LEmpty 
LDislike 
LShift 
LDone 
LFail 
LSusp 
LS String 

Instances

evalL' :: Zip s output -> Zip s output #