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 # leftz :: Lens' (ListZipper a) [a] Source # rightz :: Lens' (ListZipper a) [a] Source #
AsListZipper (ListZipper a) a Source #
Instance details Defined in Data.ListZipper Methods _ListZipper :: Prism' (ListZipper a) (ListZipper a) Source #
MonadReader (ListZipper x) (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods ask :: ListZipperOp x (ListZipper x) # local :: (ListZipper x -> ListZipper x) -> ListZipperOp x a -> ListZipperOp x a # reader :: (ListZipper x -> a) -> ListZipperOp x a #
MonadState (ListZipper x) (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods get :: ListZipperOp x (ListZipper x) # put :: ListZipper x -> ListZipperOp x () # state :: (ListZipper x -> (a, ListZipper x)) -> ListZipperOp x a #
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

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 #

leftz :: Lens' z [a] Source #

rightz :: 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 # 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 x a Source #

Constructors

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

Instances

MonadError () (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods throwError :: () -> ListZipperOp x a # catchError :: ListZipperOp x a -> (() -> ListZipperOp x a) -> ListZipperOp x a #
Monad (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods (>>=) :: ListZipperOp x a -> (a -> ListZipperOp x b) -> ListZipperOp x b # (>>) :: ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x b # return :: a -> ListZipperOp x a # fail :: String -> ListZipperOp x a #
Functor (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods fmap :: (a -> b) -> ListZipperOp x a -> ListZipperOp x b # (<$) :: a -> ListZipperOp x b -> ListZipperOp x a #
MonadFix (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods mfix :: (a -> ListZipperOp x a) -> ListZipperOp x a #
MonadFail (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods fail :: String -> ListZipperOp x a #
Applicative (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods pure :: a -> ListZipperOp x a # (<>) :: ListZipperOp x (a -> b) -> ListZipperOp x a -> ListZipperOp x b # liftA2 :: (a -> b -> c) -> ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x c # (>) :: ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x b # (<*) :: ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x a #
Alternative (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods empty :: ListZipperOp x a # (<\|>) :: ListZipperOp x a -> ListZipperOp x a -> ListZipperOp x a # some :: ListZipperOp x a -> ListZipperOp x [a] # many :: ListZipperOp x a -> ListZipperOp x [a] #
MonadPlus (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods mzero :: ListZipperOp x a # mplus :: ListZipperOp x a -> ListZipperOp x a -> ListZipperOp x a #
Apply (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods (<.>) :: ListZipperOp x (a -> b) -> ListZipperOp x a -> ListZipperOp x b # (.>) :: ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x b # (<.) :: ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x a # liftF2 :: (a -> b -> c) -> ListZipperOp x a -> ListZipperOp x b -> ListZipperOp x c #
Alt (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods (<!>) :: ListZipperOp x a -> ListZipperOp x a -> ListZipperOp x a # some :: Applicative (ListZipperOp x) => ListZipperOp x a -> ListZipperOp x [a] # many :: Applicative (ListZipperOp x) => ListZipperOp x a -> ListZipperOp x [a] #
Bind (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods (>>-) :: ListZipperOp x a -> (a -> ListZipperOp x b) -> ListZipperOp x b # join :: ListZipperOp x (ListZipperOp x a) -> ListZipperOp x a #
MonadReader (ListZipper x) (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods ask :: ListZipperOp x (ListZipper x) # local :: (ListZipper x -> ListZipper x) -> ListZipperOp x a -> ListZipperOp x a # reader :: (ListZipper x -> a) -> ListZipperOp x a #
MonadState (ListZipper x) (ListZipperOp x) Source #
Instance details Defined in Data.ListZipper Methods get :: ListZipperOp x (ListZipper x) # put :: ListZipper x -> ListZipperOp x () # state :: (ListZipper x -> (a, ListZipper x)) -> ListZipperOp x a #
Semigroup (ListZipperOp x y) Source #
Instance details Defined in Data.ListZipper Methods (<>) :: ListZipperOp x y -> ListZipperOp x y -> ListZipperOp x y # sconcat :: NonEmpty (ListZipperOp x y) -> ListZipperOp x y # stimes :: Integral b => b -> ListZipperOp x y -> ListZipperOp x y #
Monoid (ListZipperOp x y) Source #
Instance details Defined in Data.ListZipper Methods mempty :: ListZipperOp x y # mappend :: ListZipperOp x y -> ListZipperOp x y -> ListZipperOp x y # mconcat :: [ListZipperOp x y] -> ListZipperOp x y #
Wrapped (ListZipperOp x' a') Source #
Instance details Defined in Data.ListZipper Associated Types type Unwrapped (ListZipperOp x' a') :: Type # Methods _Wrapped' :: Iso' (ListZipperOp x' a') (Unwrapped (ListZipperOp x' a')) #
ListZipperOp x a ~ t => Rewrapped (ListZipperOp x' a') t Source #
Instance details Defined in Data.ListZipper
AsListZipperOp (ListZipperOp x y) x y Source #
Instance details Defined in Data.ListZipper Methods _ListZipperOp :: Prism' (ListZipperOp x y) (ListZipperOp x y) Source #
HasListZipperOp (ListZipperOp x y) x y Source #
Instance details Defined in Data.ListZipper Methods lo :: Lens' (ListZipperOp x y) (ListZipperOp x y) Source #
type Unwrapped (ListZipperOp x' a') Source #
Instance details Defined in Data.ListZipper type Unwrapped (ListZipperOp x' a') = ListZipper x' -> Maybe (ListZipper x', a')

type ListZipperOp' x = ListZipperOp x () Source #

unListZipperOp' :: ListZipperOp' x -> ListZipper x -> Maybe (ListZipper x) Source #

class HasListZipperOp lo x y | lo -> x y where Source #

Methods

lo :: Lens' lo (ListZipperOp x y) Source #

Instances

HasListZipperOp (ListZipperOp x y) x y Source #
Instance details Defined in Data.ListZipper Methods lo :: Lens' (ListZipperOp x y) (ListZipperOp x y) Source #

class AsListZipperOp t x y | t -> x y where Source #

Methods

_ListZipperOp :: Prism' t (ListZipperOp x y) Source #

Instances

AsListZipperOp (ListZipperOp x y) x y Source #
Instance details Defined in Data.ListZipper Methods _ListZipperOp :: Prism' (ListZipperOp x y) (ListZipperOp x y) Source #

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

mkListZipperOp :: (ListZipper x -> Maybe a) -> ListZipperOp x a Source #

mkListZipperOp' :: (ListZipper x -> Maybe (ListZipper x)) -> ListZipperOp' x Source #

moveLeft :: ListZipperOp' a Source #

moveRight :: ListZipperOp' a Source #

opUntil :: ListZipperOp x () -> (x -> Bool) -> ListZipperOp x () 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 #

deleteStepLeft :: ListZipperOp' a Source #

deleteStepRight :: ListZipperOp' a Source #