[Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell
nicolas.pouillard at gmail.com
Tue May 19 03:59:30 EDT 2009
Excerpts from Taral's message of Tue May 19 00:05:39 +0200 2009:
> On Mon, May 18, 2009 at 10:30 AM, Nicolas Pouillard
> <nicolas.pouillard at gmail.com> wrote:
> > The type I would need for bind is this one:
> > (>>=) :: NFData sa => LI sa -> (sa -> LI b) -> LI b
> Will this do?
> (>>=) :: (NFData sa, NFData b) => LI sa -> (sa -> LI b) -> LI b
No this one would be too strict. In particular functions are not member of
NFData (and for good reasons) and we may want to have LI values holding non
However I got your idea and it can be useful.
More information about the Haskell-Cafe