Data.ListZipper

data types

data ListZipper a

Constructors

ListZipper [a] a [a]

Instances

Functor ListZipper

Defined in Data.ListZipper

Methods

fmap :: (a -> b) -> ListZipper a -> ListZipper b

(<$) :: a -> ListZipper b -> ListZipper a

Applicative ListZipper

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

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

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

Defined in Data.ListZipper

Methods

liftEq :: (a -> b -> Bool) -> ListZipper a -> ListZipper b -> Bool

Show1 ListZipper

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

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

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

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

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

Defined in Data.ListZipper

Methods

duplicated :: ListZipper a -> ListZipper (ListZipper a)

extended :: (ListZipper a -> b) -> ListZipper a -> ListZipper b

Eq a => Eq (ListZipper a)

Defined in Data.ListZipper

Methods

(==) :: ListZipper a -> ListZipper a -> Bool

(/=) :: ListZipper a -> ListZipper a -> Bool

Ord a => Ord (ListZipper a)

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)

Defined in Data.ListZipper

Methods

showsPrec :: Int -> ListZipper a -> ShowS

show :: ListZipper a -> String

showList :: [ListZipper a] -> ShowS

Semigroup a => Semigroup (ListZipper a)

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)

Defined in Data.ListZipper

Methods

ix :: Index (ListZipper a) -> Traversal' (ListZipper a) (IxValue (ListZipper a))

Reversing (ListZipper a)

Defined in Data.ListZipper

Methods

reversing :: ListZipper a -> ListZipper a

HasListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

listZipper :: Lens' (ListZipper a) (ListZipper a)

focus :: Lens' (ListZipper a) a

leftz :: Lens' (ListZipper a) [a]

rightz :: Lens' (ListZipper a) [a]

AsListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

_ListZipper :: Prism' (ListZipper a) (ListZipper a)

MonadReader (ListZipper a) (ListZipperOp a)

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)

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

Defined in Data.ListZipper

Methods

each :: Traversal (ListZipper a) (ListZipper a) a a

type Index (ListZipper a)

Defined in Data.ListZipper

type Index (ListZipper a) = Int

type IxValue (ListZipper a)

Defined in Data.ListZipper

type IxValue (ListZipper a) = a

newtype ListZipperOp a b

Constructors

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

Instances

MonadError () (ListZipperOp a)

Defined in Data.ListZipper

Methods

throwError :: () -> ListZipperOp a a0

catchError :: ListZipperOp a a0 -> (() -> ListZipperOp a a0) -> ListZipperOp a a0

Monad (ListZipperOp a)

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)

Defined in Data.ListZipper

Methods

fmap :: (a0 -> b) -> ListZipperOp a a0 -> ListZipperOp a b

(<$) :: a0 -> ListZipperOp a b -> ListZipperOp a a0

MonadFix (ListZipperOp a)

Defined in Data.ListZipper

Methods

mfix :: (a0 -> ListZipperOp a a0) -> ListZipperOp a a0

MonadFail (ListZipperOp a)

Defined in Data.ListZipper

Methods

fail :: String -> ListZipperOp a a0

Applicative (ListZipperOp a)

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)

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)

Defined in Data.ListZipper

Methods

mzero :: ListZipperOp a a0

mplus :: ListZipperOp a a0 -> ListZipperOp a a0 -> ListZipperOp a a0

Apply (ListZipperOp a)

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)

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)

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)

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)

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)

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)

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')

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

Defined in Data.ListZipper

AsListZipperOp (ListZipperOp x y) x y

Defined in Data.ListZipper

Methods

_ListZipperOp :: Prism' (ListZipperOp x y) (ListZipperOp x y)

HasListZipperOp (ListZipperOp x y) x y

Defined in Data.ListZipper

Methods

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

type Unwrapped (ListZipperOp a' x')

Defined in Data.ListZipper

type Unwrapped (ListZipperOp a' x') = ListZipper a' -> Maybe (ListZipper a', x')

type ListZipperOp' a = ListZipperOp a ()

lenses and prisms

class AsListZipper z a | z -> a where

Methods

