Re: [Haskell-beginners] Signatures

On Wed, Jun 23, 2010 at 05:20:16PM +0100, Colin Paul Adams wrote:

...

...

...

...

...

"Daniel" == Daniel Fischer writes:

Daniel> On Wednesday 23 June 2010 18:08:18, Colin Paul Adams wrote: >> >>>>> "Ertugrul" == Ertugrul Soeylemez writes: >> Ertugrul> -- nightmare = unsafePerformIO (getWrongWife >>= sex) >> >> I can't work out the signature for nightmare (in your signature). >> >> :-)

Daniel> My guess:

Daniel> getWrongWife :: IO Partner sex :: Partner -> IO Offspring

So

nightmare :: Offspring ?

I guess it would be better to have sex :: Partner -> IO (Maybe Offspring) or, if you are lucky/unlucky: sex :: Partner -> IO [Offspring] -- Felipe.