Safe Haskell	None
Language	Haskell2010

Data.ListZipper

Documentation

data ListZipper a Source #

Constructors

ListZipper [a] a [a]

Instances

Functor ListZipper Source #
Instance details Defined in Data.ListZipper Methods fmap :: (a -> b) -> ListZipper a -> ListZipper b # (<$) :: a -> ListZipper b -> ListZipper a #
Applicative ListZipper Source #
Instance details Defined in Data.ListZipper Methods pure :: a -> ListZipper a # (<>) :: ListZipper (a -> b) -> ListZipper a -> ListZipper b # liftA2 :: (a -> b -> c) -> ListZipper a -> ListZipper b -> ListZipper c # (>) :: ListZipper a -> ListZipper b -> ListZipper b # (<*) :: ListZipper a -> ListZipper b -> ListZipper a #
Foldable ListZipper Source #
Instance details Defined in Data.ListZipper Methods fold :: Monoid m => ListZipper m -> m # foldMap :: Monoid m => (a -> m) -> ListZipper a -> m # foldr :: (a -> b -> b) -> b -> ListZipper a -> b # foldr' :: (a -> b -> b) -> b -> ListZipper a -> b # foldl :: (b -> a -> b) -> b -> ListZipper a -> b # foldl' :: (b -> a -> b) -> b -> ListZipper a -> b # foldr1 :: (a -> a -> a) -> ListZipper a -> a # foldl1 :: (a -> a -> a) -> ListZipper a -> a # toList :: ListZipper a -> [a] # null :: ListZipper a -> Bool # length :: ListZipper a -> Int # elem :: Eq a => a -> ListZipper a -> Bool # maximum :: Ord a => ListZipper a -> a # minimum :: Ord a => ListZipper a -> a # sum :: Num a => ListZipper a -> a # product :: Num a => ListZipper a -> a #
Traversable ListZipper Source #
Instance details Defined in Data.ListZipper Methods traverse :: Applicative f => (a -> f b) -> ListZipper a -> f (ListZipper b) # sequenceA :: Applicative f => ListZipper (f a) -> f (ListZipper a) # mapM :: Monad m => (a -> m b) -> ListZipper a -> m (ListZipper b) # sequence :: Monad m => ListZipper (m a) -> m (ListZipper a) #
Eq1 ListZipper Source #
Instance details Defined in Data.ListZipper Methods liftEq :: (a -> b -> Bool) -> ListZipper a -> ListZipper b -> Bool #
Show1 ListZipper Source #
Instance details Defined in Data.ListZipper Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ListZipper a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ListZipper a] -> ShowS #
Comonad ListZipper Source #
Instance details Defined in Data.ListZipper Methods extract :: ListZipper a -> a # duplicate :: ListZipper a -> ListZipper (ListZipper a) # extend :: (ListZipper a -> b) -> ListZipper a -> ListZipper b #
Apply ListZipper Source #
Instance details Defined in Data.ListZipper Methods (<.>) :: ListZipper (a -> b) -> ListZipper a -> ListZipper b # (.>) :: ListZipper a -> ListZipper b -> ListZipper b # (<.) :: ListZipper a -> ListZipper b -> ListZipper a # liftF2 :: (a -> b -> c) -> ListZipper a -> ListZipper b -> ListZipper c #
Traversable1 ListZipper Source #
Instance details Defined in Data.ListZipper Methods traverse1 :: Apply f => (a -> f b) -> ListZipper a -> f (ListZipper b) # sequence1 :: Apply f => ListZipper (f b) -> f (ListZipper b) #
Foldable1 ListZipper Source #
Instance details Defined in Data.ListZipper Methods fold1 :: Semigroup m => ListZipper m -> m # foldMap1 :: Semigroup m => (a -> m) -> ListZipper a -> m # toNonEmpty :: ListZipper a -> NonEmpty a #
Extend ListZipper Source #
Instance details Defined in Data.ListZipper Methods duplicated :: ListZipper a -> ListZipper (ListZipper a) # extended :: (ListZipper a -> b) -> ListZipper a -> ListZipper b #
Eq a => Eq (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods (==) :: ListZipper a -> ListZipper a -> Bool # (/=) :: ListZipper a -> ListZipper a -> Bool #
Ord a => Ord (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods compare :: ListZipper a -> ListZipper a -> Ordering # (<) :: ListZipper a -> ListZipper a -> Bool # (<=) :: ListZipper a -> ListZipper a -> Bool # (>) :: ListZipper a -> ListZipper a -> Bool # (>=) :: ListZipper a -> ListZipper a -> Bool # max :: ListZipper a -> ListZipper a -> ListZipper a # min :: ListZipper a -> ListZipper a -> ListZipper a #
Show a => Show (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods showsPrec :: Int -> ListZipper a -> ShowS # show :: ListZipper a -> String # showList :: [ListZipper a] -> ShowS #
Semigroup a => Semigroup (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods (<>) :: ListZipper a -> ListZipper a -> ListZipper a # sconcat :: NonEmpty (ListZipper a) -> ListZipper a # stimes :: Integral b => b -> ListZipper a -> ListZipper a #
Ixed (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods ix :: Index (ListZipper a) -> Traversal' (ListZipper a) (IxValue (ListZipper a)) #
Reversing (ListZipper a) Source #
Instance details Defined in Data.ListZipper Methods reversing :: ListZipper a -> ListZipper a #
HasListZipper (ListZipper a) a Source #
Instance details Defined in Data.ListZipper Methods listZipper :: Lens' (ListZipper a) (ListZipper a) Source # focus :: Lens' (ListZipper a) a Source # lefts :: Lens' (ListZipper a) [a] Source # rights :: Lens' (ListZipper a) [a] Source #
AsListZipper (ListZipper a) a Source #
Instance details Defined in Data.ListZipper Methods _ListZipper :: Prism' (ListZipper a) (ListZipper a) Source #
Each (ListZipper a) (ListZipper a) a a Source #
Instance details Defined in Data.ListZipper Methods each :: Traversal (ListZipper a) (ListZipper a) a a #
type Index (ListZipper a) Source #
Instance details Defined in Data.ListZipper type Index (ListZipper a) = Int
type IxValue (ListZipper a) Source #
Instance details Defined in Data.ListZipper type IxValue (ListZipper a) = a

newtype ListZipperOp a Source #

Constructors

ListZipperOp (ListZipper a -> Maybe (ListZipper a))

Instances

Semigroup (ListZipperOp a) Source #
Instance details Defined in Data.ListZipper Methods (<>) :: ListZipperOp a -> ListZipperOp a -> ListZipperOp a # sconcat :: NonEmpty (ListZipperOp a) -> ListZipperOp a # stimes :: Integral b => b -> ListZipperOp a -> ListZipperOp a #
Monoid (ListZipperOp a) Source #
Instance details Defined in Data.ListZipper Methods mempty :: ListZipperOp a # mappend :: ListZipperOp a -> ListZipperOp a -> ListZipperOp a # mconcat :: [ListZipperOp a] -> ListZipperOp a #
Wrapped (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Associated Types type Unwrapped (ListZipperOp x) :: Type # Methods _Wrapped' :: Iso' (ListZipperOp x) (Unwrapped (ListZipperOp x)) #
ListZipperOp x ~ y => Rewrapped (ListZipperOp w) y Source #
Instance details Defined in Data.ListZipper
type Unwrapped (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper type Unwrapped (ListZipperOp x) = ListZipper x -> Maybe (ListZipper x)

pureListZipperOp :: (ListZipper a -> ListZipper a) -> ListZipperOp a Source #

unpureListZipperOp :: ListZipperOp a -> ListZipper a -> ListZipper a Source #

constListZipperOp :: ListZipper a -> ListZipperOp a Source #

idListZipperOp :: ListZipperOp a Source #

(<||>) :: ListZipperOp a -> ListZipperOp a -> ListZipperOp a infixl 3 Source #

(&^.) :: ListZipperOp a -> ListZipper a -> Maybe (ListZipper a) infixr 5 Source #

moveLeft :: ListZipperOp a Source #

moveRight :: ListZipperOp a Source #

opUntil :: ListZipperOp a -> (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 #

opWhileJust :: ListZipperOp a -> ListZipper a -> ListZipper 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 #

deleteStepLeft :: ListZipperOp a Source #

deleteStepRight :: ListZipperOp a Source #

insertMoveLeft :: a -> ListZipper a -> ListZipper a Source #

insertMoveRight :: a -> ListZipper a -> ListZipper a Source #

class AsListZipper z a | z -> a where Source #

Methods

_ListZipper :: Prism' z (ListZipper a) Source #

Instances

AsListZipper (ListZipper a) a Source #
Instance details Defined in Data.ListZipper Methods _ListZipper :: Prism' (ListZipper a) (ListZipper a) Source #

class HasListZipper z a | z -> a where Source #

Minimal complete definition

listZipper

Methods

listZipper :: Lens' z (ListZipper a) Source #

focus :: Lens' z a Source #

lefts :: Lens' z [a] Source #

rights :: Lens' z [a] Source #

Instances

HasListZipper (ListZipper a) a Source #
Instance details Defined in Data.ListZipper Methods listZipper :: Lens' (ListZipper a) (ListZipper a) Source # focus :: Lens' (ListZipper a) a Source # lefts :: Lens' (ListZipper a) [a] Source # rights :: Lens' (ListZipper a) [a] Source #

lefts' :: HasListZipper z a => Traversal' z a Source #

rights' :: HasListZipper z a => Traversal' z a Source #

leftsrights :: Traversal' (ListZipper a) a Source #

rightslefts :: 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 #