| ||||||||||||
| ||||||||||||
Synopsis | ||||||||||||
| ||||||||||||
Documentation | ||||||||||||
| ||||||||||||
Returns Just if the precondition is fulfilled. | ||||||||||||
| ||||||||||||
| ||||||||||||
| ||||||||||||
From a list of expressions choose the one, whose condition is true. select "zero" [(x>0, "positive"), (x<0, "negative")] | ||||||||||||
| ||||||||||||
Logical operator for implication. Funnily because of the ordering of Bool it holds implies == (<=). | ||||||||||||
Produced by Haddock version 2.6.0 |