cursor-0.3.0.0: Purely Functional Cursors

Safe HaskellNone
LanguageHaskell2010

Cursor.Map.KeyValue

Documentation

data KeyValueCursor kc vc k v Source #

Constructors

KeyValueCursorKey kc v 
KeyValueCursorValue k vc 
Instances
(Eq kc, Eq v, Eq k, Eq vc) => Eq (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

Methods

(==) :: KeyValueCursor kc vc k v -> KeyValueCursor kc vc k v -> Bool #

(/=) :: KeyValueCursor kc vc k v -> KeyValueCursor kc vc k v -> Bool #

(Show kc, Show v, Show k, Show vc) => Show (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

Methods

showsPrec :: Int -> KeyValueCursor kc vc k v -> ShowS #

show :: KeyValueCursor kc vc k v -> String #

showList :: [KeyValueCursor kc vc k v] -> ShowS #

Generic (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

Associated Types

type Rep (KeyValueCursor kc vc k v) :: Type -> Type #

Methods

from :: KeyValueCursor kc vc k v -> Rep (KeyValueCursor kc vc k v) x #

to :: Rep (KeyValueCursor kc vc k v) x -> KeyValueCursor kc vc k v #

(NFData kc, NFData vc, NFData k, NFData v) => NFData (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

Methods

rnf :: KeyValueCursor kc vc k v -> () #

(Validity kc, Validity vc, Validity k, Validity v) => Validity (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

Methods

validate :: KeyValueCursor kc vc k v -> Validation #

type Rep (KeyValueCursor kc vc k v) Source # 
Instance details

Defined in Cursor.Map.KeyValue

rebuildKeyValueCursor :: (kc -> k) -> (vc -> v) -> KeyValueCursor kc vc k v -> (k, v) Source #

mapKeyValueCursor :: (kc -> lc) -> (vc -> wc) -> (k -> l) -> (v -> w) -> KeyValueCursor kc vc k v -> KeyValueCursor lc wc l w Source #

keyValueCursorSelectKey :: (k -> kc) -> (vc -> v) -> KeyValueCursor kc vc k v -> KeyValueCursor kc vc k v Source #

keyValueCursorSelectValue :: (kc -> k) -> (v -> vc) -> KeyValueCursor kc vc k v -> KeyValueCursor kc vc k v Source #

keyValueCursorToggleSelected :: (kc -> k) -> (k -> kc) -> (vc -> v) -> (v -> vc) -> KeyValueCursor kc vc k v -> KeyValueCursor kc vc k v Source #

data KeyValueToggle Source #

Constructors

KeySelected 
ValueSelected 
Instances
Eq KeyValueToggle Source # 
Instance details

Defined in Cursor.Map.KeyValue

Show KeyValueToggle Source # 
Instance details

Defined in Cursor.Map.KeyValue

Generic KeyValueToggle Source # 
Instance details

Defined in Cursor.Map.KeyValue

Associated Types

type Rep KeyValueToggle :: Type -> Type #

Validity KeyValueToggle Source # 
Instance details

Defined in Cursor.Map.KeyValue

type Rep KeyValueToggle Source # 
Instance details

Defined in Cursor.Map.KeyValue

type Rep KeyValueToggle = D1 (MetaData "KeyValueToggle" "Cursor.Map.KeyValue" "cursor-0.3.0.0-4Hn80vYAl979Qxk54M4vdL" False) (C1 (MetaCons "KeySelected" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueSelected" PrefixI False) (U1 :: Type -> Type))

traverseKeyValueCursor :: (kc -> v -> f c) -> (k -> vc -> f c) -> KeyValueCursor kc vc k v -> f c Source #

foldKeyValueCursor :: (kc -> v -> c) -> (k -> vc -> c) -> KeyValueCursor kc vc k v -> c Source #