Moduleindexed-traversable-0.1.5
Data.Traversable.WithIndex
- 1 class
- 7 values
- Packageindexed-traversable-0.1.5
- Exports8
- LicenceBSD-2-Clause
class
class (FunctorWithIndex i t, FoldableWithIndex i t, Traversable t) => TraversableWithIndex i (t :: Type -> Type) | t -> i whereMethods
itraverse :: Applicative f => (i -> a -> f b) -> t a -> f (t b)
Instances28TraversableWithIndex, …
TraversableWithIndex Int IntMapDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Int SeqDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Int NonEmptyDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Int ZipListDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Int []Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex () IdentityDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex () Par1Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex () MaybeDefined in indexed-traversable-0.1.5 · WithIndexIx i => TraversableWithIndex i (Array i)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void U1Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void V1Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex k (Tuple2 k)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void (Const e)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void (Constant e)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex i f => TraversableWithIndex i (Rec1 f)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex i f => TraversableWithIndex i (Backwards f)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex i f => TraversableWithIndex i (Reverse f)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex i m => TraversableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex Void (K1 i c)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex [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