git.iko.soy/Idris-dev
on master help sign in
Re-added missing maybe_bind to prelude Maybe module.
5570ceeDominic Mulligan
lib/prelude/maybe.idr+8
compare with master
unifiedsplit
@@ -61,3 +61,11 @@ mapMaybe f (x::xs) =
61 case f x of
61 case f x of
62 Nothing => mapMaybe f xs
62 Nothing => mapMaybe f xs
63 Just j => j :: mapMaybe f xs
63 Just j => j :: mapMaybe f xs
64+
65+--------------------------------------------------------------------------------
66+-- Class instances
67+--------------------------------------------------------------------------------
68+
69+maybe_bind : Maybe a -> (a -> Maybe b) -> Maybe b
70+maybe_bind Nothing k = Nothing
71+maybe_bind (Just x) k = k x