Changes between Initial Version and Version 2 of Ticket #2736


Ignore:
Timestamp:
Nov 27, 2008 2:04:39 PM (7 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2736

    • Property Difficulty changed from to Unknown
    • Property Type changed from task to proposal
  • Ticket #2736 – Description

    initial v2  
    11The 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:
    2 
     2{{{
    33bool :: a -> a -> Bool -> a
    44bool false true False = false
    55bool false true True = true
    6 
     6}}}
    77(proposed by BMeph, 2 November 2008)