mgeneric-0.0.0.2: Generics with multiple parameters

Safe HaskellNone
LanguageHaskell2010

Data.MZip

Synopsis

Documentation

mzipWith :: forall n f fs b. (MZipWith n f fs, MakeZipInputs n fs, ZipWithTypeC n f fs b, ZipInputsC n fs (ZipInputs n fs)) => HList fs -> b Source

mzipWith zips n structures together if they have the same shape, or fails (with Nothing) if the shapes do not match.

mzipWith :: HList '[a11 -> ... -> an1 -> b1, ...] -> f a11 ... a1m -> f an1 ... anm -> f b1 ... bm