Safe Haskell	None
Language	Haskell2010

Cursor.Map.KeyValue

Documentation

data KeyValueCursor kc vc k v Source #

Constructors

KeyValueCursorKey kc v
KeyValueCursorValue k vc

Instances

Instances details

(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.2.0-Ch3lJwc3yY89mrJgbt03T" '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

Instances details

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.2.0-Ch3lJwc3yY89mrJgbt03T" '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 #

keyValueCursorTraverseKeyCase :: Applicative f => (kc -> v -> f (kc', v')) -> KeyValueCursor kc vc k v -> f (KeyValueCursor kc' vc k v') Source #

keyValueCursorTraverseValueCase :: Applicative f => (k -> vc -> f (k', vc')) -> KeyValueCursor kc vc k v -> f (KeyValueCursor kc vc' k' v) Source #

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