Merge pull request #17 from zudov/master

Remove explicit type annotations for `id`
purescript · Nov 15, 2015 · 6182e6b · 6182e6b
2 parents 1e65d7c + 31e140c
commit 6182e6b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Data/Maybe.purs b/src/Data/Maybe.purs
@@ -49,7 +49,7 @@ maybe' _ f (Just a) = f a
 -- | fromMaybe x (Just y) == y
 -- | ```
 fromMaybe :: forall a. a -> Maybe a -> a
-fromMaybe a = maybe a (id :: forall a. a -> a)
+fromMaybe a = maybe a id
 
 -- | Similar to `fromMaybe` but for use in cases where the default value may be
 -- | expensive to compute. As PureScript is not lazy, the standard `fromMaybe`
@@ -61,7 +61,7 @@ fromMaybe a = maybe a (id :: forall a. a -> a)
 -- | fromMaybe' (\_ -> x) (Just y) == y
 -- | ```
 fromMaybe' :: forall a. (Unit -> a) -> Maybe a -> a
-fromMaybe' a = maybe' a (id :: forall a. a -> a)
+fromMaybe' a = maybe' a id
 
 -- | Returns `true` when the `Maybe` value was constructed with `Just`.
 isJust :: forall a. Maybe a -> Boolean