summary |
shortlog |
log |
commit | commitdiff |
review |
tree
raw |
patch |
inline | side by side (from parent 1:
77e4291)
gitlab #31
Change-Id: I88298efc212596ad57adf468ed54b8f268050126
_ -> default
"`maybe def f v` returns `def` if `v=Nothing` and `f x` if `v=Just x`."
_ -> default
"`maybe def f v` returns `def` if `v=Nothing` and `f x` if `v=Just x`."
maybe :: b -> (a -> <e> b) -> Maybe a -> <e> b
maybe n _ Nothing = n
maybe _ f (Just x) = f x
maybe :: b -> (a -> <e> b) -> Maybe a -> <e> b
maybe n _ Nothing = n
maybe _ f (Just x) = f x