 | numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classes | Source code | Contents | Index |
| NumericPrelude.Condition |
| toMaybe :: Bool -> a -> Maybe a |
| if' :: Bool -> a -> a -> a |
| select :: a -> [(Bool, a)] -> a |
| implies :: Bool -> Bool -> Bool |
| toMaybe :: Bool -> a -> Maybe a | Source |
| if' | Source |
| :: | |
| => Bool | then |
| -> a | else |
| -> a | |
| -> a | |
| A purely functional implementation of if. Very useful in connection with zipWith3. | |
| select :: a -> [(Bool, a)] -> a | Source |
From a list of expressions choose the one, whose condition is true.
select "zero"
[(x>0, "positive"),
(x<0, "negative")]
| implies :: Bool -> Bool -> Bool | Source |
Logical operator for implication.
Funnily because of the ordering of Bool it holds implies == (<=).