EN
PréludeChargé par défaut — aucun import nécessaire.

Opérations booléennes

Synopsis
(&&) : 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