Modulekeys-3.12.3Haskell2010

Data.Key

10 classes
26 values

Packagekeys-3.12.3
Exports37
LanguageHaskell2010
LicenceBSD-3-Clause
SourceKey.hs

Keys

1 declaration

familytype family Key (f :: Type -> Type)

Instances34Key, …

type Key IntMap = IntDefined in keys-3.12.3 · Data.Key
type Key Seq = IntDefined in keys-3.12.3 · Data.Key
type Key Tree = Seq IntDefined in keys-3.12.3 · Data.Key
type Key NonEmpty = IntDefined in keys-3.12.3 · Data.Key
type Key Identity = ()Defined in keys-3.12.3 · Data.Key
type Key Proxy = VoidDefined in keys-3.12.3 · Data.Key
type Key ZipList = IntDefined in keys-3.12.3 · Data.Key
type Key Par1 = ()Defined in keys-3.12.3 · Data.Key
type Key U1 = VoidDefined in keys-3.12.3 · Data.Key
type Key V1 = VoidDefined in keys-3.12.3 · Data.Key
type Key Maybe = ()Defined in keys-3.12.3 · Data.Key
type Key (Compose f g) = (Key f, Key g)Defined in keys-3.12.3 · Data.Key
type Key (Product f g) = Either (Key f) (Key g)Defined in keys-3.12.3 · Data.Key
type Key (Sum f g) = Either (Key f) (Key g)Defined in keys-3.12.3 · Data.Key
type Key (TracedT s w) = (s, Key w)Defined in keys-3.12.3 · Data.Key
type Key (Map k) = kDefined in keys-3.12.3 · Data.Key
type Key (Cofree f) = Seq (Key f)Defined in keys-3.12.3 · Data.Key
type Key (Free f) = Seq (Key f)Defined in keys-3.12.3 · Data.Key
type Key (Array i) = iDefined in keys-3.12.3 · Data.Key
type Key (Const e) = VoidDefined in keys-3.12.3 · Data.Key
type Key (K1 i c) = VoidDefined in keys-3.12.3 · Data.Key
type Key (M1 i c f) = Key fDefined in keys-3.12.3 · Data.Key
type Key (Rec1 f) = Key fDefined in keys-3.12.3 · Data.Key
type Key (Tuple2 k) = kDefined in keys-3.12.3 · Data.Key
type Key (Tagged a) = ()Defined in keys-3.12.3 · Data.Key
type Key (IdentityT m) = Key mDefined in keys-3.12.3 · Data.Key
type Key (ReaderT e m) = (e, Key m)Defined in keys-3.12.3 · Data.Key
type Key (Constant e) = VoidDefined in keys-3.12.3 · Data.Key
type Key (HashMap k) = kDefined in keys-3.12.3 · Data.Key
type Key ((->) a) = aDefined in keys-3.12.3 · Data.Key
type Key (f :*: g) = Either (Key f) (Key g)Defined in keys-3.12.3 · Data.Key
type Key (f :+: g) = Either (Key f) (Key g)Defined in keys-3.12.3 · Data.Key
type Key (g :.: f) = (Key g, Key f)Defined in keys-3.12.3 · Data.Key
type Key [] = IntDefined in keys-3.12.3 · Data.Key

Keyed functors

3 declarations

classclass Functor f => Keyed (f :: Type -> Type) where

Methods

mapWithKey :: (Key f -> a -> b) -> f a -> f b

Instances34Keyed, …

