zipWithM -package:streamly-core

zipWithM :: Applicative m => (a -> b -> m c) -> [a] -> [b] -> m [c]
base Control.Monad, base-compat Control.Monad.Compat, protolude Protolude.Monad, relude Relude.Monad.Reexport, rio RIO.Prelude, base-prelude BasePrelude, universum Universum.Monad.Reexport, ihaskell IHaskellPrelude, base-compat-batteries Control.Monad.Compat, ghc-internal GHC.Internal.Control.Monad, rebase Rebase.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, faktory Faktory.Prelude, can-i-haz Control.Monad.Except.CoHas Control.Monad.Reader.Has, vcr Imports, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude
The zipWithM function generalizes zipWith to arbitrary applicative functors.
zipWithM :: (a -> b -> IO c) -> InputStream a -> InputStream b -> IO (InputStream c)
io-streams System.IO.Streams.Combinators
Combines two input streams using the supplied monadic function. Continues yielding elements from both input streams until one of them finishes.
zipWithM :: (Monad m, Vector v a, Vector v b, Vector v c) => (a -> b -> m c) -> v a -> v b -> m (v c)
rio RIO.Vector
O(min(m,n)) Zip the two vectors with the monadic action and yield a vector of results
zipWithM :: Monad m => (a -> b -> m c) -> Vector a -> Vector b -> m (Vector c)
rio RIO.Vector.Boxed
O(min(m,n)) Zip the two vectors with the monadic action and yield a vector of results
zipWithM :: (Monad m, Storable a, Storable b, Storable c) => (a -> b -> m c) -> Vector a -> Vector b -> m (Vector c)
rio RIO.Vector.Storable
O(min(m,n)) Zip the two vectors with the monadic action and yield a vector of results
zipWithM :: (Monad m, Unbox a, Unbox b, Unbox c) => (a -> b -> m c) -> Vector a -> Vector b -> m (Vector c)
rio RIO.Vector.Unboxed
O(min(m,n)) Zip the two vectors with the monadic action and yield a vector of results
zipWithM :: (IsStream t, Monad m) => (a -> b -> m c) -> t m a -> t m b -> t m c
streamly Streamly.Internal.Data.Stream.IsStream Streamly.Internal.Data.Stream.IsStream Streamly.Prelude
Like zipWith but using a monadic zipping function.
zipWithM :: (Monad m, Vector v a, Vector v b, Vector v c) => (a -> b -> m c) -> Vector v n a -> Vector v n b -> m (Vector v n c)
vector-sized Data.Vector.Generic.Sized
O(n) Zip the two vectors of the same length with the monadic action and yield a vector of results.
zipWithM :: (Monad m, Prim a, Prim b, Prim c) => (a -> b -> m c) -> Vector n a -> Vector n b -> m (Vector n c)
vector-sized Data.Vector.Primitive.Sized
O(n) Zip the two vectors of the same length with the monadic action and yield a vector of results.
zipWithM :: Monad m => (a -> b -> m c) -> Vector n a -> Vector n b -> m (Vector n c)
vector-sized Data.Vector.Sized
O(n) Zip the two vectors of the same length with the monadic action and yield a vector of results.
zipWithM :: (Monad m, Storable a, Storable b, Storable c) => (a -> b -> m c) -> Vector n a -> Vector n b -> m (Vector n c)
vector-sized Data.Vector.Storable.Sized
O(n) Zip the two vectors of the same length with the monadic action and yield a vector of results.
zipWithM :: (Monad m, Unbox a, Unbox b, Unbox c) => (a -> b -> m c) -> Vector n a -> Vector n b -> m (Vector n c)
vector-sized Data.Vector.Unboxed.Sized
O(n) Zip the two vectors of the same length with the monadic action and yield a vector of results.
zipWithM :: Applicative m => (forall x . f x -> g x -> m (h x)) -> Assignment f a -> Assignment g a -> m (Assignment h a)
parameterized-utils Data.Parameterized.Context
zipWithM :: Monad m => (a -> b -> m c) -> Vector n a -> Vector n b -> m (Vector n c)
parameterized-utils Data.Parameterized.Vector
zipWithM :: Applicative m => (a -> b -> m c) -> List1 a -> List1 b -> m (List1 c)
Agda Agda.Utils.List1
Like zipWithM.
zipWithM :: (Vector v a, Vector v b, Vector v c, Applicative f) => (a -> b -> f c) -> v a -> v b -> f (v c)
fixed-vector Data.Vector.Fixed
Zip two vector together using monadic function.
zipWithM :: (Arity n, Applicative f) => (a -> b -> f c) -> ContVec n a -> ContVec n b -> f (ContVec n c)
fixed-vector Data.Vector.Fixed.Cont
Zip two vector together using monadic function.
zipWithM :: (Context a, Context b, Context c, Monad m) => (a -> b -> m c) -> Matrix a -> Matrix b -> m (Matrix c)
matrices Data.Matrix Data.Matrix.Storable Data.Matrix.Unboxed
zipWithM :: (Monad m, Vector v a, Vector v b, Vector v c) => (a -> b -> m c) -> Matrix v a -> Matrix v b -> m (Matrix v c)
matrices Data.Matrix.Generic
zipWithM :: Monad m => (a -> b -> m c) -> NonEmptyVector a -> NonEmptyVector b -> m (NonEmptyVector c)
nonempty-vector Data.Vector.NonEmpty
O(min(m,n)) Zip the two non-empty vectors with the monadic action and yield a non-empty vector of results.
zipWithM :: (Monad m, Vector u a, Vector v b, Vector u c, Vector v d, Vector u e, Vector v f) => ((a, b) -> (c, d) -> m (e, f)) -> Vector u v (a, b) -> Vector u v (c, d) -> m (Vector u v (e, f))
hybrid-vectors Data.Vector.Hybrid
O(min(m,n)) Zip the two vectors with the monadic action and yield a vector of results
zipWithM :: (Monad m, Unboxable a, Unboxable b, Unboxable c) => (a -> b -> m c) -> Vector a -> Vector b -> m (Vector c)
unboxing-vector Data.Vector.Unboxing
zipWithM :: Monad m => (a -> b -> m c) -> Stream m a -> Stream m b -> Stream m c
vector-stream Data.Stream.Monadic
Zip two Streams with the given monadic function
zipWithM :: Applicative m => a -> b -> m c -> [a] -> [b] -> m [c]
control-monad-free Control.Monad.Free
The zipWithM function generalizes zipWith to arbitrary applicative functors.
type family ZipWithM (a1 :: a ~> b ~> m c) (a2 :: [a]) (a3 :: [b]) :: m [c]
singletons-base Control.Monad.Singletons