git.iko.soy/typeable/pandoc
on master help sign in
Added generalize function which can be used to lift specialised parsers.

Monad m => Parsec s st a -> Parsec T s st m a

commit8271fb574ebb0a6049ffe05959d416ac86637378 authorMatthew Pickering <matthewtpickering@gmail.com> dateSun 20 Jul 2014, 23:41 (12 years ago) parentb983adf
1 file changed+4
src/Text/Pandoc/Parsing.hs+4
src/Text/Pandoc/Parsing.hs+4
@@ -109,6 +109,7 @@ module Text.Pandoc.Parsing ( anyLine,
109109 askF,
110110 asksF,
111111 token,
112+ generalize,
112113 -- * Re-exports from Text.Pandoc.Parsec
113114 Stream,
114115 runParser,
@@ -1264,3 +1265,6 @@ addWarning mbpos msg =
12641265 updateState $ \st -> st{
12651266 stateWarnings = (msg ++ maybe "" (\pos -> " " ++ show pos) mbpos) :
12661267 stateWarnings st }
1268+
1269+generalize :: (Monad m) => Parser s st a -> ParserT s st m a
1270+generalize m = mkPT (\ s -> (return $ (return . runIdentity) <$> runIdentity (runParsecT m s)))