Keyed IntMapDefined in keys-3.12.3 · Data.Key
Keyed SeqDefined in keys-3.12.3 · Data.Key
Keyed TreeDefined in keys-3.12.3 · Data.Key
Keyed NonEmptyDefined in keys-3.12.3 · Data.Key
Keyed IdentityDefined in keys-3.12.3 · Data.Key
Keyed ZipListDefined in keys-3.12.3 · Data.Key
Keyed Par1Defined in keys-3.12.3 · Data.Key
Keyed MaybeDefined in keys-3.12.3 · Data.Key
Keyed []Defined in keys-3.12.3 · Data.Key
Ix i => Keyed (Array i)Defined in keys-3.12.3 · Data.Key
Keyed ProxyDefined in keys-3.12.3 · Data.Key
Keyed U1Defined in keys-3.12.3 · Data.Key
Keyed V1Defined in keys-3.12.3 · Data.Key
Keyed (Map k)Defined in keys-3.12.3 · Data.Key
Keyed (Tuple2 k)Defined in keys-3.12.3 · Data.Key
Keyed (HashMap k)Defined in keys-3.12.3 · Data.Key
Keyed f => Keyed (Cofree f)Defined in keys-3.12.3 · Data.Key
Keyed f => Keyed (Free f)Defined in keys-3.12.3 · Data.Key
Keyed (Const e)Defined in keys-3.12.3 · Data.Key
Keyed (Tagged a)Defined in keys-3.12.3 · Data.Key
Keyed (Constant e)Defined in keys-3.12.3 · Data.Key
Keyed f => Keyed (Rec1 f)Defined in keys-3.12.3 · Data.Key
Keyed m => Keyed (IdentityT m)Defined in keys-3.12.3 · Data.Key
Keyed m => Keyed (ReaderT e m)Defined in keys-3.12.3 · Data.Key
Keyed w => Keyed (TracedT s w)Defined in keys-3.12.3 · Data.Key
Keyed (K1 i c)Defined in keys-3.12.3 · Data.Key
Keyed ((->) a)Defined in keys-3.12.3 · Data.Key
(Keyed f, Keyed g) => Keyed (Product f g)Defined in keys-3.12.3 · Data.Key
(Keyed f, Keyed g) => Keyed (Sum f g)Defined in keys-3.12.3 · Data.Key
(Keyed g, Keyed f) => Keyed (f :*: g)Defined in keys-3.12.3 · Data.Key
(Keyed g, Keyed f) => Keyed (f :+: g)Defined in keys-3.12.3 · Data.Key
Keyed f => Keyed (M1 i c f)Defined in keys-3.12.3 · Data.Key
(Keyed f, Keyed g) => Keyed (Compose f g)Defined in keys-3.12.3 · Data.Key
(Keyed g, Keyed f) => Keyed (g :.: f)Defined in keys-3.12.3 · Data.Key

