6 Jan
2021
6 Jan
'21
6:37 a.m.
It means that the function can return an mvar containing any type that you
need. What type it returns depends on what type your program asks for.
On Wed, Jan 6, 2021, 01:37 Velichko Lefterov
OK, I tried this one:
test:: IO (Maybe a) test = return Nothing
It looks similar and it seems to work...
On Tue, Jan 5, 2021 at 8:22 PM Velichko Lefterov < velichko.lefterov@gmail.com> wrote:
Hello, could someone explain me simple how return-type polymorphism works in the following case: newEmptyMVar :: IO (MVar a) ?
_______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners