Safe Haskell	Trustworthy
Language	Haskell2010

Data.Functor.WithIndex.Instances

Contents

Orphan instances

Description

Extra instances for FunctorWithIndex, FoldableWithIndex, and TraversableWithIndex type classes.

Orphan instances

FoldableWithIndex () Solo Source #
Instance details Methods ifoldMap :: Monoid m => (() -> a -> m) -> Solo a -> m Source # ifoldMap' :: Monoid m => (() -> a -> m) -> Solo a -> m Source # ifoldr :: (() -> a -> b -> b) -> b -> Solo a -> b Source # ifoldl :: (() -> b -> a -> b) -> b -> Solo a -> b Source # ifoldr' :: (() -> a -> b -> b) -> b -> Solo a -> b Source # ifoldl' :: (() -> b -> a -> b) -> b -> Solo a -> b Source #
FoldableWithIndex Int Vector Source #
Instance details Methods ifoldMap :: Monoid m => (Int -> a -> m) -> Vector a -> m Source # ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector a -> m Source # ifoldr :: (Int -> a -> b -> b) -> b -> Vector a -> b Source # ifoldl :: (Int -> b -> a -> b) -> b -> Vector a -> b Source # ifoldr' :: (Int -> a -> b -> b) -> b -> Vector a -> b Source # ifoldl' :: (Int -> b -> a -> b) -> b -> Vector a -> b Source #
FunctorWithIndex () Solo Source #
Instance details Methods imap :: (() -> a -> b) -> Solo a -> Solo b Source #
FunctorWithIndex Int Vector Source #
Instance details Methods imap :: (Int -> a -> b) -> Vector a -> Vector b Source #
TraversableWithIndex () Solo Source #
Instance details Methods itraverse :: Applicative f => (() -> a -> f b) -> Solo a -> f (Solo b) Source #
TraversableWithIndex Int Vector Source #
Instance details Methods itraverse :: Applicative f => (Int -> a -> f b) -> Vector a -> f (Vector b) Source #
FoldableWithIndex k (HashMap k) Source #
Instance details Methods ifoldMap :: Monoid m => (k -> a -> m) -> HashMap k a -> m Source # ifoldMap' :: Monoid m => (k -> a -> m) -> HashMap k a -> m Source # ifoldr :: (k -> a -> b -> b) -> b -> HashMap k a -> b Source # ifoldl :: (k -> b -> a -> b) -> b -> HashMap k a -> b Source # ifoldr' :: (k -> a -> b -> b) -> b -> HashMap k a -> b Source # ifoldl' :: (k -> b -> a -> b) -> b -> HashMap k a -> b Source #
FunctorWithIndex k (HashMap k) Source #
Instance details Methods imap :: (k -> a -> b) -> HashMap k a -> HashMap k b Source #
TraversableWithIndex k (HashMap k) Source #
Instance details Methods itraverse :: Applicative f => (k -> a -> f b) -> HashMap k a -> f (HashMap k b) Source #
FoldableWithIndex () (Tagged a) Source #
Instance details Methods ifoldMap :: Monoid m => (() -> a0 -> m) -> Tagged a a0 -> m Source # ifoldMap' :: Monoid m => (() -> a0 -> m) -> Tagged a a0 -> m Source # ifoldr :: (() -> a0 -> b -> b) -> b -> Tagged a a0 -> b Source # ifoldl :: (() -> b -> a0 -> b) -> b -> Tagged a a0 -> b Source # ifoldr' :: (() -> a0 -> b -> b) -> b -> Tagged a a0 -> b Source # ifoldl' :: (() -> b -> a0 -> b) -> b -> Tagged a a0 -> b Source #
FunctorWithIndex () (Tagged a) Source #
Instance details Methods imap :: (() -> a0 -> b) -> Tagged a a0 -> Tagged a b Source #
TraversableWithIndex () (Tagged a) Source #
Instance details Methods itraverse :: Applicative f => (() -> a0 -> f b) -> Tagged a a0 -> f (Tagged a b) Source #