[darcs-devel] darcs patch: mand can be applied to any monad Bool

David Roundy droundy at abridgegame.org
Sat Dec 4 03:49:01 PST 2004


On Fri, Dec 03, 2004 at 12:32:42PM -0500, Samuel Tardieu wrote:
> 
> Fri Dec  3 18:32:24 CET 2004  Samuel Tardieu <sam at rfc1149.net>
>   * mand can be applied to any monad Bool
...
> hunk ./Repository.lhs 140
> - -mand :: IO Bool -> IO Bool -> IO Bool
> +mand :: Monad m => m Bool -> m Bool -> m Bool
> }

While this is true, I'm not sure what the benenfit is in declaring it this
way...
-- 
David Roundy
http://www.darcs.net




More information about the darcs-devel mailing list