A wrapper of `NonEmpty`

that has a zip-like `Applicative`

instance.

- data ZipNonEmpty a
- ne :: ZipNonEmpty a -> NonEmpty a
- zipNe :: NonEmpty a -> ZipNonEmpty a
- usingNe :: (NonEmpty a -> NonEmpty b) -> ZipNonEmpty a -> ZipNonEmpty b
- usingZne :: (ZipNonEmpty a -> ZipNonEmpty b) -> NonEmpty a -> NonEmpty b

# Documentation

data ZipNonEmpty a Source

A wrapper of `NonEmpty`

that has a zip-like `Applicative`

instance.

Functor ZipNonEmpty | |

Typeable1 ZipNonEmpty | |

Applicative ZipNonEmpty | |

Zip ZipNonEmpty | |

Comonad ZipNonEmpty | |

Pointed ZipNonEmpty | |

Copointed ZipNonEmpty | |

Eq a => Eq (ZipNonEmpty a) | |

Data a => Data (ZipNonEmpty a) | |

Ord a => Ord (ZipNonEmpty a) | |

Show a => Show (ZipNonEmpty a) | |

Semigroup (ZipNonEmpty a) |

# Accessors

ne :: ZipNonEmpty a -> NonEmpty aSource

Unwraps a zip-like non-empty list.

zipNe :: NonEmpty a -> ZipNonEmpty aSource

Wraps a non-empty list.

# Combinators

usingNe :: (NonEmpty a -> NonEmpty b) -> ZipNonEmpty a -> ZipNonEmpty bSource

Runs a function for non-empty lists on zip-like non-empty lists.

usingZne :: (ZipNonEmpty a -> ZipNonEmpty b) -> NonEmpty a -> NonEmpty bSource

Runs a function for zip-like non-empty lists on non-empty lists.