Added generalize function which can be used to lift specialised parsers.

Monad m => Parsec s st a -> Parsec T s st m a
2014-07-20 23:41:42 +01:00 · 2014-07-20 23:41:42 +01:00 · 8271fb574e
commit 8271fb574e
parent b983adf0d0
1 changed files with 4 additions and 0 deletions
--- a/src/Text/Pandoc/Parsing.hs
+++ b/src/Text/Pandoc/Parsing.hs
@ -109,6 +109,7 @@ module Text.Pandoc.Parsing ( anyLine,
                             askF,
                             asksF,
                             token,
+                             generalize,
                             -- * Re-exports from Text.Pandoc.Parsec
                             Stream,
                             runParser,
@ -1264,3 +1265,6 @@ addWarning mbpos msg =
  updateState $ \st -> st{
    stateWarnings = (msg ++ maybe "" (\pos -> " " ++ show pos) mbpos) :
                     stateWarnings st }
+
+generalize :: (Monad m) => Parser s st a -> ParserT s st m a
+generalize m = mkPT (\ s -> (return $ (return . runIdentity) <$> runIdentity (runParsecT m s)))