Skip to content

Commit f9ddbea

Browse files
committed
Add MonadPlus
1 parent d18bce7 commit f9ddbea

File tree

2 files changed

+5
-0
lines changed

2 files changed

+5
-0
lines changed

docs/Module.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,8 @@
3131

3232
instance monadParserT :: (Monad m) => Monad (ParserT s m)
3333

34+
instance monadPlusParserT :: (Monad m) => MonadPlus (ParserT s m)
35+
3436
instance monadStateParserT :: (Monad m) => MonadState s (ParserT s m)
3537

3638
instance monadTransParserT :: MonadTrans (ParserT s)

src/Text/Parsing/Parser.purs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ import Control.Monad.State.Trans
1616
import Control.Monad.Error
1717
import Control.Monad.Error.Class
1818
import Control.Monad.Error.Trans
19+
import Control.MonadPlus
1920

2021
data ParseError = ParseError
2122
{ message :: String
@@ -72,6 +73,8 @@ instance bindParserT :: (Monad m) => Bind (ParserT s m) where
7273

7374
instance monadParserT :: (Monad m) => Monad (ParserT s m)
7475

76+
instance monadPlusParserT :: (Monad m) => MonadPlus (ParserT s m)
77+
7578
instance monadTransParserT :: MonadTrans (ParserT s) where
7679
lift m = ParserT $ \s -> (\a -> { input: s, consumed: false, result: Right a }) <$> m
7780

0 commit comments

Comments
 (0)