Closed Fuuzetsu closed 6 years ago
You have
module Data.Maybe.More where overJust :: Applicative f => (t -> f a) -> Maybe t -> f (Maybe a) overJust _ Nothing = pure Nothing overJust f (Just x) = Just <$> f x
but this is exactly traverse for Maybe.
So it is. Thanks @Fuuzetsu for pointing that out!
I doubt I'll have time this week to go through and clean it up, but this looks like a great issue for a first-time contributor.
You have
but this is exactly traverse for Maybe.