value(<#$>) :: Keyed f => (Key f -> a -> b) -> f a -> f b

valuekeyed :: Keyed f => f a -> f (Key f, a)

Zippable functors

1 declaration

classclass Functor f => Zip (f :: Type -> Type) where

Laws:

fmap fst (zip u u) = u
fmap snd (zip u u) = u
zip (fmap fst u) (fmap snd u) = u
zip (flip (,)) x y = zip y x

Methods

zipWith :: (a -> b -> c) -> f a -> f b -> f c
zip :: f a -> f b -> f (a, b)
zap :: f (a -> b) -> f a -> f b

Instances26Zip, …

Zip IntMapDefined in keys-3.12.3 · Data.Key
Zip SeqDefined in keys-3.12.3 · Data.Key
Zip TreeDefined in keys-3.12.3 · Data.Key
Zip NonEmptyDefined in keys-3.12.3 · Data.Key
Zip IdentityDefined in keys-3.12.3 · Data.Key
Zip ZipListDefined in keys-3.12.3 · Data.Key
Zip Par1Defined in keys-3.12.3 · Data.Key
Zip MaybeDefined in keys-3.12.3 · Data.Key
Zip []Defined in keys-3.12.3 · Data.Key
Ord k => Zip (Map k)Defined in keys-3.12.3 · Data.Key
Zip ProxyDefined in keys-3.12.3 · Data.Key
Zip U1Defined in keys-3.12.3 · Data.Key
Zip V1Defined in keys-3.12.3 · Data.Key
Zip f => Zip (Cofree f)Defined in keys-3.12.3 · Data.Key
(Eq k, Hashable k) => Zip (HashMap k)Defined in keys-3.12.3 · Data.Key
Zip (Tagged a)Defined in keys-3.12.3 · Data.Key
Zip f => Zip (Rec1 f)Defined in keys-3.12.3 · Data.Key
Zip m => Zip (IdentityT m)Defined in keys-3.12.3 · Data.Key
Zip m => Zip (ReaderT e m)Defined in keys-3.12.3 · Data.Key
Zip w => Zip (TracedT s w)Defined in keys-3.12.3 · Data.Key
Zip ((->) a)Defined in keys-3.12.3 · Data.Key
(Zip f, Zip g) => Zip (Product f g)Defined in keys-3.12.3 · Data.Key
(Zip f, Zip g) => Zip (f :*: g)Defined in keys-3.12.3 · Data.Key
Zip f => Zip (M1 i c f)Defined in keys-3.12.3 · Data.Key
(Zip f, Zip g) => Zip (Compose f g)Defined in keys-3.12.3 · Data.Key
(Zip f, Zip g) => Zip (g :.: f)Defined in keys-3.12.3 · Data.Key

Zipping keyed functors

1 declaration

classclass (Keyed f, Zip f) => ZipWithKey (f :: Type -> Type) where

Methods

zipWithKey :: (Key f -> a -> b -> c) -> f a -> f b -> f c
zapWithKey :: f (Key f -> a -> b) -> f a -> f b

Instances26ZipWithKey, …

ZipWithKey IntMapDefined in keys-3.12.3 · Data.Key
ZipWithKey SeqDefined in keys-3.12.3 · Data.Key
ZipWithKey TreeDefined in keys-3.12.3 · Data.Key
ZipWithKey NonEmptyDefined in keys-3.12.3 · Data.Key
ZipWithKey IdentityDefined in keys-3.12.3 · Data.Key
ZipWithKey ZipListDefined in keys-3.12.3 · Data.Key
ZipWithKey Par1Defined in keys-3.12.3 · Data.Key
ZipWithKey MaybeDefined in keys-3.12.3 · Data.Key
ZipWithKey []Defined in keys-3.12.3 · Data.Key
Ord k => ZipWithKey (Map k)Defined in keys-3.12.3 · Data.Key
ZipWithKey ProxyDefined in keys-3.12.3 · Data.Key
ZipWithKey U1Defined in keys-3.12.3 · Data.Key
ZipWithKey V1Defined in keys-3.12.3 · Data.Key
ZipWithKey f => ZipWithKey (Cofree f)Defined in keys-3.12.3 · Data.Key
(Eq k, Hashable k) => ZipWithKey (HashMap k)Defined in keys-3.12.3 · Data.Key
ZipWithKey (Tagged a)Defined in keys-3.12.3 · Data.Key
ZipWithKey f => ZipWithKey (Rec1 f)Defined in keys-3.12.3 · Data.Key
ZipWithKey m => ZipWithKey (IdentityT m)Defined in keys-3.12.3 · Data.Key
ZipWithKey m => ZipWithKey (ReaderT e m)Defined in keys-3.12.3 · Data.Key
ZipWithKey w => ZipWithKey (TracedT s w)Defined in keys-3.12.3 · Data.Key
ZipWithKey ((->) a)Defined in keys-3.12.3 · Data.Key
(ZipWithKey f, ZipWithKey g) => ZipWithKey (Product f g)Defined in keys-3.12.3 · Data.Key
(ZipWithKey f, ZipWithKey g) => ZipWithKey (f :*: g)Defined in keys-3.12.3 · Data.Key
ZipWithKey f => ZipWithKey (M1 i c f)Defined in keys-3.12.3 · Data.Key
(ZipWithKey f, ZipWithKey g) => ZipWithKey (Compose f g)Defined in keys-3.12.3 · Data.Key
(ZipWithKey f, ZipWithKey g) => ZipWithKey (g :.: f)Defined in keys-3.12.3 · Data.Key

Indexable functors

2 declarations

classclass Lookup f => Indexable (f :: Type -> Type) where

Methods

index :: f a -> Key f -> a

Instances30Indexable, …

Indexable IntMapDefined in keys-3.12.3 · Data.Key
Indexable SeqDefined in keys-3.12.3 · Data.Key
Indexable TreeDefined in keys-3.12.3 · Data.Key
Indexable NonEmptyDefined in keys-3.12.3 · Data.Key
Indexable IdentityDefined in keys-3.12.3 · Data.Key
Indexable ZipListDefined in keys-3.12.3 · Data.Key
Indexable Par1Defined in keys-3.12.3 · Data.Key
Indexable MaybeDefined in keys-3.12.3 · Data.Key
Indexable []Defined in keys-3.12.3 · Data.Key
Ix i => Indexable (Array i)Defined in keys-3.12.3 · Data.Key
Ord k => Indexable (Map k)Defined in keys-3.12.3 · Data.Key
Indexable ProxyDefined in keys-3.12.3 · Data.Key
Indexable U1Defined in keys-3.12.3 · Data.Key
Indexable f => Indexable (Cofree f)Defined in keys-3.12.3 · Data.Key
(Eq k, Hashable k) => Indexable (HashMap k)Defined in keys-3.12.3 · Data.Key
Indexable (Const e)Defined in keys-3.12.3 · Data.Key
Indexable (Tagged a)Defined in keys-3.12.3 · Data.Key
Indexable (Constant e)Defined in keys-3.12.3 · Data.Key
Indexable f => Indexable (Rec1 f)Defined in keys-3.12.3 · Data.Key
Indexable m => Indexable (IdentityT m)Defined in keys-3.12.3 · Data.Key
Indexable m => Indexable (ReaderT e m)Defined in keys-3.12.3 · Data.Key
Indexable w => Indexable (TracedT s w)Defined in keys-3.12.3 · Data.Key
Indexable (K1 i c)Defined in keys-3.12.3 · Data.Key
Indexable ((->) a)Defined in keys-3.12.3 · Data.Key
(Indexable f, Indexable g) => Indexable (Product f g)Defined in keys-3.12.3 · Data.Key
(Indexable f, Indexable g) => Indexable (Sum f g)Defined in keys-3.12.3 · Data.Key
(Indexable g, Indexable f) => Indexable (f :*: g)Defined in keys-3.12.3 · Data.Key
Indexable f => Indexable (M1 i c f)Defined in keys-3.12.3 · Data.Key
(Indexable f, Indexable g) => Indexable (Compose f g)Defined in keys-3.12.3 · Data.Key
(Indexable g, Indexable f) => Indexable (g :.: f)Defined in keys-3.12.3 · Data.Key

value(!) :: Indexable f => f a -> Key f -> a

Safe Lookup

2 declarations

classclass Lookup (f :: Type -> Type) where

Methods

lookup :: Key f -> f a -> Maybe a

Instances31Lookup, …

Lookup IntMapDefined in keys-3.12.3 · Data.Key
Lookup SeqDefined in keys-3.12.3 · Data.Key
Lookup TreeDefined in keys-3.12.3 · Data.Key
Lookup NonEmptyDefined in keys-3.12.3 · Data.Key
Lookup IdentityDefined in keys-3.12.3 · Data.Key
Lookup ZipListDefined in keys-3.12.3 · Data.Key
Lookup Par1Defined in keys-3.12.3 · Data.Key
Lookup MaybeDefined in keys-3.12.3 · Data.Key
Lookup []Defined in keys-3.12.3 · Data.Key
Ix i => Lookup (Array i)Defined in keys-3.12.3 · Data.Key
Ord k => Lookup (Map k)Defined in keys-3.12.3 · Data.Key
Lookup ProxyDefined in keys-3.12.3 · Data.Key
Lookup U1Defined in keys-3.12.3 · Data.Key
Lookup f => Lookup (Cofree f)Defined in keys-3.12.3 · Data.Key
Lookup f => Lookup (Free f)Defined in keys-3.12.3 · Data.Key
(Eq k, Hashable k) => Lookup (HashMap k)Defined in keys-3.12.3 · Data.Key
Lookup (Const e)Defined in keys-3.12.3 · Data.Key
Lookup (Tagged a)Defined in keys-3.12.3 · Data.Key
Lookup (Constant e)Defined in keys-3.12.3 · Data.Key
Lookup f => Lookup (Rec1 f)Defined in keys-3.12.3 · Data.Key
Lookup m => Lookup (IdentityT m)Defined in keys-3.12.3 · Data.Key
Lookup m => Lookup (ReaderT e m)Defined in keys-3.12.3 · Data.Key
Lookup w => Lookup (TracedT s w)Defined in keys-3.12.3 · Data.Key
Lookup (K1 i c)Defined in keys-3.12.3 · Data.Key
Lookup ((->) a)Defined in keys-3.12.3 · Data.Key
(Indexable g, Indexable f) => Lookup (f :*: g)Defined in keys-3.12.3 · Data.Key
(Lookup f, Lookup g) => Lookup (Product f g)Defined in keys-3.12.3 · Data.Key
(Lookup f, Lookup g) => Lookup (Sum f g)Defined in keys-3.12.3 · Data.Key
Lookup f => Lookup (M1 i c f)Defined in keys-3.12.3 · Data.Key
(Indexable g, Indexable f) => Lookup (g :.: f)Defined in keys-3.12.3 · Data.Key
(Lookup f, Lookup g) => Lookup (Compose f g)Defined in keys-3.12.3 · Data.Key

valuelookupDefault :: Indexable f => Key f -> f a -> Maybe a

Adjustable

1 declaration

classclass Functor f => Adjustable (f :: Type -> Type) where

Methods

adjust :: (a -> a) -> Key f -> f a -> f a
replace :: Key f -> a -> f a -> f a

Instances25Adjustable, …

Adjustable IntMapDefined in keys-3.12.3 · Data.Key
Adjustable SeqDefined in keys-3.12.3 · Data.Key
Adjustable TreeDefined in keys-3.12.3 · Data.Key
Adjustable NonEmptyDefined in keys-3.12.3 · Data.Key
Adjustable IdentityDefined in keys-3.12.3 · Data.Key
Adjustable ZipListDefined in keys-3.12.3 · Data.Key
Adjustable Par1Defined in keys-3.12.3 · Data.Key
Adjustable []Defined in keys-3.12.3 · Data.Key
Ix i => Adjustable (Array i)Defined in keys-3.12.3 · Data.Key
Ord k => Adjustable (Map k)Defined in keys-3.12.3 · Data.Key
Adjustable ProxyDefined in keys-3.12.3 · Data.Key
Adjustable U1Defined in keys-3.12.3 · Data.Key
Adjustable f => Adjustable (Cofree f)Defined in keys-3.12.3 · Data.Key
Adjustable f => Adjustable (Free f)Defined in keys-3.12.3 · Data.Key
Adjustable (Const e)Defined in keys-3.12.3 · Data.Key
Adjustable (Tagged a)Defined in keys-3.12.3 · Data.Key
Adjustable (Constant e)Defined in keys-3.12.3 · Data.Key
Adjustable f => Adjustable (Rec1 f)Defined in keys-3.12.3 · Data.Key
Adjustable (K1 i c)Defined in keys-3.12.3 · Data.Key
(Adjustable f, Adjustable g) => Adjustable (Product f g)Defined in keys-3.12.3 · Data.Key
(Adjustable f, Adjustable g) => Adjustable (Sum f g)Defined in keys-3.12.3 · Data.Key
(Adjustable f, Adjustable g) => Adjustable (f :*: g)Defined in keys-3.12.3 · Data.Key
(Adjustable f, Adjustable g) => Adjustable (f :+: g)Defined in keys-3.12.3 · Data.Key
Adjustable f => Adjustable (M1 i c f)Defined in keys-3.12.3 · Data.Key
(Adjustable f, Adjustable g) => Adjustable (g :.: f)Defined in keys-3.12.3 · Data.Key

FoldableWithKey

13 declarations

classclass Foldable t => FoldableWithKey (t :: Type -> Type) where

Methods

toKeyedList :: t a -> [(Key t, a)]
foldMapWithKey :: Monoid m => (Key t -> a -> m) -> t a -> m
foldrWithKey :: (Key t -> a -> b -> b) -> b -> t a -> b
foldlWithKey :: (b -> Key t -> a -> b) -> b -> t a -> b

Instances30FoldableWithKey, …

FoldableWithKey IntMapDefined in keys-3.12.3 · Data.Key
FoldableWithKey SeqDefined in keys-3.12.3 · Data.Key
FoldableWithKey TreeDefined in keys-3.12.3 · Data.Key
FoldableWithKey NonEmptyDefined in keys-3.12.3 · Data.Key
FoldableWithKey IdentityDefined in keys-3.12.3 · Data.Key
FoldableWithKey ZipListDefined in keys-3.12.3 · Data.Key
FoldableWithKey Par1Defined in keys-3.12.3 · Data.Key
FoldableWithKey MaybeDefined in keys-3.12.3 · Data.Key
FoldableWithKey []Defined in keys-3.12.3 · Data.Key
Ix i => FoldableWithKey (Array i)Defined in keys-3.12.3 · Data.Key
FoldableWithKey ProxyDefined in keys-3.12.3 · Data.Key
FoldableWithKey U1Defined in keys-3.12.3 · Data.Key
FoldableWithKey V1Defined in keys-3.12.3 · Data.Key
FoldableWithKey (Map k)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (Tuple2 k)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (HashMap k)Defined in keys-3.12.3 · Data.Key
FoldableWithKey f => FoldableWithKey (Cofree f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey f => FoldableWithKey (Free f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (Const e)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (Tagged a)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (Constant e)Defined in keys-3.12.3 · Data.Key
FoldableWithKey f => FoldableWithKey (Rec1 f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey m => FoldableWithKey (IdentityT m)Defined in keys-3.12.3 · Data.Key
FoldableWithKey (K1 i c)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (Product f g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (Sum f g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (f :*: g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (f :+: g)Defined in keys-3.12.3 · Data.Key
FoldableWithKey f => FoldableWithKey (M1 i c f)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey f, FoldableWithKey m) => FoldableWithKey (Compose f m)Defined in keys-3.12.3 · Data.Key

valuefoldrWithKey'

:: FoldableWithKey t
=> Key t -> a -> b -> b
-> b
-> t a
-> b

valuefoldlWithKey'

:: FoldableWithKey t
=> b -> Key t -> a -> b
-> b
-> t a
-> b

valuefoldrWithKeyM

:: (FoldableWithKey t, Monad m)
=> Key t -> a -> b -> m b
-> b
-> t a
-> m b

valuefoldlWithKeyM

:: (FoldableWithKey t, Monad m)
=> b -> Key t -> a -> m b
-> b
-> t a
-> m b

valuetraverseWithKey_

:: (FoldableWithKey t, Applicative f)
=> Key t -> a -> f b
-> t a
-> f ()

valueforWithKey_

:: (FoldableWithKey t, Applicative f)
=> t a
-> Key t -> a -> f b
-> f ()

valuemapWithKeyM_

:: (FoldableWithKey t, Monad m)
=> Key t -> a -> m b
-> t a
-> m ()

valueforWithKeyM_

:: (FoldableWithKey t, Monad m)
=> t a
-> Key t -> a -> m b
-> m ()

valueconcatMapWithKey :: FoldableWithKey t => (Key t -> a -> [b]) -> t a -> [b]

valueanyWithKey :: FoldableWithKey t => (Key t -> a -> Bool) -> t a -> Bool

valueallWithKey :: FoldableWithKey t => (Key t -> a -> Bool) -> t a -> Bool

valuefindWithKey :: FoldableWithKey t => (Key t -> a -> Bool) -> t a -> Maybe a

FoldableWithKey1

4 declarations

classclass (Foldable1 t, FoldableWithKey t) => FoldableWithKey1 (t :: Type -> Type) where

Methods

foldMapWithKey1 :: Semigroup m => (Key t -> a -> m) -> t a -> m

Instances17FoldableWithKey1, …

FoldableWithKey1 TreeDefined in keys-3.12.3 · Data.Key
FoldableWithKey1 NonEmptyDefined in keys-3.12.3 · Data.Key
FoldableWithKey1 IdentityDefined in keys-3.12.3 · Data.Key
FoldableWithKey1 Par1Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 V1Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 (Tuple2 k)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 f => FoldableWithKey1 (Cofree f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 f => FoldableWithKey1 (Free f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 (Tagged a)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 f => FoldableWithKey1 (Rec1 f)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 m => FoldableWithKey1 (IdentityT m)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (Product f g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (Sum f g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (f :*: g)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (f :+: g)Defined in keys-3.12.3 · Data.Key
FoldableWithKey1 f => FoldableWithKey1 (M1 i c f)Defined in keys-3.12.3 · Data.Key
(FoldableWithKey1 f, FoldableWithKey1 m) => FoldableWithKey1 (Compose f m)Defined in keys-3.12.3 · Data.Key

valuetraverseWithKey1_

:: (FoldableWithKey1 t, Apply f)
=> Key t -> a -> f b
-> t a
-> f ()

valueforWithKey1_

:: (FoldableWithKey1 t, Apply f)
=> t a
-> Key t -> a -> f b
-> f ()

valuefoldMapWithKeyDefault1

:: (FoldableWithKey1 t, Monoid m)
=> Key t -> a -> m
-> t a
-> m

TraversableWithKey

7 declarations

classclass (Keyed t, FoldableWithKey t, Traversable t) => TraversableWithKey (t :: Type -> Type) where

Methods

traverseWithKey :: Applicative f => (Key t -> a -> f b) -> t a -> f (t b)
mapWithKeyM :: Monad m => (Key t -> a -> m b) -> t a -> m (t b)

Instances30TraversableWithKey, …

TraversableWithKey IntMapDefined in keys-3.12.3 · Data.Key
TraversableWithKey SeqDefined in keys-3.12.3 · Data.Key
TraversableWithKey TreeDefined in keys-3.12.3 · Data.Key
TraversableWithKey NonEmptyDefined in keys-3.12.3 · Data.Key
TraversableWithKey IdentityDefined in keys-3.12.3 · Data.Key
TraversableWithKey ZipListDefined in keys-3.12.3 · Data.Key
TraversableWithKey Par1Defined in keys-3.12.3 · Data.Key
TraversableWithKey MaybeDefined in keys-3.12.3 · Data.Key
TraversableWithKey []Defined in keys-3.12.3 · Data.Key
Ix i => TraversableWithKey (Array i)Defined in keys-3.12.3 · Data.Key
TraversableWithKey ProxyDefined in keys-3.12.3 · Data.Key
TraversableWithKey U1Defined in keys-3.12.3 · Data.Key
TraversableWithKey V1Defined in keys-3.12.3 · Data.Key
TraversableWithKey (Map k)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (Tuple2 k)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (HashMap k)Defined in keys-3.12.3 · Data.Key
TraversableWithKey f => TraversableWithKey (Cofree f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey f => TraversableWithKey (Free f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (Const e)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (Tagged a)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (Constant e)Defined in keys-3.12.3 · Data.Key
TraversableWithKey f => TraversableWithKey (Rec1 f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey m => TraversableWithKey (IdentityT m)Defined in keys-3.12.3 · Data.Key
TraversableWithKey (K1 i c)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (Product f g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (Sum f g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (f :*: g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (f :+: g)Defined in keys-3.12.3 · Data.Key
TraversableWithKey f => TraversableWithKey (M1 i c f)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey f, TraversableWithKey m) => TraversableWithKey (Compose f m)Defined in keys-3.12.3 · Data.Key

valueforWithKey

:: (TraversableWithKey t, Applicative f)
=> t a
-> Key t -> a -> f b
-> f (t b)

valueforWithKeyM

:: (TraversableWithKey t, Monad m)
=> t a
-> Key t -> a -> m b
-> m (t b)

valuemapAccumWithKeyL

:: TraversableWithKey t
=> Key t -> a -> b -> (a, c)
-> a
-> t b
-> (a, t c)

The mapAccumWithKeyL function behaves like a combination of mapWithKey and foldlWithKey; it applies a function to each element of a structure, passing an accumulating parameter from left to right, and returning a final value of this accumulator together with the new structure.

valuemapAccumWithKeyR

:: TraversableWithKey t
=> Key t -> a -> b -> (a, c)
-> a
-> t b
-> (a, t c)

The mapAccumWithKeyR function behaves like a combination of mapWithKey and foldrWithKey; it applies a function to each element of a structure, passing an accumulating parameter from right to left, and returning a final value of this accumulator together with the new structure.

valuemapWithKeyDefault :: TraversableWithKey t => (Key t -> a -> b) -> t a -> t b

valuefoldMapWithKeyDefault

:: (TraversableWithKey t, Monoid m)
=> Key t -> a -> m
-> t a
-> m

This function may be used as a value for Data.Foldable.foldMapWithKey in a FoldableWithKey instance.

TraversableWithKey1

2 declarations

classclass (Traversable1 t, FoldableWithKey1 t, TraversableWithKey t) => TraversableWithKey1 (t :: Type -> Type) where

Methods

traverseWithKey1 :: Apply f => (Key t -> a -> f b) -> t a -> f (t b)

Instances17TraversableWithKey1, …

TraversableWithKey1 TreeDefined in keys-3.12.3 · Data.Key
TraversableWithKey1 NonEmptyDefined in keys-3.12.3 · Data.Key
TraversableWithKey1 IdentityDefined in keys-3.12.3 · Data.Key
TraversableWithKey1 Par1Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 V1Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 (Tuple2 k)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 f => TraversableWithKey1 (Cofree f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 f => TraversableWithKey1 (Free f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 (Tagged a)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 f => TraversableWithKey1 (Rec1 f)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 m => TraversableWithKey1 (IdentityT m)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (Product f g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (Sum f g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (f :*: g)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (f :+: g)Defined in keys-3.12.3 · Data.Key
TraversableWithKey1 f => TraversableWithKey1 (M1 i c f)Defined in keys-3.12.3 · Data.Key
(TraversableWithKey1 f, TraversableWithKey1 m) => TraversableWithKey1 (Compose f m)Defined in keys-3.12.3 · Data.Key

valuefoldMapWithKey1Default

:: (TraversableWithKey1 t, Semigroup m)
=> Key t -> a -> m
-> t a
-> m