Type constraints on a?

42 views
Skip to first unread message

Simon

unread,
Feb 11, 2015, 2:13:37 PM2/11/15
to af...@googlegroups.com
Hello!

I have a hard time defining bind correcly without having to globally type constrain a somehow .. in the newtype defintion for example.
Am I completely off designwise? Some hints would be greatly appreciated

Thanks

Adriaan Leijnse

unread,
Feb 11, 2015, 3:42:47 PM2/11/15
to af...@googlegroups.com
I had the same issue; make sure you only use show/read when pattern matching on the result of

io :: (Show a, Read a) => IO a -> Replay q r a
Reply all
Reply to author
Forward
0 new messages