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