not : Bool -> Bool
Négation logique.
import nécessaire.not : Bool -> Bool
Négation logique.
(&&) : Bool -> Lazy Bool -> Bool
Conjonction à court-circuit : si le premier argument est False, le second n'est jamais évalué (Lazy).
(||) : Bool -> Lazy Bool -> Bool
Disjonction à court-circuit : si le premier argument est True, le second n'est jamais évalué (Lazy).
force : Lazy a -> a
Force une valeur paresseuse. En pratique, oppi n'évalue les arguments Lazy que lorsque la valeur est réellement utilisée.
ifThenElse : Bool -> Lazy a -> Lazy a -> a
Conditionnelle : la branche inutilisée n'est jamais évaluée (Lazy). Utilisée par la notation if/then/else ci-dessous.
otherwise : Bool
Toujours vrai — la garde « sinon » des définitions par gardes :
abs n n < 0 = -n otherwise = n