Fix traversable Sup and Inf

Author: garyb

docs/Data.Foldable.md

@@ -66,31 +66,31 @@ instance foldableFirst :: Foldable First
 ```
 
 
-#### `foldableLast`
+#### `foldableInf`
 
 ``` purescript
-instance foldableLast :: Foldable Last
+instance foldableInf :: Foldable Inf
 ```
 
 
-#### `foldableSup`
+#### `foldableLast`
 
 ``` purescript
-instance foldableSup :: Foldable Sup
+instance foldableLast :: Foldable Last
 ```
 
 
-#### `foldableInf`
+#### `foldableMultiplicative`
 
 ``` purescript
-instance foldableInf :: Foldable Inf
+instance foldableMultiplicative :: Foldable Multiplicative
 ```
 
 
-#### `foldableMultiplicative`
+#### `foldableSup`
 
 ``` purescript
-instance foldableMultiplicative :: Foldable Multiplicative
+instance foldableSup :: Foldable Sup
 ```
 
 

docs/Data.Traversable.md

@@ -78,6 +78,13 @@ instance traversableFirst :: Traversable First
 ```
 
 
+#### `traversableInf`
+
+``` purescript
+instance traversableInf :: Traversable Inf
+```
+
+
 #### `traversableLast`
 
 ``` purescript
@@ -92,6 +99,13 @@ instance traversableMultiplicative :: Traversable Multiplicative
 ```
 
 
+#### `traversableSup`
+
+``` purescript
+instance traversableSup :: Traversable Sup
+```
+
+
 #### `for`
 
 ``` purescript

src/Data/Traversable.purs

@@ -17,8 +17,10 @@ import Data.Maybe (Maybe (..))
 import Data.Monoid.Additive (Additive(..))
 import Data.Monoid.Dual (Dual(..))
 import Data.Monoid.First (First(..))
+import Data.Monoid.Inf (Inf(..))
 import Data.Monoid.Last (Last(..))
 import Data.Monoid.Multiplicative (Multiplicative(..))
+import Data.Monoid.Sup (Sup(..))
 import Data.Tuple (Tuple(..), fst, snd)
 
 -- | `Traversable` represents data structures which can be _traversed_,
@@ -78,8 +80,8 @@ instance traversableFirst :: Traversable First where
   sequence (First x) = First <$> sequence x
 
 instance traversableInf :: Traversable Inf where
-  traverse f (Inf x) = Inf <$> traverse f x
-  sequence (Inf x) = Inf <$> sequence x
+  traverse f (Inf x) = Inf <$> f x
+  sequence (Inf x) = Inf <$> x
 
 instance traversableLast :: Traversable Last where
   traverse f (Last x) = Last <$> traverse f x
@@ -90,8 +92,8 @@ instance traversableMultiplicative :: Traversable Multiplicative where
   sequence (Multiplicative x) = Multiplicative <$> x
 
 instance traversableSup :: Traversable Sup where
-  traverse f (Sup x) = Sup <$> traverse f x
-  sequence (Sup x) = Sup <$> sequence x
+  traverse f (Sup x) = Sup <$> f x
+  sequence (Sup x) = Sup <$> x
 
 -- | A version of `traverse` with its arguments flipped.
 -- |