Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type Process token result = Zip token (result :< ())
- recoverWith :: Parser s a -> Parser s a
- 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])
- mkProcess :: forall s a. Parser s a -> Process s a
- profile :: Steps s r -> Profile
- pushSyms :: forall s r. [s] -> Zip s r -> Zip s r
- pushEof :: forall s r. Zip s r -> Zip s r
- 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
- countWidth :: Zip s r -> Int
- fullLog :: Zip s output -> ([String], Tree LogEntry)
- data LogEntry
- evalL' :: Zip s output -> Zip s output
Documentation
recoverWith :: Parser s a -> Parser s a Source #
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.
run :: Process s a -> [s] -> (a, [String]) Source #
Run a process (in case you do not need the incremental interface)
data Parser s a where Source #
Parser specification
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 |
countWidth :: Zip s r -> Int Source #