Data.Align.Indexed

These-based zipping and unzipping of indexed functors.

Since: 0.7.6

Documentation

class (FunctorWithIndex i f, Align f) => AlignWithIndex i f | f -> i where

Keyed version of Align.

Since: 0.7.6

Methods

ialign :: (i -> These a b -> c) -> f a -> f b -> f c

Analogous to alignWith, but also provides an index.

Instances

AlignWithIndex Int []

Defined in Data.Align.Indexed

Methods

ialign :: (Int -> These a b -> c) -> [a] -> [b] -> [c]

AlignWithIndex Int ZipList

Defined in Data.Align.Indexed

Methods

ialign :: (Int -> These a b -> c) -> ZipList a -> ZipList b -> ZipList c

AlignWithIndex Int IntMap

Defined in Data.Align.Indexed

Methods

ialign :: (Int -> These a b -> c) -> IntMap a -> IntMap b -> IntMap c

AlignWithIndex Int Seq

Defined in Data.Align.Indexed

Methods

ialign :: (Int -> These a b -> c) -> Seq a -> Seq b -> Seq c

AlignWithIndex Int Vector

Defined in Data.Align.Indexed

Methods

ialign :: (Int -> These a b -> c) -> Vector a -> Vector b -> Vector c

AlignWithIndex () Maybe

Defined in Data.Align.Indexed

Methods

ialign :: (() -> These a b -> c) -> Maybe a -> Maybe b -> Maybe c

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

Defined in Data.Align.Indexed

Methods

ialign :: (k -> These a b -> c) -> HashMap k a -> HashMap k b -> HashMap k c

Ord k => AlignWithIndex k (Map k)

Defined in Data.Align.Indexed

Methods

ialign :: (k -> These a b -> c) -> Map k a -> Map k b -> Map k c