import Data.Foldable (Foldable())
import Data.Monoid (Monoid)
+#if defined(__GLASGOW_HASKELL__)
+import GHC.Arr
+#elif defined(__HUGS__)
+import Hugs.Array
+#elif defined(__NHC__)
+import Array
+#endif
+
-- | Functors representing data structures that can be traversed from
-- left to right.
--
-- instances for Prelude types
instance Traversable Maybe where
- traverse f Nothing = pure Nothing
+ traverse _ Nothing = pure Nothing
traverse f (Just x) = Just <$> f x
instance Traversable [] where
mapM = Prelude.mapM
+instance Ix i => Traversable (Array i) where
+ traverse f arr = listArray (bounds arr) `fmap` traverse f (elems arr)
+
-- general functions
-- | 'for' is 'traverse' with its arguments flipped.