Safe Haskell	None
Language	Haskell2010

Data.ListZipper

Contents

data types
lenses and prisms
traversals
make zippers
rezip
indices
transform
movement
insertion
deletion
modifcation
focus position
get context
list zipper state operations

Synopsis

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

data types

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 a) (ListZipperOp a) Source #
Instance details Defined in Data.ListZipper Methods ask :: ListZipperOp a (ListZipper a) # local :: (ListZipper a -> ListZipper a) -> ListZipperOp a a0 -> ListZipperOp a a0 # reader :: (ListZipper a -> a0) -> ListZipperOp a a0 #
MonadState (ListZipper a) (ListZipperOp a) Source #
Instance details Defined in Data.ListZipper Methods get :: ListZipperOp a (ListZipper a) # put :: ListZipper a -> ListZipperOp a () # state :: (ListZipper a -> (a0, ListZipper a)) -> ListZipperOp a a0 #
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 b Source #

Constructors

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

Instances

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

type ListZipperOp' a = ListZipperOp a () Source #

lenses and prisms

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 #

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 #