mrkkrp/megaparsec
1
1
Fork 0
mirror of https://github.com/mrkkrp/megaparsec.git synced 2024-11-27 15:32:14 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #73 from hvr/pr/canonical-amp-instances

Browse Source 
Canonicalise Applicative/Monad instances
This commit is contained in:
Mark Karpov 2015-11-23 18:51:37 +05:00
commit 674be75746
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Text/Megaparsec/Prim.hs
View File

@ -263,9 +263,9 @@ pMap f p = ParsecT $ \s cok cerr eok eerr ->
{-# INLINE pMap #-}
instance A.Applicative (ParsecT s m) where
pure = return
pure = pPure
(<*>) = ap
(*>) = (>>)
p1 *> p2 = p1 `pBind` \_ -> p2
p1 <* p2 = do { x1 <- p1 ; void p2 ; return x1 }
instance A.Alternative (ParsecT s m) where
@ -290,13 +290,13 @@ manyErr = error $
++ " that accepts an empty string."
instance Monad (ParsecT s m) where
return = pReturn
return = pure
(>>=) = pBind
fail = pFail
pReturn :: a -> ParsecT s m a
pReturn x = ParsecT $ \s _ _ eok _ -> eok x s mempty
{-# INLINE pReturn #-}
pPure :: a -> ParsecT s m a
pPure x = ParsecT $ \s _ _ eok _ -> eok x s mempty
{-# INLINE pPure #-}
pBind :: ParsecT s m a -> (a -> ParsecT s m b) -> ParsecT s m b
pBind m k = ParsecT $ \s cok cerr eok eerr ->