Parser.Incremental

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
  • 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
• fullLog :: Zip s output -> ([String], Tree LogEntry)
• data LogEntry
  • = LLog String
  • | LEmpty
  • | LDislike
  • | LShift
  • | LDone
  • | LFail
  • | LSusp
  • | LS String
• evalL' :: Zip s output -> Zip s output

Documentation