Hello,

Maybe, using fmap would be enough?

data Proxy = Proxy String

f :: Maybe Proxy -> Maybe String
f = fmap (\(Proxy a) -> a)


2017-08-25 15:00 GMT+03:00 <beginners-request@haskell.org>:
Send Beginners mailing list submissions to
        beginners@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit
        http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
        beginners-request@haskell.org

You can reach the person managing the list at
        beginners-owner@haskell.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."


Today's Topics:

   1.  Maybe a -> Maybe b (PICCA Frederic-Emmanuel)


----------------------------------------------------------------------

Message: 1
Date: Fri, 25 Aug 2017 08:05:34 +0000
From: PICCA Frederic-Emmanuel
        <frederic-emmanuel.picca@synchrotron-soleil.fr>
To: "beginners@haskell.org" <beginners@haskell.org>
Subject: [Haskell-beginners] Maybe a -> Maybe b
Message-ID:
        <A2A20EC3B8560D408356CAC2FC148E53BB41B8D4@SUN-DAG3.synchrotron-soleil.fr>

Content-Type: text/plain; charset="us-ascii"

Hello, I have this

data Proxy = Proxy String

And I want to write a function

f :: Maybe Proxy -> Maybe String
f ma = case ma of
           (Just (Proxy a)) -> Just a
           Nothing -> Nothing

I was wondering if there is no simpler way to do this ?

thanks

Frederic

------------------------------

Subject: Digest Footer

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners


------------------------------

End of Beginners Digest, Vol 110, Issue 20
******************************************