blob: 8b5c0e579db488ad08c7db6069b6911fa5a7d45c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE GeneralizedNewtypeDeriving, ConstrainedClassMethods #-}
module T8851 where
import Control.Applicative
class Parsing m where
notFollowedBy :: (Monad m, Show a) => m a -> m ()
data Parser a
instance Parsing Parser where
notFollowedBy = undefined
instance Functor Parser where
fmap = undefined
instance Applicative Parser where
pure = undefined
(<*>) = undefined
instance Monad Parser where
return = undefined
(>>=) = undefined
newtype MyParser a = MkMP (Parser a)
deriving Parsing
|
