This content is restricted to site members. If you are an existing user, please log in. New users may register below.
Fold sur Result, Maybe et Bool

Encore plus de Fold Cet article fait suite à celui sur les fold sur les listes et celui sur les fold sur les arbres. Fold sur les Maybe Maybe a a deux constructeurs : Just a et Nothing. Le premier est une fonction de a dans b et le second est une constante de type b. foldMaybe : (a -> b) -> b -> Maybe a -> b foldMaybe just nothing maybe = case maybe of Nothing -> nothing Just elt -> just elt Fold sur les Result Result a b a deux constructeurs : Err a et Ok b