Data.ListZipper

Documentation

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

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

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

AsListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

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

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

Constructors

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

Instances

Semigroup (ListZipperOp a)

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)

Defined in Data.ListZipper

Methods

mempty :: ListZipperOp a

mappend :: ListZipperOp a -> ListZipperOp a -> ListZipperOp a

mconcat :: [ListZipperOp a] -> ListZipperOp a

Wrapped (ListZipperOp x)

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

Defined in Data.ListZipper

type Unwrapped (ListZipperOp x)

Defined in Data.ListZipper

type Unwrapped (ListZipperOp x) = ListZipper x -> Maybe (ListZipper x)

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

unpureListZipperOp :: ListZipperOp a -> ListZipper a -> ListZipper a

constListZipperOp :: ListZipper a -> ListZipperOp a

idListZipperOp :: ListZipperOp a

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

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

moveLeft :: ListZipperOp a

moveRight :: ListZipperOp a

opUntil :: ListZipperOp a -> (a -> Bool) -> ListZipperOp a

moveLeftUntil :: (a -> Bool) -> ListZipperOp a

moveRightUntil :: (a -> Bool) -> ListZipperOp a

moveLeftRightUntil :: (a -> Bool) -> ListZipperOp a

moveRightLeftUntil :: (a -> Bool) -> ListZipperOp a

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

moveStart :: ListZipper a -> ListZipper a

moveEnd :: ListZipper a -> ListZipper a

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

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

moveLeftLoop :: ListZipper a -> ListZipper a

moveRightLoop :: ListZipper a -> ListZipper a

deleteStepLeft :: ListZipperOp a

deleteStepRight :: ListZipperOp a

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

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

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

lefts :: Lens' z [a]

rights :: Lens' z [a]

Instances

HasListZipper (ListZipper a) a

Defined in Data.ListZipper

Methods

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

focus :: Lens' (ListZipper a) a

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

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

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

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

leftsrights :: Traversal' (ListZipper a) a

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