@@ -7,6 +7,7 @@ module Data.Index
7 , toOneBased
7 , toOneBased
8 , indexedMap
8 , indexedMap
9 , indexedTraverse
9 , indexedTraverse
10 , VerifiedList(..)
11 , VerifiedList(..)
11 , indexedZipWith
12 , indexedZipWith
12 , indexedZipWithA
13 , indexedZipWithA
@@ -69,6 +70,12 @@ indexedTraverse func list =
69 sequenceA (indexedMap func list)
70 sequenceA (indexedMap func list)
73+{-# INLINE indexedForA #-}
74+indexedForA :: (Applicative f) => [a] -> (ZeroBased -> a -> f b) -> f [b]
75+indexedForA list func =
76+ sequenceA (indexedMap func list)
73-- VERIFIED/INDEXED ZIP
80-- VERIFIED/INDEXED ZIP