Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data ListZipper a Source #
ListZipper [a] a [a] |
Instances
class AsListZipper z a | z -> a where Source #
_ListZipper :: Prism' z (ListZipper a) Source #
Instances
AsListZipper (ListZipper a) a Source # | |
Defined in Data.ListZipper _ListZipper :: Prism' (ListZipper a) (ListZipper a) Source # |
class HasListZipper z a | z -> a where Source #
listZipper :: Lens' z (ListZipper a) Source #
Instances
HasListZipper (ListZipper a) a Source # | |
Defined in Data.ListZipper listZipper :: Lens' (ListZipper a) (ListZipper a) Source # focus :: Lens' (ListZipper a) a Source # leftz :: Lens' (ListZipper a) [a] Source # rightz :: Lens' (ListZipper a) [a] Source # |
leftz' :: HasListZipper z a => Traversal' z a Source #
rightz' :: HasListZipper z a => Traversal' z a Source #
leftzrightz :: Traversal' (ListZipper a) a Source #
rightzleftz :: Traversal' (ListZipper a) a Source #
zipper :: [a] -> Maybe (ListZipper a) Source #
zipper0L :: a -> [a] -> ListZipper a Source #
zipper0L' :: NonEmpty a -> ListZipper a Source #
zipper0R :: [a] -> a -> ListZipper a Source #
zipper0R' :: NonEmpty a -> ListZipper a Source #
list :: ListZipper a -> [a] Source #
zipperIndices :: ListZipper a -> ListZipper (Int, a) Source #
moveStart :: ListZipper a -> ListZipper a Source #
moveEnd :: ListZipper a -> ListZipper a Source #
atStart :: HasListZipper z a => z -> Bool Source #
atEnd :: HasListZipper z a => z -> Bool Source #
moveLeftLoop :: ListZipper a -> ListZipper a Source #
moveRightLoop :: ListZipper a -> ListZipper a Source #
insertMoveLeft :: a -> ListZipper a -> ListZipper a Source #
insertMoveRight :: a -> ListZipper a -> ListZipper a Source #
newtype ListZipperOp a b Source #
ListZipperOp (ListZipper a -> Maybe (ListZipper a, b)) |
Instances
type ListZipperOp' a = ListZipperOp a () Source #
class HasListZipperOp lo x y | lo -> x y where Source #
lo :: Lens' lo (ListZipperOp x y) Source #
Instances
HasListZipperOp (ListZipperOp x y) x y Source # | |
Defined in Data.ListZipper lo :: Lens' (ListZipperOp x y) (ListZipperOp x y) Source # |
class AsListZipperOp t x y | t -> x y where Source #
_ListZipperOp :: Prism' t (ListZipperOp x y) Source #
Instances
AsListZipperOp (ListZipperOp x y) x y Source # | |
Defined in Data.ListZipper _ListZipperOp :: Prism' (ListZipperOp x y) (ListZipperOp x y) Source # |
getFocus :: ListZipperOp a a Source #
getRightz :: ListZipperOp a [a] Source #
getLeftz :: ListZipperOp a [a] Source #
getList :: ListZipperOp a [a] Source #
mkListZipperOp :: (ListZipper a -> Maybe b) -> ListZipperOp a b Source #
(*>>) :: (ListZipper a -> Maybe b) -> ListZipperOp a c -> ListZipperOp a b infixl 5 Source #
(<<*) :: ListZipperOp a c -> (ListZipper a -> Maybe b) -> ListZipperOp a b infixl 5 Source #
mkListZipperOp' :: (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp' a Source #
(.>>) :: (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp a b -> ListZipperOp' a infixl 5 Source #
(<<.) :: ListZipperOp a b -> (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp' a infixl 5 Source #
runListZipperOp :: ListZipperOp a x -> ListZipper a -> Maybe (ListZipper a, x) Source #
execListZipperOp :: ListZipperOp a x -> ListZipper a -> Maybe (ListZipper a) Source #
(##>) :: ListZipperOp a x -> ListZipper a -> Maybe (ListZipper a) infixl 6 Source #
(<##) :: ListZipper a -> ListZipperOp a x -> Maybe (ListZipper a) infixl 6 Source #
evalListZipperOp :: ListZipperOp a x -> ListZipper a -> Maybe x Source #
(&&>) :: ListZipperOp a x -> ListZipper a -> Maybe x infixl 6 Source #
(<&&) :: ListZipper a -> ListZipperOp a x -> Maybe x infixl 6 Source #
execOpList :: ListZipperOp a x -> ListZipper a -> Maybe [a] Source #
(%%>) :: ListZipperOp a x -> ListZipper a -> Maybe [a] infixl 5 Source #
(<%%) :: ListZipper a -> ListZipperOp a x -> Maybe [a] infixl 5 Source #
execOpList' :: ListZipperOp a x -> ListZipper a -> [a] Source #
($$>) :: ListZipperOp a x -> ListZipper a -> [a] infixl 5 Source #
(<$$) :: ListZipper a -> ListZipperOp a x -> [a] infixl 5 Source #
moveLeft :: ListZipperOp' a Source #
moveRight :: ListZipperOp' a Source #
opWith :: ListZipperOp a b -> (a -> Maybe c) -> ListZipperOp a c Source #
moveLeftWith :: (a -> Maybe c) -> ListZipperOp a c Source #
moveRightWith :: (a -> Maybe c) -> ListZipperOp a c Source #
moveLeftRightWith :: (a -> Maybe c) -> ListZipperOp a c Source #
moveRightLeftWith :: (a -> Maybe c) -> ListZipperOp a c Source #
opWithThen :: ListZipperOp a b -> (a -> Maybe c) -> ListZipperOp a c Source #
moveLeftWithThen :: (a -> Maybe c) -> ListZipperOp a c Source #
moveRightWithThen :: (a -> Maybe c) -> ListZipperOp a c Source #
moveLeftRightWithThen :: (a -> Maybe c) -> ListZipperOp a c Source #
moveRightLeftWithThen :: (a -> Maybe c) -> ListZipperOp a c Source #
opUntil :: ListZipperOp a x -> (a -> Bool) -> ListZipperOp' a Source #
moveLeftUntil :: (a -> Bool) -> ListZipperOp' a Source #
moveRightUntil :: (a -> Bool) -> ListZipperOp' a Source #
moveLeftRightUntil :: (a -> Bool) -> ListZipperOp' a Source #
moveRightLeftUntil :: (a -> Bool) -> ListZipperOp' a Source #
opUntilThen :: ListZipperOp a x -> (a -> Bool) -> ListZipperOp' a Source #
moveLeftUntilThen :: (a -> Bool) -> ListZipperOp' a Source #
moveRightUntilThen :: (a -> Bool) -> ListZipperOp' a Source #
moveLeftRightUntilThen :: (a -> Bool) -> ListZipperOp' a Source #
moveRightLeftUntilThen :: (a -> Bool) -> ListZipperOp' a Source #
opWhileJust :: ListZipperOp' a -> ListZipper a -> ListZipper a Source #