Data.List.Pointed

newtype Pointed a

Constructors

• Pointed { focus :: a, reversedPrefix :: List a, suffix :: List a }

Instances

• Functor Pointed
• Newtype (Pointed a) _
• Extend Pointed
• Comonad Pointed
• Foldable Pointed
• Traversable Pointed
• Foldable1 Pointed
• (Eq a) => Eq (Pointed a)
• Eq1 Pointed

fromFoldable :: forall f a. Foldable f => f a -> Maybe (Pointed a)

Build and set focus at the end.

singleton :: forall a. a -> Pointed a

next :: forall a. Pointed a -> Maybe (Pointed a)

prev :: forall a. Pointed a -> Maybe (Pointed a)

replace :: forall a. a -> Pointed a -> Pointed a

insertLeft :: forall a. a -> Pointed a -> Pointed a

Insert element before current focus and move focus to the new one.

insertRight :: forall a. a -> Pointed a -> Pointed a

deleteLeft :: forall a. Pointed a -> Maybe (Pointed a)

Delete current focus and move to the left if possible.

deleteRight :: forall a. Pointed a -> Maybe (Pointed a)

Delete current focus and move to the right if possible.

moveLeft :: forall a. Pointed a -> Maybe (Pointed a)

moveRight :: forall a. Pointed a -> Maybe (Pointed a)

dropPrefix :: forall a. Pointed a -> Pointed a

dropSuffix :: forall a. Pointed a -> Pointed a

first :: forall a. Pointed a -> Pointed a

Change focus so it points at first element.

last :: forall a. Pointed a -> Pointed a

Change focus so it points at last element.

atStart :: forall a. Pointed a -> Boolean

atEnd :: forall a. Pointed a -> Boolean