refactor(purescript#45): optional is too constrained -> optional do…

…esn't need Plus part of Alternative
srghma · May 3, 2020 · 7dfd508 · 7dfd508
1 parent 570edf7
commit 7dfd508
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/Maybe.purs b/src/Data/Maybe.purs
@@ -274,5 +274,5 @@ fromJust (Just x) = x
 -- | optional empty = pure Nothing
 -- | optional (pure x) = pure (Just x)
 -- | ```
-optional :: forall f a. Alternative f => f a -> f (Maybe a)
+optional :: forall f a. Alt f => Applicative f => f a -> f (Maybe a)
 optional a = map Just a <|> pure Nothing