Control.Comonad.Store.Zipper

Documentation

data Zipper t a

Instances

ComonadStore Int (Zipper t)

Functor (Zipper t)

Foldable (Zipper t)

Traversable (Zipper t)

Comonad (Zipper t)

Extend (Zipper t)

zipper :: Traversable t => t a -> Maybe (Zipper t a)

zipper1 :: Traversable1 t => t a -> Zipper t a

unzipper :: Zipper t a -> t a

size :: Zipper t a -> Int