Data.List.NonEmptyZipper

Its the Zipper for NonEmpty lists.

Documentation

data NonEmptyZipper a

Constructors

NonEmptyZipper

Fields

• _before :: ![a]
• _current :: !a
• _after :: ![a]

Instances

Functor NonEmptyZipper

Methods

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

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

Applicative NonEmptyZipper

Methods

pure :: a -> NonEmptyZipper a

(<*>) :: NonEmptyZipper (a -> b) -> NonEmptyZipper a -> NonEmptyZipper b

(*>) :: NonEmptyZipper a -> NonEmptyZipper b -> NonEmptyZipper b

(<*) :: NonEmptyZipper a -> NonEmptyZipper b -> NonEmptyZipper a

Eq a => Eq (NonEmptyZipper a)

Methods

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

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

Ord a => Ord (NonEmptyZipper a)

Methods

compare :: NonEmptyZipper a -> NonEmptyZipper a -> Ordering

(<) :: NonEmptyZipper a -> NonEmptyZipper a -> Bool

(<=) :: NonEmptyZipper a -> NonEmptyZipper a -> Bool

(>) :: NonEmptyZipper a -> NonEmptyZipper a -> Bool

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

max :: NonEmptyZipper a -> NonEmptyZipper a -> NonEmptyZipper a

min :: NonEmptyZipper a -> NonEmptyZipper a -> NonEmptyZipper a

Show a => Show (NonEmptyZipper a)

Methods

showsPrec :: Int -> NonEmptyZipper a -> ShowS

show :: NonEmptyZipper a -> String

showList :: [NonEmptyZipper a] -> ShowS

Semigroup (NonEmptyZipper a)

Methods

(<>) :: NonEmptyZipper a -> NonEmptyZipper a -> NonEmptyZipper a

sconcat :: NonEmpty (NonEmptyZipper a) -> NonEmptyZipper a

stimes :: Integral b => b -> NonEmptyZipper a -> NonEmptyZipper a

current :: forall a. Lens' (NonEmptyZipper a) a

before :: forall a. Lens' (NonEmptyZipper a) [a]

after :: forall a. Lens' (NonEmptyZipper a) [a]

next :: NonEmptyZipper a -> NonEmptyZipper a

Advance the current element forward by one. If the current is the last element in the list, we do nothing.

nextMod :: NonEmptyZipper a -> NonEmptyZipper a

Advance the current element forward by one. If the current is the last element in the list, we loop back to the first.

previous :: NonEmptyZipper a -> NonEmptyZipper a

Move the current element backward by one. If the current is the first element in the list, we do nothing.

previousMod :: NonEmptyZipper a -> NonEmptyZipper a

Move the current element backward by one. If the current is the first element in the list, we loop to the last element.

toList :: NonEmptyZipper a -> [a]

Convert to a standard list. Current element information will be lost.

fromNonEmpty :: NonEmpty a -> NonEmptyZipper a

Convert from NonEmpty. The first element will be the current element.

inTheBeginning :: NonEmptyZipper a -> Bool

Is the current selection the first item in the collection?

inTheEnd :: NonEmptyZipper a -> Bool

Is the current selection the last item in the collection?

getPosition :: NonEmptyZipper a -> Int

Get the index of the current element in the collection.

length :: NonEmptyZipper a -> Int

Measure the size of the collection. Will be atleast 1.

head :: NonEmptyZipper a -> a

Get the first element out of the NonEmptyZipper.

init :: NonEmptyZipper a -> Maybe (NonEmptyZipper a)

Get all elements out of the NonEmptyZipper that are not the last element. If there is only one element in the collection, it's Nothing.

last :: NonEmptyZipper a -> a

Get the last element out of the NonEmptyZipper.

tail :: NonEmptyZipper a -> Maybe (NonEmptyZipper a)

Get all elements out of the NonEmptyZipper that are not the first element. If there is only one element in the collection, its Nothing.

reverse :: NonEmptyZipper a -> NonEmptyZipper a

Flip the NonEmptyZipper, maintaining the current element.

cons :: a -> NonEmptyZipper a -> NonEmptyZipper a

Add one element to the front of a NonEmptyZipper.

wrap :: a -> NonEmptyZipper a

This is like pure but more intuitive. The Applicative instance for NonEmptyZipper is likely not what you expect.