Portability | GHC only |
---|---|

Stability | experimental |

Maintainer | ekmett@gmail.com |

Safe Haskell | Safe-Inferred |

Combinators used internally by `Numeric.AD`

- zipWithT :: (Foldable f, Traversable g) => (a -> b -> c) -> f a -> g b -> g c
- zipWithDefaultT :: (Foldable f, Traversable g) => a -> (a -> b -> c) -> f a -> g b -> g c

# Documentation

zipWithT :: (Foldable f, Traversable g) => (a -> b -> c) -> f a -> g b -> g cSource

Zip a

with a `Foldable`

f

assuming `Traversable`

g`f`

has at least as many entries as `g`

.

zipWithDefaultT :: (Foldable f, Traversable g) => a -> (a -> b -> c) -> f a -> g b -> g cSource

Zip a

with a `Foldable`

f

assuming `Traversable`

g`f`

, using a default value after `f`

is exhausted.