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 | |
Applicative ZipNonEmpty | |
Eq a => Eq (ZipNonEmpty a) | |
Ord a => Ord (ZipNonEmpty a) | |
Show a => Show (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.