_ListZipper :: Prism' z (ListZipper a)

Instances

AsListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

_ListZipper :: Prism' (ListZipper a) (ListZipper a)

class HasListZipper z a | z -> a where

Minimal complete definition

listZipper

Methods

listZipper :: Lens' z (ListZipper a)

focus :: Lens' z a

leftz :: Lens' z [a]

rightz :: Lens' z [a]

Instances

HasListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

listZipper :: Lens' (ListZipper a) (ListZipper a)

focus :: Lens' (ListZipper a) a

leftz :: Lens' (ListZipper a) [a]

rightz :: Lens' (ListZipper a) [a]

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

Methods

lo :: Lens' lo (ListZipperOp x y)

Instances

HasListZipperOp (ListZipperOp x y) x y

Defined in Data.ListZipper

Methods

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

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

Methods

_ListZipperOp :: Prism' t (ListZipperOp x y)

Instances

AsListZipperOp (ListZipperOp x y) x y

Defined in Data.ListZipper

Methods

_ListZipperOp :: Prism' (ListZipperOp x y) (ListZipperOp x y)

traversals

leftz' :: HasListZipper z a => Traversal' z a

rightz' :: HasListZipper z a => Traversal' z a

leftzrightz :: Traversal' (ListZipper a) a

rightzleftz :: Traversal' (ListZipper a) a

make zippers

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

rezip

list :: ListZipper a -> [a]

indices

zipperIndices :: ListZipper a -> ListZipper (Int, a)

transform

rev :: ListZipper a -> ListZipper a

movement

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

insertion

insertMoveLeft :: a -> ListZipper a -> ListZipper a

insertMoveRight :: a -> ListZipper a -> ListZipper a

deletion

deleteStepLeft :: ListZipperOp a a

deleteStepRight :: ListZipperOp a a

modifcation

modifyFocus :: (a -> a) -> ListZipperOp a a

setFocus :: a -> ListZipperOp a a

focus position

atStart :: HasListZipper z a => z -> Bool

atEnd :: HasListZipper z a => z -> Bool

get context

getFocus :: ListZipperOp a a

getLeft :: ListZipperOp a a

getRight :: ListZipperOp a a

getRightz :: ListZipperOp a [a]

getLeftz :: ListZipperOp a [a]

getList :: ListZipperOp a [a]

list zipper state operations

liftListZipperOp :: Maybe b -> ListZipperOp a b

mkListZipperOp :: (ListZipper a -> Maybe b) -> ListZipperOp a b

(<$~) :: ListZipperOp a b -> ListZipperOp a c -> ListZipperOp a b infixl 5

(*>>) :: (ListZipper a -> Maybe b) -> ListZipperOp a c -> ListZipperOp a b infixl 5

(<<*) :: ListZipperOp a c -> (ListZipper a -> Maybe b) -> ListZipperOp a b infixl 5

mkListZipperOp' :: (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp' a

(.>>) :: (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp a b -> ListZipperOp' a infixl 5

(<<.) :: ListZipperOp a b -> (ListZipper a -> Maybe (ListZipper a)) -> ListZipperOp' a infixl 5

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) infixl 6

(<##) :: ListZipper a -> ListZipperOp a x -> Maybe (ListZipper a) infixl 6

evalListZipperOp :: ListZipperOp a x -> ListZipper a -> Maybe x

(&&>) :: ListZipperOp a x -> ListZipper a -> Maybe x infixl 6

(<&&) :: ListZipper a -> ListZipperOp a x -> Maybe x infixl 6

execOpList :: ListZipperOp a x -> ListZipper a -> Maybe [a]

(%%>) :: ListZipperOp a x -> ListZipper a -> Maybe [a] infixl 5

(<%%) :: ListZipper a -> ListZipperOp a x -> Maybe [a] infixl 5

execOpList' :: ListZipperOp a x -> ListZipper a -> [a]

($$>) :: ListZipperOp a x -> ListZipper a -> [a] infixl 5

(<$$) :: ListZipper a -> ListZipperOp a x -> [a] infixl 5

opWhileJust :: ListZipperOp' a -> ListZipper a -> ListZipper a