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

This content is restricted to site members. If you are an existing user, please log in. New users may register below.

Existing Users Log In
   
New User Registration
*Required field