Modulecursor-0.3.2.0Haskell2010

Cursor.Map

1 type
34 values

Packagecursor-0.3.2.0
Exports35
LanguageHaskell2010
LicenceMIT

newtypenewtype MapCursor kc vc k v

Constructors

MapCursor
- mapCursorList :: NonEmptyCursor (KeyValueCursor kc vc k v) (k, v)

Instances6Eq, Show, Generic, NFData, Validity, Rep

(Eq k, Eq v, Eq kc, Eq vc) => Eq (MapCursor kc vc k v)Defined in cursor-0.3.2.0 · Cursor.Map
(Show k, Show v, Show kc, Show vc) => Show (MapCursor kc vc k v)Defined in cursor-0.3.2.0 · Cursor.Map
Generic (MapCursor kc vc k v)Defined in cursor-0.3.2.0 · Cursor.Map
(NFData kc, NFData vc, NFData k, NFData v) => NFData (MapCursor kc vc k v)Defined in cursor-0.3.2.0 · Cursor.Map
(Validity kc, Validity vc, Validity k, Validity v) => Validity (MapCursor kc vc k v)Defined in cursor-0.3.2.0 · Cursor.Map
type Rep (MapCursor kc vc k v) = D1 ('MetaData "MapCursor" "Cursor.Map" "cursor-0.3.2.0-F9X8WOAtgDl2Ee7ztttX2k" 'True) (C1 ('MetaCons "MapCursor" 'PrefixI 'True) (S1 ('MetaSel ('Just "mapCursorList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyCursor (KeyValueCursor kc vc k v) (k, v)))))Defined in cursor-0.3.2.0 · Cursor.Map

valuemakeMapCursor :: (k -> kc) -> NonEmpty (k, v) -> MapCursor kc vc k v

valuemakeMapCursorWithSelection

:: k -> kc
-> Int
-> NonEmpty (k, v)
-> Maybe (MapCursor kc vc k v)

valuesingletonMapCursorKey :: kc -> v -> MapCursor kc vc k v

valuesingletonMapCursorValue :: k -> vc -> MapCursor kc vc k v

valuerebuildMapCursor

:: kc -> k
-> vc -> v
-> MapCursor kc vc k v
-> NonEmpty (k, v)

valuemapMapCursor

:: kc -> lc
-> vc -> wc
-> k -> l
-> v -> w
-> MapCursor kc vc k v
-> MapCursor lc wc l w

valuemapCursorNonEmptyCursorL

:: Functor f
=> NonEmptyCursor (KeyValueCursor kc vc k v) (k, v) -> f (NonEmptyCursor (KeyValueCursor lc wc l w) (l, w))
-> MapCursor kc vc k v
-> f (MapCursor lc wc l w)

valuemapCursorElemL

:: Functor f
=> KeyValueCursor kc vc k v -> f (KeyValueCursor kc' vc' k v)
-> MapCursor kc vc k v
-> f (MapCursor kc' vc' k v)

valuemapCursorElemSelection :: MapCursor kc vc k v -> KeyValueToggle

valuemapCursorSelectKey

:: k -> kc
-> vc -> v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorSelectValue

:: kc -> k
-> v -> vc
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorToggleSelected

:: kc -> k
-> k -> kc
-> vc -> v
-> v -> vc
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorSelectPrev

:: kc -> k
-> k -> kc
-> vc -> v
-> MapCursor kc vc k v
-> Maybe (MapCursor kc vc k v)

valuemapCursorSelectNext

:: kc -> k
-> k -> kc
-> vc -> v
-> MapCursor kc vc k v
-> Maybe (MapCursor kc vc k v)

valuemapCursorSelectFirst

:: kc -> k
-> k -> kc
-> vc -> v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorSelectLast

:: kc -> k
-> k -> kc
-> vc -> v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorSelection :: MapCursor kc vc k v -> Int

valuemapCursorSelectIndex

:: kc -> k
-> k -> kc
-> vc -> v
-> Int
-> MapCursor kc vc k v
-> Maybe (MapCursor kc vc k v)

valuemapCursorInsert :: k -> v -> MapCursor kc vc k v -> MapCursor kc vc k v

valuemapCursorAppend :: k -> v -> MapCursor kc vc k v -> MapCursor kc vc k v

valuemapCursorInsertAndSelectKey

:: kc -> k
-> vc -> v
-> kc
-> v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorAppendAndSelectKey

:: kc -> k
-> vc -> v
-> kc
-> v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorInsertAndSelectValue

:: kc -> k
-> vc -> v
-> k
-> vc
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorAppendAndSelectValue

:: kc -> k
-> vc -> v
-> k
-> vc
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuemapCursorRemoveElemAndSelectPrev

:: k -> kc
-> MapCursor kc vc k v
-> Maybe (DeleteOrUpdate (MapCursor kc vc k v))

valuemapCursorDeleteElemAndSelectNext

:: k -> kc
-> MapCursor kc vc k v
-> Maybe (DeleteOrUpdate (MapCursor kc vc k v))

valuemapCursorRemoveElem

:: k -> kc
-> MapCursor kc vc k v
-> DeleteOrUpdate (MapCursor kc vc k v)

valuemapCursorDeleteElem

:: k -> kc
-> MapCursor kc vc k v
-> DeleteOrUpdate (MapCursor kc vc k v)

valuemapCursorSearch

:: kc -> k
-> k -> kc
-> vc -> v
-> k -> v -> Bool
-> MapCursor kc vc k v
-> Maybe (MapCursor kc vc k v)

valuemapCursorSelectOrAdd

:: kc -> k
-> k -> kc
-> vc -> v
-> k -> v -> Bool
-> KeyValueCursor kc vc k v
-> MapCursor kc vc k v
-> MapCursor kc vc k v

valuetraverseMapCursor

:: [(k, v)] -> KeyValueCursor kc vc k v -> [(k, v)] -> f c
-> MapCursor kc vc k v
-> f c

valuemapCursorTraverseKeyCase

:: Applicative f
=> kc -> v -> f (kc', v)
-> MapCursor kc vc k v
-> f (MapCursor kc' vc k v)

valuemapCursorTraverseValueCase

:: Applicative f
=> k -> vc -> f (k, vc')
-> MapCursor kc vc k v
-> f (MapCursor kc vc' k v)

valuefoldMapCursor

:: [(k, v)] -> KeyValueCursor kc vc k v -> [(k, v)] -> c
-> MapCursor kc vc k v
-> c

module Cursor.Map.KeyValue