Data.Align.Key

These-based zipping and unzipping of indexed functors.

Since: 0.7.1

Documentation

class (Keyed f, Semialign f) => AlignWithKey f where

Keyed version of Align.

Since: 0.7.1

Minimal complete definition

Nothing

Methods

alignWithKey :: (Key f -> These a b -> c) -> f a -> f b -> f c

Analogous to alignWith, but also provides an index.

Instances

AlignWithKey []

Defined in Data.Align.Key

Methods

alignWithKey :: (Key [] -> These a b -> c) -> [a] -> [b] -> [c]

AlignWithKey Maybe

Defined in Data.Align.Key

Methods

alignWithKey :: (Key Maybe -> These a b -> c) -> Maybe a -> Maybe b -> Maybe c

AlignWithKey ZipList

Since: 0.7.6

Defined in Data.Align.Key

Methods

alignWithKey :: (Key ZipList -> These a b -> c) -> ZipList a -> ZipList b -> ZipList c

AlignWithKey IntMap

Defined in Data.Align.Key

Methods

alignWithKey :: (Key IntMap -> These a b -> c) -> IntMap a -> IntMap b -> IntMap c

AlignWithKey Seq

Defined in Data.Align.Key

Methods

alignWithKey :: (Key Seq -> These a b -> c) -> Seq a -> Seq b -> Seq c

AlignWithKey Vector

Defined in Data.Align.Key

Methods

alignWithKey :: (Key Vector -> These a b -> c) -> Vector a -> Vector b -> Vector c

(Eq k, Hashable k) => AlignWithKey (HashMap k)

Defined in Data.Align.Key

Methods

alignWithKey :: (Key (HashMap k) -> These a b -> c) -> HashMap k a -> HashMap k b -> HashMap k c

Ord k => AlignWithKey (Map k)

Defined in Data.Align.Key

Methods

alignWithKey :: (Key (Map k) -> These a b -> c) -> Map k a -> Map k b -> Map k c