Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Functor (Zipper a) Source # | |
Foldable (Zipper a) Source # | |
Defined in Matterhorn.Zipper fold :: Monoid m => Zipper a m -> m # foldMap :: Monoid m => (a0 -> m) -> Zipper a a0 -> 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] # 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 # |
unsafeFocus :: Zipper a b -> b Source #