Safe Haskell	None
Language	Haskell2010

Optics.Indexed

Contents

Indexed optics
Functors with index
- Foldable with index
- Traversable with index

Synopsis

module Optics.IxTraversal
module Optics.IxFold
module Optics.IxSetter
class Functor f => FunctorWithIndex i f | f -> i where
class (FunctorWithIndex i f, Foldable f) => FoldableWithIndex i f | f -> i where
itraverse_ :: (FoldableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f ()
ifor_ :: (FoldableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f ()
class (FoldableWithIndex i t, Traversable t) => TraversableWithIndex i t | t -> i where
ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b)

Indexed optics

module Optics.IxTraversal

module Optics.IxFold

module Optics.IxSetter

Functors with index

class Functor f => FunctorWithIndex i f | f -> i where #

Methods

imap :: (i -> a -> b) -> f a -> f b #

imap :: TraversableWithIndex i f => (i -> a -> b) -> f a -> f b #

Instances

FunctorWithIndex Int [] #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> [a] -> [b] #
FunctorWithIndex Int ZipList #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> ZipList a -> ZipList b #
FunctorWithIndex Int NonEmpty #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> NonEmpty a -> NonEmpty b #
FunctorWithIndex Int IntMap #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> IntMap a -> IntMap b #
FunctorWithIndex Int Seq #	The position in the `Seq` is available as the index.
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> Seq a -> Seq b #
FunctorWithIndex () Maybe #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Maybe a -> Maybe b #
FunctorWithIndex () Par1 #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Par1 a -> Par1 b #
FunctorWithIndex () Identity #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Identity a -> Identity b #
Ix i => FunctorWithIndex i (Array i) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Array i a -> Array i b #
FunctorWithIndex k (Map k) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (k -> a -> b) -> Map k a -> Map k b #
FunctorWithIndex k ((,) k) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (k -> a -> b) -> (k, a) -> (k, b) #
FunctorWithIndex Void (V1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> V1 a -> V1 b #
FunctorWithIndex Void (U1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> U1 a -> U1 b #
FunctorWithIndex Void (Proxy :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> Proxy a -> Proxy b #
FunctorWithIndex i f => FunctorWithIndex i (Rec1 f) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Rec1 f a -> Rec1 f b #
FunctorWithIndex i m => FunctorWithIndex i (IdentityT m) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> IdentityT m a -> IdentityT m b #
FunctorWithIndex i f => FunctorWithIndex i (Reverse f) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Reverse f a -> Reverse f b #
FunctorWithIndex i f => FunctorWithIndex i (Backwards f) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Backwards f a -> Backwards f b #
FunctorWithIndex r ((->) r :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (r -> a -> b) -> (r -> a) -> r -> b #
FunctorWithIndex Void (K1 i c :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> K1 i c a -> K1 i c b #
FunctorWithIndex [Int] Tree #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ([Int] -> a -> b) -> Tree a -> Tree b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :+: g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> (f :+: g) a -> (f :+: g) b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :*: g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> (f :: g) a -> (f :: g) b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Product f g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> Product f g a -> Product f g b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Sum f g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> Sum f g a -> Sum f g b #
FunctorWithIndex i m => FunctorWithIndex (e, i) (ReaderT e m) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((e, i) -> a -> b) -> ReaderT e m a -> ReaderT e m b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (f :.: g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((i, j) -> a -> b) -> (f :.: g) a -> (f :.: g) b #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (Compose f g) #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((i, j) -> a -> b) -> Compose f g a -> Compose f g b #

Foldable with index

class (FunctorWithIndex i f, Foldable f) => FoldableWithIndex i f | f -> i where #

Methods

ifoldMap :: Monoid m => (i -> a -> m) -> f a -> m #

ifoldMap :: (TraversableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m #

ifoldr :: (i -> a -> b -> b) -> b -> f a -> b #

ifoldl' :: (i -> b -> a -> b) -> b -> f a -> b #

Instances

FoldableWithIndex Int [] #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Int -> a -> m) -> [a] -> m # ifoldr :: (Int -> a -> b -> b) -> b -> [a] -> b # ifoldl' :: (Int -> b -> a -> b) -> b -> [a] -> b #
FoldableWithIndex Int ZipList #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Int -> a -> m) -> ZipList a -> m # ifoldr :: (Int -> a -> b -> b) -> b -> ZipList a -> b # ifoldl' :: (Int -> b -> a -> b) -> b -> ZipList a -> b #
FoldableWithIndex Int NonEmpty #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Int -> a -> m) -> NonEmpty a -> m # ifoldr :: (Int -> a -> b -> b) -> b -> NonEmpty a -> b # ifoldl' :: (Int -> b -> a -> b) -> b -> NonEmpty a -> b #
FoldableWithIndex Int IntMap #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Int -> a -> m) -> IntMap a -> m # ifoldr :: (Int -> a -> b -> b) -> b -> IntMap a -> b # ifoldl' :: (Int -> b -> a -> b) -> b -> IntMap a -> b #
FoldableWithIndex Int Seq #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Int -> a -> m) -> Seq a -> m # ifoldr :: (Int -> a -> b -> b) -> b -> Seq a -> b # ifoldl' :: (Int -> b -> a -> b) -> b -> Seq a -> b #
FoldableWithIndex () Maybe #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (() -> a -> m) -> Maybe a -> m # ifoldr :: (() -> a -> b -> b) -> b -> Maybe a -> b # ifoldl' :: (() -> b -> a -> b) -> b -> Maybe a -> b #
FoldableWithIndex () Par1 #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (() -> a -> m) -> Par1 a -> m # ifoldr :: (() -> a -> b -> b) -> b -> Par1 a -> b # ifoldl' :: (() -> b -> a -> b) -> b -> Par1 a -> b #
FoldableWithIndex () Identity #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (() -> a -> m) -> Identity a -> m # ifoldr :: (() -> a -> b -> b) -> b -> Identity a -> b # ifoldl' :: (() -> b -> a -> b) -> b -> Identity a -> b #
Ix i => FoldableWithIndex i (Array i) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (i -> a -> m) -> Array i a -> m # ifoldr :: (i -> a -> b -> b) -> b -> Array i a -> b # ifoldl' :: (i -> b -> a -> b) -> b -> Array i a -> b #
FoldableWithIndex k (Map k) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (k -> a -> m) -> Map k a -> m # ifoldr :: (k -> a -> b -> b) -> b -> Map k a -> b # ifoldl' :: (k -> b -> a -> b) -> b -> Map k a -> b #
FoldableWithIndex k ((,) k) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (k -> a -> m) -> (k, a) -> m # ifoldr :: (k -> a -> b -> b) -> b -> (k, a) -> b # ifoldl' :: (k -> b -> a -> b) -> b -> (k, a) -> b #
FoldableWithIndex Void (V1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Void -> a -> m) -> V1 a -> m # ifoldr :: (Void -> a -> b -> b) -> b -> V1 a -> b # ifoldl' :: (Void -> b -> a -> b) -> b -> V1 a -> b #
FoldableWithIndex Void (U1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Void -> a -> m) -> U1 a -> m # ifoldr :: (Void -> a -> b -> b) -> b -> U1 a -> b # ifoldl' :: (Void -> b -> a -> b) -> b -> U1 a -> b #
FoldableWithIndex Void (Proxy :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Void -> a -> m) -> Proxy a -> m # ifoldr :: (Void -> a -> b -> b) -> b -> Proxy a -> b # ifoldl' :: (Void -> b -> a -> b) -> b -> Proxy a -> b #
FoldableWithIndex i f => FoldableWithIndex i (Rec1 f) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (i -> a -> m) -> Rec1 f a -> m # ifoldr :: (i -> a -> b -> b) -> b -> Rec1 f a -> b # ifoldl' :: (i -> b -> a -> b) -> b -> Rec1 f a -> b #
FoldableWithIndex i m => FoldableWithIndex i (IdentityT m) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m0 => (i -> a -> m0) -> IdentityT m a -> m0 # ifoldr :: (i -> a -> b -> b) -> b -> IdentityT m a -> b # ifoldl' :: (i -> b -> a -> b) -> b -> IdentityT m a -> b #
FoldableWithIndex i f => FoldableWithIndex i (Reverse f) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (i -> a -> m) -> Reverse f a -> m # ifoldr :: (i -> a -> b -> b) -> b -> Reverse f a -> b # ifoldl' :: (i -> b -> a -> b) -> b -> Reverse f a -> b #
FoldableWithIndex i f => FoldableWithIndex i (Backwards f) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (i -> a -> m) -> Backwards f a -> m # ifoldr :: (i -> a -> b -> b) -> b -> Backwards f a -> b # ifoldl' :: (i -> b -> a -> b) -> b -> Backwards f a -> b #
FoldableWithIndex Void (K1 i c :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Void -> a -> m) -> K1 i c a -> m # ifoldr :: (Void -> a -> b -> b) -> b -> K1 i c a -> b # ifoldl' :: (Void -> b -> a -> b) -> b -> K1 i c a -> b #
FoldableWithIndex [Int] Tree #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => ([Int] -> a -> m) -> Tree a -> m # ifoldr :: ([Int] -> a -> b -> b) -> b -> Tree a -> b # ifoldl' :: ([Int] -> b -> a -> b) -> b -> Tree a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (f :+: g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Either i j -> a -> m) -> (f :+: g) a -> m # ifoldr :: (Either i j -> a -> b -> b) -> b -> (f :+: g) a -> b # ifoldl' :: (Either i j -> b -> a -> b) -> b -> (f :+: g) a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (f :*: g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Either i j -> a -> m) -> (f :: g) a -> m # ifoldr :: (Either i j -> a -> b -> b) -> b -> (f :: g) a -> b # ifoldl' :: (Either i j -> b -> a -> b) -> b -> (f :*: g) a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (Product f g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Either i j -> a -> m) -> Product f g a -> m # ifoldr :: (Either i j -> a -> b -> b) -> b -> Product f g a -> b # ifoldl' :: (Either i j -> b -> a -> b) -> b -> Product f g a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (Sum f g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => (Either i j -> a -> m) -> Sum f g a -> m # ifoldr :: (Either i j -> a -> b -> b) -> b -> Sum f g a -> b # ifoldl' :: (Either i j -> b -> a -> b) -> b -> Sum f g a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (i, j) (f :.: g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => ((i, j) -> a -> m) -> (f :.: g) a -> m # ifoldr :: ((i, j) -> a -> b -> b) -> b -> (f :.: g) a -> b # ifoldl' :: ((i, j) -> b -> a -> b) -> b -> (f :.: g) a -> b #
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (i, j) (Compose f g) #
Instance details Defined in Optics.Internal.Indexed Methods ifoldMap :: Monoid m => ((i, j) -> a -> m) -> Compose f g a -> m # ifoldr :: ((i, j) -> a -> b -> b) -> b -> Compose f g a -> b # ifoldl' :: ((i, j) -> b -> a -> b) -> b -> Compose f g a -> b #

itraverse_ :: (FoldableWithIndex i t, Applicative f) => (i -> a -> f b) -> t a -> f () #

Traverse FoldableWithIndex ignoring the results.

ifor_ :: (FoldableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f () #

Flipped itraverse_.

Traversable with index

class (FoldableWithIndex i t, Traversable t) => TraversableWithIndex i t | t -> i where #

Minimal complete definition

itraverse

Methods

itraverse :: Applicative f => (i -> a -> f b) -> t a -> f (t b) #

Instances

TraversableWithIndex Int [] #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Int -> a -> f b) -> [a] -> f [b] #
TraversableWithIndex Int ZipList #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Int -> a -> f b) -> ZipList a -> f (ZipList b) #
TraversableWithIndex Int NonEmpty #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Int -> a -> f b) -> NonEmpty a -> f (NonEmpty b) #
TraversableWithIndex Int IntMap #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Int -> a -> f b) -> IntMap a -> f (IntMap b) #
TraversableWithIndex Int Seq #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Int -> a -> f b) -> Seq a -> f (Seq b) #
TraversableWithIndex () Maybe #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (() -> a -> f b) -> Maybe a -> f (Maybe b) #
TraversableWithIndex () Par1 #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (() -> a -> f b) -> Par1 a -> f (Par1 b) #
TraversableWithIndex () Identity #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (() -> a -> f b) -> Identity a -> f (Identity b) #
Ix i => TraversableWithIndex i (Array i) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (i -> a -> f b) -> Array i a -> f (Array i b) #
TraversableWithIndex k (Map k) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (k -> a -> f b) -> Map k a -> f (Map k b) #
TraversableWithIndex k ((,) k) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (k -> a -> f b) -> (k, a) -> f (k, b) #
TraversableWithIndex Void (V1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Void -> a -> f b) -> V1 a -> f (V1 b) #
TraversableWithIndex Void (U1 :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Void -> a -> f b) -> U1 a -> f (U1 b) #
TraversableWithIndex Void (Proxy :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Void -> a -> f b) -> Proxy a -> f (Proxy b) #
TraversableWithIndex i f => TraversableWithIndex i (Rec1 f) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (i -> a -> f0 b) -> Rec1 f a -> f0 (Rec1 f b) #
TraversableWithIndex i m => TraversableWithIndex i (IdentityT m) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (i -> a -> f b) -> IdentityT m a -> f (IdentityT m b) #
TraversableWithIndex i f => TraversableWithIndex i (Reverse f) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (i -> a -> f0 b) -> Reverse f a -> f0 (Reverse f b) #
TraversableWithIndex i f => TraversableWithIndex i (Backwards f) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (i -> a -> f0 b) -> Backwards f a -> f0 (Backwards f b) #
TraversableWithIndex Void (K1 i c :: * -> *) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => (Void -> a -> f b) -> K1 i c a -> f (K1 i c b) #
TraversableWithIndex [Int] Tree #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f => ([Int] -> a -> f b) -> Tree a -> f (Tree b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (f :+: g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (Either i j -> a -> f0 b) -> (f :+: g) a -> f0 ((f :+: g) b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (f :*: g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (Either i j -> a -> f0 b) -> (f :: g) a -> f0 ((f :: g) b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (Product f g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (Either i j -> a -> f0 b) -> Product f g a -> f0 (Product f g b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (Sum f g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => (Either i j -> a -> f0 b) -> Sum f g a -> f0 (Sum f g b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (i, j) (f :.: g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => ((i, j) -> a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b) #
(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (i, j) (Compose f g) #
Instance details Defined in Optics.Internal.Indexed Methods itraverse :: Applicative f0 => ((i, j) -> a -> f0 b) -> Compose f g a -> f0 (Compose f g b) #

ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b) #

Flipped itraverse