Data.Traversable.WithIndex · indexed-traversable-0.1.5

valueifor

:: (TraversableWithIndex i t, Applicative f)
=> t a
-> i -> a -> f b
-> f (t b)

#

valueiforM

:: (TraversableWithIndex i t, Monad m)
=> t a
-> i -> a -> m b
-> m (t b)

#

valueimapAccumL

:: TraversableWithIndex i t
=> i -> s -> a -> (s, b)
-> s
-> t a
-> (s, t b)

#

valueimapAccumR

:: TraversableWithIndex i t
=> i -> s -> a -> (s, b)
-> s
-> t a
-> (s, t b)

#

valueimapM

:: (TraversableWithIndex i t, Monad m)
=> i -> a -> m b
-> t a
-> m (t b)

#

valueifoldMapDefault

:: (TraversableWithIndex i f, Monoid m)
=> i -> a -> m
-> f a
-> m

#

valueimapDefault :: TraversableWithIndex i f => (i -> a -> b) -> f a -> f b

#

class

class (FunctorWithIndex i t, FoldableWithIndex i t, Traversable t) => TraversableWithIndex i (t :: Type -> Type) | t -> i where

#

Methods

itraverse :: Applicative f => (i -> a -> f b) -> t a -> f (t b)

Instances28TraversableWithIndex, …

TraversableWithIndex Int IntMapDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Int SeqDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Int NonEmptyDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Int ZipListDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Int []Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex () IdentityDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex () Par1Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex () MaybeDefined in indexed-traversable-0.1.5 · WithIndex
Ix i => TraversableWithIndex i (Array i)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void U1Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void V1Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex k (Tuple2 k)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void (Const e)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void (Constant e)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex i f => TraversableWithIndex i (Rec1 f)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex i f => TraversableWithIndex i (Backwards f)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex i f => TraversableWithIndex i (Reverse f)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex i m => TraversableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void (K1 i c)Defined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex [Int] TreeDefined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (Product f g)Defined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (Sum f g)Defined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (f :*: g)Defined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (f :+: g)Defined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (i, j) (Compose f g)Defined in indexed-traversable-0.1.5 · WithIndex
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (i, j) (f :.: g)Defined in indexed-traversable-0.1.5 · WithIndex