@@ -29,9 +29,10 @@ function to the associated value.
29 map f m = maybe Nothing (\x -> Just (f x)) m
29 map f m = maybe Nothing (\x -> Just (f x)) m
31maybe : b -> (a -> b) -> Maybe a -> b
31maybe : b -> (a -> b) -> Maybe a -> b
32−maybe b f m = case m of
32+maybe b f m =
33− Just v -> f v
34+ Just v -> f v
34− Nothing -> b
35+ Nothing -> b
36{-| Check if a maybe happens to be a `Just`.
37{-| Check if a maybe happens to be a `Just`.