Drop a redundant superclass of ‘MonadParsec’

This commit is contained in:
mrkkrp 2018-04-22 00:28:20 +07:00
parent b81b6f4385
commit 31b3fabd2a
No known key found for this signature in database
GPG Key ID: 8564658B2889FF7C

View File

@ -25,7 +25,6 @@ module Text.Megaparsec.Class
( MonadParsec (..) ) ( MonadParsec (..) )
where where
import Control.Applicative
import Control.Monad import Control.Monad
import Control.Monad.Identity import Control.Monad.Identity
import Control.Monad.Trans import Control.Monad.Trans
@ -52,8 +51,7 @@ import Control.Monad.Trans.Identity
-- taken advantage of as much as possible if your aim is a fast parser: -- taken advantage of as much as possible if your aim is a fast parser:
-- 'tokens', 'takeWhileP', 'takeWhile1P', and 'takeP'. -- 'tokens', 'takeWhileP', 'takeWhile1P', and 'takeP'.
class (Stream s, Alternative m, MonadPlus m) class (Stream s, MonadPlus m) => MonadParsec e s m | m -> e s where
=> MonadParsec e s m | m -> e s where
-- | The most general way to stop parsing and report a trivial -- | The most general way to stop parsing and report a trivial
-- 'ParseError'. -- 'ParseError'.