I think what he is asking is if try (from lifted) has type<br><br><a name="v:try" class="def">try</a> :: (<a href="http://hackage.haskell.org/packages/archive/monad-control/0.3.1.4/doc/html/Control-Monad-Trans-Control.html#t:MonadBaseControl">MonadBaseControl</a> <a href="http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/System-IO.html#t:IO">IO</a> m, <a href="http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/Control-Exception-Base.html#t:Exception">Exception</a> e) => m a -> m (<a href="http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/Data-Either.html#t:Either">Either</a> e a)<br>
<br>and simpleHttp is<br><br><a href="http://hackage.haskell.org/packages/archive/base/4.6.0.0/doc/html/System-IO.html#t:IO">simpleHttp "googe" :: IO</a> (<a href="http://hackage.haskell.org/packages/archive/HTTP/latest/doc/html/Network-Stream.html#t:Result">Result</a> (<a href="http://hackage.haskell.org/packages/archive/HTTP/latest/doc/html/Network-HTTP-Base.html#t:Response">Response</a> ty))<br>
<br>then how can the whole statement have<br><br>try $ simpleHttp "goog" :: GHandler master sub (Either SomeException ByteString)<br><br>when the m in both parts of try is the same, it should end up IO not GHandler master sub. So I don't understand why this would work, either.<br>
<br><div class="gmail_quote">On Thu, Sep 27, 2012 at 1:33 PM, Brent Yorgey <span dir="ltr"><<a href="mailto:byorgey@seas.upenn.edu" target="_blank">byorgey@seas.upenn.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Thu, Sep 27, 2012 at 10:01:25AM -0700, Bryce Verdier wrote:<br>
> On 9/26/12 6:00 PM, Ertugrul Söylemez wrote:<br>
> >Bryce Verdier <<a href="mailto:bryceverdier@gmail.com">bryceverdier@gmail.com</a>> wrote:<br>
> ><br>
> >> body <- L.try (simpleHttp "<a href="http://www.google.com" target="_blank">http://www.google.com</a>") :: IO (Either<br>
> >>L.SomeException Data.ByteString.Lazy.Internal.ByteString)<br>
> >Almost right, but your type signature is lying. =)<br>
> ><br>
> ><br>
> >Greets,<br>
> >Ertugrul<br>
><br>
> Thanks for your hint, with a fair amount of head bashing against a<br>
> wall I was able to figure this out. At the end of day I got :<br>
><br>
> body <- try (simpleHttp "<a href="http://www.google.com" target="_blank">http://www.google.com</a>") :: GHandler<br>
> PlayHaven PlayHaven (Either SomeException ByteString)<br>
<br>
</div>Do you need a type signature there at all?<br>
<span class="HOEnZb"><font color="#888888"><br>
-Brent<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
</div></div></blockquote></div><br>