Data.List.ZipNonEmpty
Contents
Description
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.
Instances
| 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.