Safe Haskell	None
Language	Haskell2010

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 type Rep (KeyValueCursor kc vc k v) = D1 (MetaData "KeyValueCursor" "Cursor.Map.KeyValue" "cursor-0.3.0.0-4Hn80vYAl979Qxk54M4vdL" False) (C1 (MetaCons "KeyValueCursorKey" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 kc) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 v)) :+: C1 (MetaCons "KeyValueCursorValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 k) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 vc)))

makeKeyValueCursorKey :: kc -> v -> KeyValueCursor kc vc k v Source #

makeKeyValueCursorValue :: k -> vc -> KeyValueCursor kc vc k v Source #

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

keyValueCursorSelection :: KeyValueCursor kc vc k v -> KeyValueToggle 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 Methods (==) :: KeyValueToggle -> KeyValueToggle -> Bool # (/=) :: KeyValueToggle -> KeyValueToggle -> Bool #
Show KeyValueToggle Source #
Instance details Defined in Cursor.Map.KeyValue Methods showsPrec :: Int -> KeyValueToggle -> ShowS # show :: KeyValueToggle -> String # showList :: [KeyValueToggle] -> ShowS #
Generic KeyValueToggle Source #
Instance details Defined in Cursor.Map.KeyValue Associated Types type Rep KeyValueToggle :: Type -> Type # Methods from :: KeyValueToggle -> Rep KeyValueToggle x # to :: Rep KeyValueToggle x -> KeyValueToggle #
Validity KeyValueToggle Source #
Instance details Defined in Cursor.Map.KeyValue Methods validate :: KeyValueToggle -> Validation #
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 #