#2736: Add bool to Data.Bool
---------------------------------+------------------------------------------
Reporter: guest | Owner:
Type: proposal | Status: new
Priority: normal | Milestone:
Component: libraries/base | Version:
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by igloo):
* difficulty: => Unknown
Old description:
> The function either is in Data.Either and maybe is in Data.Maybe. The
> function if' is a referenced function in the point-free module, but it
> doesn't exist, and if is a keyword, not a function. Since Data.Bool is a
> library module, and it fits the form of the two modules mentioned
> earlier, it should have a function bool. Its exact form may need more
> discussion, but in keeping with the other two, I propose:
>
> bool :: a -> a -> Bool -> a
> bool false true False = false
> bool false true True = true
>
> (proposed by BMeph, 2 November 2008)
New description:
The function either is in Data.Either and maybe is in Data.Maybe. The
function if' is a referenced function in the point-free module, but it
doesn't exist, and if is a keyword, not a function. Since Data.Bool is a
library module, and it fits the form of the two modules mentioned earlier,
it should have a function bool. Its exact form may need more discussion,
but in keeping with the other two, I propose:
{{{
bool :: a -> a -> Bool -> a
bool false true False = false
bool false true True = true
}}}
(proposed by BMeph, 2 November 2008)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2736#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
