Cursor.List.NonEmpty

Documentation

data NonEmptyCursor a b

A 'nonempty list' cursor

Constructors

NonEmptyCursor

Fields

• nonEmptyCursorPrev :: [b]
• nonEmptyCursorCurrent :: a
• nonEmptyCursorNext :: [b]

Instances

Functor (NonEmptyCursor a)

Defined in Cursor.List.NonEmpty

Methods

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

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

(Eq b, Eq a) => Eq (NonEmptyCursor a b)

Defined in Cursor.List.NonEmpty

Methods

(==) :: NonEmptyCursor a b -> NonEmptyCursor a b -> Bool

(/=) :: NonEmptyCursor a b -> NonEmptyCursor a b -> Bool

(Show b, Show a) => Show (NonEmptyCursor a b)

Defined in Cursor.List.NonEmpty

Methods

showsPrec :: Int -> NonEmptyCursor a b -> ShowS

show :: NonEmptyCursor a b -> String

showList :: [NonEmptyCursor a b] -> ShowS

Generic (NonEmptyCursor a b)

Defined in Cursor.List.NonEmpty

Associated Types

type Rep (NonEmptyCursor a b) :: Type -> Type

Methods

from :: NonEmptyCursor a b -> Rep (NonEmptyCursor a b) x

to :: Rep (NonEmptyCursor a b) x -> NonEmptyCursor a b

(Validity a, Validity b) => Validity (NonEmptyCursor a b)

Defined in Cursor.List.NonEmpty

Methods

validate :: NonEmptyCursor a b -> Validation

type Rep (NonEmptyCursor a b)

Defined in Cursor.List.NonEmpty

type Rep (NonEmptyCursor a b) = D1 (MetaData "NonEmptyCursor" "Cursor.List.NonEmpty" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "NonEmptyCursor" PrefixI True) (S1 (MetaSel (Just "nonEmptyCursorPrev") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [b]) :*: (S1 (MetaSel (Just "nonEmptyCursorCurrent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "nonEmptyCursorNext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [b]))))

makeNonEmptyCursor :: (b -> a) -> NonEmpty b -> NonEmptyCursor a b

makeNonEmptyCursorWithSelection :: (b -> a) -> Int -> NonEmpty b -> Maybe (NonEmptyCursor a b)

singletonNonEmptyCursor :: a -> NonEmptyCursor a b

rebuildNonEmptyCursor :: (a -> b) -> NonEmptyCursor a b -> NonEmpty b

nonEmptyCursorElemL :: Lens (NonEmptyCursor a c) (NonEmptyCursor b c) a b

mapNonEmptyCursor :: (a -> c) -> (b -> d) -> NonEmptyCursor a b -> NonEmptyCursor c d

nonEmptyCursorSelectPrev :: (a -> b) -> (b -> a) -> NonEmptyCursor a b -> Maybe (NonEmptyCursor a b)

nonEmptyCursorSelectNext :: (a -> b) -> (b -> a) -> NonEmptyCursor a b -> Maybe (NonEmptyCursor a b)

nonEmptyCursorSelectFirst :: (a -> b) -> (b -> a) -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorSelectLast :: (a -> b) -> (b -> a) -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorSelection :: NonEmptyCursor a b -> Int

nonEmptyCursorSelectIndex :: (a -> b) -> (b -> a) -> Int -> NonEmptyCursor a b -> Maybe (NonEmptyCursor a b)

nonEmptyCursorInsert :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorAppend :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorInsertAndSelect :: (a -> b) -> a -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorAppendAndSelect :: (a -> b) -> a -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorInsertAtStart :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorAppendAtEnd :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorInsertAtStartAndSelect :: (a -> b) -> (b -> a) -> b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorAppendAtEndAndSelect :: (a -> b) -> (b -> a) -> b -> NonEmptyCursor a b -> NonEmptyCursor a b

nonEmptyCursorRemoveElemAndSelectPrev :: (b -> a) -> NonEmptyCursor a b -> Maybe (DeleteOrUpdate (NonEmptyCursor a b))

nonEmptyCursorDeleteElemAndSelectNext :: (b -> a) -> NonEmptyCursor a b -> Maybe (DeleteOrUpdate (NonEmptyCursor a b))

nonEmptyCursorRemoveElem :: (b -> a) -> NonEmptyCursor a b -> DeleteOrUpdate (NonEmptyCursor a b)

nonEmptyCursorDeleteElem :: (b -> a) -> NonEmptyCursor a b -> DeleteOrUpdate (NonEmptyCursor a b)

nonEmptyCursorSearch :: (a -> b) -> (b -> a) -> (a -> Bool) -> NonEmptyCursor a b -> Maybe (NonEmptyCursor a b)

nonEmptyCursorSelectOrAdd :: (a -> b) -> (b -> a) -> (a -> Bool) -> a -> NonEmptyCursor a b -> NonEmptyCursor a b

renderNonEmptyCursor :: ([b] -> a -> [b] -> c) -> NonEmptyCursor a b -> c

nonemptyPrepend :: [a] -> NonEmpty a -> NonEmpty a

nonemptyAppend :: NonEmpty a -> [a] -> NonEmpty a

traverseNonEmptyCursor :: ([b] -> a -> [b] -> f c) -> NonEmptyCursor a b -> f c

foldNonEmptyCursor :: ([b] -> a -> [b] -> c) -> NonEmptyCursor a b -> c