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

Opérations sur Maybe et Either

Synopsis 
maybe : b -> (a -> b) -> Maybe a -> b

Élimine un Maybe : fournir une valeur par défaut et une fonction. maybe 0 f Nothing = 0 ; maybe 0 f (Just x) = f x

fromMaybe : a -> Maybe a -> a

Extrait la valeur d'un Maybe, ou utilise une valeur par défaut.

either : (a -> c) -> (b -> c) -> Either a b -> c

Élimine un Either en fournissant un traitement pour chacun des deux côtés.