refactor(#45): optional is too constrained -> optional doesn't need…

… Plus part of Alternative (#47)
purescript · Oct 14, 2020 · 6a20755 · 6a20755
1 parent 3c9239d
commit 6a20755
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