Documentation

Methods

pos :: Zipper t a -> Int #

peek :: Int -> Zipper t a -> a #

peeks :: (Int -> Int) -> Zipper t a -> a #

seek :: Int -> Zipper t a -> Zipper t a #

seeks :: (Int -> Int) -> Zipper t a -> Zipper t a #

experiment :: Functor f => (Int -> f Int) -> Zipper t a -> f a #

Methods

fmap :: (a -> b) -> Zipper t a -> Zipper t b #

(<$) :: a -> Zipper t b -> Zipper t a #

Methods

fold :: Monoid m => Zipper t m -> m #

foldMap :: Monoid m => (a -> m) -> Zipper t a -> m #

foldr :: (a -> b -> b) -> b -> Zipper t a -> b #

foldr' :: (a -> b -> b) -> b -> Zipper t a -> b #

foldl :: (b -> a -> b) -> b -> Zipper t a -> b #

foldl' :: (b -> a -> b) -> b -> Zipper t a -> b #

foldr1 :: (a -> a -> a) -> Zipper t a -> a #

foldl1 :: (a -> a -> a) -> Zipper t a -> a #

toList :: Zipper t a -> [a] #

null :: Zipper t a -> Bool #

length :: Zipper t a -> Int #

elem :: Eq a => a -> Zipper t a -> Bool #

maximum :: Ord a => Zipper t a -> a #

minimum :: Ord a => Zipper t a -> a #

sum :: Num a => Zipper t a -> a #

product :: Num a => Zipper t a -> a #

Methods

traverse :: Applicative f => (a -> f b) -> Zipper t a -> f (Zipper t b) #

sequenceA :: Applicative f => Zipper t (f a) -> f (Zipper t a) #

mapM :: Monad m => (a -> m b) -> Zipper t a -> m (Zipper t b) #

sequence :: Monad m => Zipper t (m a) -> m (Zipper t a) #

Methods

extract :: Zipper t a -> a #

duplicate :: Zipper t a -> Zipper t (Zipper t a) #

extend :: (Zipper t a -> b) -> Zipper t a -> Zipper t b #

Methods

duplicated :: Zipper t a -> Zipper t (Zipper t a) #

extended :: (Zipper t a -> b) -> Zipper t a -> Zipper t b #