traverse -package:dimensional -package:base-compat package:vec

traverse :: forall n f a b . (Applicative f, SNatI n) => (a -> f b) -> Vec n a -> f (Vec n b)
vec Data.Vec.DataFamily.SpineStrict Data.Vec.Lazy.Inline
Apply an action to every element of a Vec, yielding a Vec of results.
traverse :: forall n f a b . Applicative f => (a -> f b) -> Vec n a -> f (Vec n b)
vec Data.Vec.Lazy
Apply an action to every element of a Vec, yielding a Vec of results.
traverse1 :: forall n f a b . (Apply f, SNatI n) => (a -> f b) -> Vec ('S n) a -> f (Vec ('S n) b)
vec Data.Vec.DataFamily.SpineStrict Data.Vec.Lazy.Inline
Apply an action to non-empty Vec, yielding a Vec of results.
traverse1 :: forall n f a b . Apply f => (a -> f b) -> Vec ('S n) a -> f (Vec ('S n) b)
vec Data.Vec.Lazy
Apply an action to non-empty Vec, yielding a Vec of results.
traverseWithVec :: (VecEach s t a b, Applicative f) => (forall n . SNatI n => Vec n a -> f (Vec n b)) -> s -> f t
vec Data.Vec.Lazy Data.Vec.Lazy.Inline
itraverse :: forall n f a b . (Applicative f, SNatI n) => (Fin n -> a -> f b) -> Vec n a -> f (Vec n b)
vec Data.Vec.DataFamily.SpineStrict Data.Vec.Lazy.Inline
Apply an action to every element of a Vec and its index, yielding a Vec of results.
itraverse_ :: forall n f a b . (Applicative f, SNatI n) => (Fin n -> a -> f b) -> Vec n a -> f ()
vec Data.Vec.DataFamily.SpineStrict Data.Vec.Lazy.Inline
Apply an action to every element of a Vec and its index, ignoring the results.
itraverse :: Applicative f => (Fin n -> a -> f b) -> Vec n a -> f (Vec n b)
vec Data.Vec.Lazy
Apply an action to every element of a Vec and its index, yielding a Vec of results.
itraverse_ :: Applicative f => (Fin n -> a -> f b) -> Vec n a -> f ()
vec Data.Vec.Lazy
Apply an action to every element of a Vec and its index, ignoring the results.