Modulecursor-0.3.2.0Haskell2010

Cursor.List.NonEmpty

1 type
31 values

Packagecursor-0.3.2.0
Exports32
LanguageHaskell2010
LicenceMIT
SourceNonEmpty.hs

datadata NonEmptyCursor a b

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-F9X8WOAtgDl2Ee7ztttX2k" '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