mapOk : (a -> b) -> Result e a -> Result e bTransforme la valeur de succès, en laissant un Error intact. mapOk f (Ok x) = Ok (f x) ; mapOk f (Error e) = Error e
PréludeChargé par défaut — aucun
import nécessaire.Opérations sur Result
Synopsis
mapOk : (a -> b) -> Result e a -> Result e bmapError : (e -> f) -> Result e a -> Result f aandThen : (a -> Result e b) -> Result e a -> Result e bresult : (e -> c) -> (a -> c) -> Result e a -> cwithDefault : a -> Result e a -> aisOk : Result e a -> BoolisError : Result e a -> BooltoMaybe : Result e a -> Maybe aokOr : e -> Maybe a -> Result e a
mapError : (e -> f) -> Result e a -> Result f aTransforme la valeur d'erreur, en laissant un Ok intact.
andThen : (a -> Result e b) -> Result e a -> Result e bEnchaîne un calcul faillible : exécute f sur la valeur de succès, court-circuite sur le premier Error. C'est le bind monadique de Result e. xs |> andThen f se lit de gauche à droite.
result : (e -> c) -> (a -> c) -> Result e a -> cÉlimine un Result : fournir un traitement pour chaque côté (l'erreur d'abord). result onError onOk r réduit r à une seule valeur.
withDefault : a -> Result e a -> aLa valeur de succès, ou une valeur par défaut si c'était un Error.
isOk : Result e a -> BoolVrai si le Result est Ok.
isError : Result e a -> BoolVrai si le Result est Error.
toMaybe : Result e a -> Maybe aOublie l'erreur, en ne gardant que la valeur de succès optionnelle.
okOr : e -> Maybe a -> Result e aTransforme une valeur optionnelle en un Result, en utilisant e comme erreur pour Nothing.