Modulecursor-0.3.2.0Haskell2010

Cursor.List.NonEmpty

Synopsis

data NonEmptyCursor
value makeNonEmptyCursor
value makeNonEmptyCursorWithSelection
value singletonNonEmptyCursor
value rebuildNonEmptyCursor
value nonEmptyCursorElemL
value mapNonEmptyCursor
value nonEmptyCursorSelectPrev
value nonEmptyCursorSelectNext
value nonEmptyCursorSelectFirst
value nonEmptyCursorSelectLast
value nonEmptyCursorSelection
value nonEmptyCursorSelectIndex
value nonEmptyCursorInsert
value nonEmptyCursorAppend
value nonEmptyCursorInsertAndSelect
value nonEmptyCursorAppendAndSelect
value nonEmptyCursorInsertAtStart
value nonEmptyCursorAppendAtEnd
value nonEmptyCursorInsertAtStartAndSelect
value nonEmptyCursorAppendAtEndAndSelect
value nonEmptyCursorRemoveElemAndSelectPrev
value nonEmptyCursorDeleteElemAndSelectNext
value nonEmptyCursorRemoveElem
value nonEmptyCursorDeleteElem
value nonEmptyCursorSearch
value nonEmptyCursorSelectOrAdd
value renderNonEmptyCursor
value nonemptyPrepend
value nonemptyAppend
value traverseNonEmptyCursor
value foldNonEmptyCursor

Packagecursor-0.3.2.0
Exports32
LanguageHaskell2010
LicenceMIT
SourceNonEmpty.hs

datadata NonEmptyCursor a b

Source#

A 'nonempty list' cursor

Constructors

NonEmptyCursor
- nonEmptyCursorPrev :: [b]
- nonEmptyCursorCurrent :: a
- nonEmptyCursorNext :: [b]

Instances7Functor, Eq, Show, Generic, NFData, Validity, …

Functor (NonEmptyCursor a)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
(Eq b, Eq a) => Eq (NonEmptyCursor a b)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
(Show b, Show a) => Show (NonEmptyCursor a b)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
Generic (NonEmptyCursor a b)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
(NFData a, NFData b) => NFData (NonEmptyCursor a b)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
(Validity a, Validity b) => Validity (NonEmptyCursor a b)Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty
type Rep (NonEmptyCursor a b) = D1 ('MetaData "NonEmptyCursor" "Cursor.List.NonEmpty" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" '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]))))Defined in cursor-0.3.2.0 · Cursor.List.NonEmpty

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

valuemakeNonEmptyCursorWithSelection

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

valuesingletonNonEmptyCursor :: a -> NonEmptyCursor a b

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

valuenonEmptyCursorElemL

:: Functor f
=> a -> f b
-> NonEmptyCursor a c
-> f (NonEmptyCursor b c)

valuemapNonEmptyCursor

:: a -> c
-> b -> d
-> NonEmptyCursor a b
-> NonEmptyCursor c d

valuenonEmptyCursorSelectPrev

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

valuenonEmptyCursorSelectNext

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

valuenonEmptyCursorSelectFirst

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

valuenonEmptyCursorSelectLast

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

valuenonEmptyCursorSelection :: NonEmptyCursor a b -> Int

valuenonEmptyCursorSelectIndex

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

valuenonEmptyCursorInsert :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

valuenonEmptyCursorAppend :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

valuenonEmptyCursorInsertAndSelect

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

valuenonEmptyCursorAppendAndSelect

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

valuenonEmptyCursorInsertAtStart :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

valuenonEmptyCursorAppendAtEnd :: b -> NonEmptyCursor a b -> NonEmptyCursor a b

valuenonEmptyCursorInsertAtStartAndSelect

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

valuenonEmptyCursorAppendAtEndAndSelect

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

valuenonEmptyCursorRemoveElemAndSelectPrev

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

valuenonEmptyCursorDeleteElemAndSelectNext

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

valuenonEmptyCursorRemoveElem

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

valuenonEmptyCursorDeleteElem

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

valuenonEmptyCursorSearch

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

valuenonEmptyCursorSelectOrAdd

:: a -> b
-> b -> a
-> a -> Bool
-> a
-> NonEmptyCursor a b
-> NonEmptyCursor a b

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

valuenonemptyPrepend :: [a] -> NonEmpty a -> NonEmpty a

valuenonemptyAppend :: NonEmpty a -> [a] -> NonEmpty a

valuetraverseNonEmptyCursor

:: [b] -> a -> [b] -> f c
-> NonEmptyCursor a b
-> f c

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