[Haskell-beginners] 'Simple' function

Brandon Allbery allbery.b at gmail.com
Wed Jun 10 17:16:39 UTC 2015


On Wed, Jun 10, 2015 at 1:06 PM, Brandon Allbery <allbery.b at gmail.com>
wrote:

> asString :: Monad m -> m b -> m b


Typoed, sigh....

  asString :: Monad m => m b -> m b

The thing before the => is a "constraint", in this specifying that the type
"m" must be a type for which an instance of the Monad typeclass has been
defined.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20150610/0eba8c17/attachment.html>


More information about the Beginners mailing list