Implementing Parser Functor

Question

Working on Brent Yorgey\'s 2013 UPenn class homework, the following newtype exists:

newtype Parser a = Parser { runParser :: String -> Maybe (a

Answer 1

You're doing great.

If I just make a type synonym it might be clearer

type M a = Maybe (a,String)

You're right that you can use

fmap (first g) :: Maybe (a, String) -> Maybe (b,String)
--             :: M a -> M b

and combine it with

f :: String -> Maybe (a,String)
--   String -> M a

You just need to compose String -> M a with M a -> M b to get String -> M b:

instance Functor (Parser) where
  fmap g (Parser f)  = Parser $ fmap (first g) . f

---

You asked if you could get a String from somewhere. Lambda will do that for you: \xs -> can be read "give me a String xs...", and you could apply f to that String to get something of type Maybe (a,String). So you could also write:

instance Functor (Parser) where
  fmap g (Parser f)  = Parser $ \xs -> fmap (first g) (f xs)