| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
Data.Functor.WithIndex.Instances
Contents
Description
Extra instances for FunctorWithIndex, FoldableWithIndex,
and TraversableWithIndex type classes.
Orphan instances
| FoldableWithIndex () Solo Source # | |
Methods ifoldMap :: Monoid m => (() -> a -> m) -> Solo a -> m ifoldMap' :: Monoid m => (() -> a -> m) -> Solo a -> m ifoldr :: (() -> a -> b -> b) -> b -> Solo a -> b ifoldl :: (() -> b -> a -> b) -> b -> Solo a -> b ifoldr' :: (() -> a -> b -> b) -> b -> Solo a -> b ifoldl' :: (() -> b -> a -> b) -> b -> Solo a -> b | |
| FoldableWithIndex Int Vector Source # | |
Methods ifoldMap :: Monoid m => (Int -> a -> m) -> Vector a -> m ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector a -> m ifoldr :: (Int -> a -> b -> b) -> b -> Vector a -> b ifoldl :: (Int -> b -> a -> b) -> b -> Vector a -> b ifoldr' :: (Int -> a -> b -> b) -> b -> Vector a -> b ifoldl' :: (Int -> b -> a -> b) -> b -> Vector a -> b | |
| FunctorWithIndex () Solo Source # | |
Methods imap :: (() -> a -> b) -> Solo a -> Solo b | |
| FunctorWithIndex Int Vector Source # | |
Methods imap :: (Int -> a -> b) -> Vector a -> Vector b | |
| TraversableWithIndex () Solo Source # | |
Methods itraverse :: Applicative f => (() -> a -> f b) -> Solo a -> f (Solo b) | |
| TraversableWithIndex Int Vector Source # | |
Methods itraverse :: Applicative f => (Int -> a -> f b) -> Vector a -> f (Vector b) | |
| FoldableWithIndex k (HashMap k) Source # | |
Methods ifoldMap :: Monoid m => (k -> a -> m) -> HashMap k a -> m ifoldMap' :: Monoid m => (k -> a -> m) -> HashMap k a -> m ifoldr :: (k -> a -> b -> b) -> b -> HashMap k a -> b ifoldl :: (k -> b -> a -> b) -> b -> HashMap k a -> b ifoldr' :: (k -> a -> b -> b) -> b -> HashMap k a -> b ifoldl' :: (k -> b -> a -> b) -> b -> HashMap k a -> b | |
| FunctorWithIndex k (HashMap k) Source # | |
Methods imap :: (k -> a -> b) -> HashMap k a -> HashMap k b | |
| TraversableWithIndex k (HashMap k) Source # | |
Methods itraverse :: Applicative f => (k -> a -> f b) -> HashMap k a -> f (HashMap k b) | |
| FoldableWithIndex () (Tagged a) Source # | |
Methods ifoldMap :: Monoid m => (() -> a0 -> m) -> Tagged a a0 -> m ifoldMap' :: Monoid m => (() -> a0 -> m) -> Tagged a a0 -> m ifoldr :: (() -> a0 -> b -> b) -> b -> Tagged a a0 -> b ifoldl :: (() -> b -> a0 -> b) -> b -> Tagged a a0 -> b ifoldr' :: (() -> a0 -> b -> b) -> b -> Tagged a a0 -> b ifoldl' :: (() -> b -> a0 -> b) -> b -> Tagged a a0 -> b | |
| FunctorWithIndex () (Tagged a) Source # | |
Methods imap :: (() -> a0 -> b) -> Tagged a a0 -> Tagged a b | |
| TraversableWithIndex () (Tagged a) Source # | |
Methods itraverse :: Applicative f => (() -> a0 -> f b) -> Tagged a a0 -> f (Tagged a b) | |