Matterhorn.Zipper

Documentation

data Zipper a b

Instances

Functor (Zipper a)

Defined in Matterhorn.Zipper

Methods

fmap :: (a0 -> b) -> Zipper a a0 -> Zipper a b

(<$) :: a0 -> Zipper a b -> Zipper a a0

Foldable (Zipper a)

Defined in Matterhorn.Zipper

Methods

fold :: Monoid m => Zipper a m -> m

foldMap :: Monoid m => (a0 -> m) -> Zipper a a0 -> m

foldr :: (a0 -> b -> b) -> b -> Zipper a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> Zipper a a0 -> b

foldl :: (b -> a0 -> b) -> b -> Zipper a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> Zipper a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> Zipper a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> Zipper a a0 -> a0

toList :: Zipper a a0 -> [a0]

null :: Zipper a a0 -> Bool

length :: Zipper a a0 -> Int

elem :: Eq a0 => a0 -> Zipper a a0 -> Bool

maximum :: Ord a0 => Zipper a a0 -> a0

minimum :: Ord a0 => Zipper a a0 -> a0

sum :: Num a0 => Zipper a a0 -> a0

product :: Num a0 => Zipper a a0 -> a0

fromList :: Eq b => [(a, [b])] -> Zipper a b

toList :: Zipper a b -> [(a, [b])]

focus :: Zipper a b -> Maybe b

unsafeFocus :: Zipper a b -> b

left :: Zipper a b -> Zipper a b

leftL :: Lens (Zipper a b) (Zipper a b) (Zipper a b) (Zipper a b)

right :: Zipper a b -> Zipper a b

rightL :: Lens (Zipper a b) (Zipper a b) (Zipper a b) (Zipper a b)

findRight :: (b -> Bool) -> Zipper a b -> Zipper a b

maybeFindRight :: (b -> Bool) -> Zipper a b -> Maybe (Zipper a b)

updateList :: Eq b => [(a, [b])] -> Zipper a b -> Zipper a b

updateListBy :: Eq b => (Maybe b -> b -> Bool) -> [(a, [b])] -> Zipper a b -> Zipper a b

filterZipper :: Eq b => (b -> Bool) -> Zipper a b -> Zipper a b

maybeMapZipper :: Eq c => (b -> Maybe c) -> Zipper a b -> Zipper a c

isEmpty :: Zipper a b -> Bool