zipper package:zipper-extra

zipper :: Traversable t => t a -> Maybe (Zipper t a)
zipper-extra Control.Comonad.Zipper.Extra
data Zipper (t :: Type -> Type) a
zipper-extra Control.Comonad.Zipper.Extra
package zipper-extra
Uses
Zipper utils that weren't in Control.Comonad.Store.Zipper Adds some utility functions for and reexports Control.Comonad.Store.Zipper
zipper' :: (MonadThrow m, Traversable t) => t a -> m (Zipper t a)
zipper-extra Control.Comonad.Zipper.Extra
Like zipper but lifted to MonadThrow.
zipper1 :: Traversable1 t => t a -> Zipper t a
zipper-extra Control.Comonad.Zipper.Extra
zipperNextMaybe :: Zipper t a -> Maybe a
zipper-extra Control.Comonad.Zipper.Extra
Return the peek of the next element if it exists.
zipperPreviousMaybe :: Zipper t a -> Maybe a
zipper-extra Control.Comonad.Zipper.Extra
Return the peek of the previous element if it exists.
zipperWithin :: Int -> Zipper t a -> [a]
zipper-extra Control.Comonad.Zipper.Extra
Return a list of elements within r hops either side of the zipper target.
data ZipperException
zipper-extra Control.Comonad.Zipper.Extra
Exception thrown when trying to make an empty zipper.
EmptyZipper :: ZipperException
zipper-extra Control.Comonad.Zipper.Extra
unzipper :: () => Zipper t a -> t a
zipper-extra Control.Comonad.Zipper.Extra