Safe Haskell	None
Language	Haskell2010

Optics.Internal.Indexed

Description

Internal implementation details of indexed optics.

This module is intended for internal use only, and may change without warning in subsequent releases.

Synopsis

class is ~ NoIx => AcceptsEmptyIndices (f :: Symbol) (is :: IxList)
class NonEmptyIndices (is :: IxList)
class is ~ '[i] => HasSingleIndex (is :: IxList) (i :: Type)
type family ShowTypes (types :: [Type]) :: ErrorMessage where ...
data IntT f a = IntT !Int (f a)
unIntT :: IntT f a -> f a
newtype Indexing f a = Indexing {
- runIndexing :: Int -> IntT f a
}
indexing :: ((a -> Indexing f b) -> s -> Indexing f t) -> (Int -> a -> f b) -> s -> f t
conjoined :: is `HasSingleIndex` i => Optic k NoIx s t a b -> Optic k is s t a b -> Optic k is s t a b
class Functor f => FunctorWithIndex i f | f -> i where
- imap :: (i -> a -> b) -> f a -> f b
class (FunctorWithIndex i f, Foldable f) => FoldableWithIndex i f | f -> i where
- ifoldMap :: 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
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
- itraverse :: Applicative f => (i -> a -> f b) -> t a -> f (t b)
ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b)

Documentation

class is ~ NoIx => AcceptsEmptyIndices (f :: Symbol) (is :: IxList) Source #

Show useful error message when a function expects optics without indices.

Instances

AcceptsEmptyIndices f ([] :: [Type]) Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError ((Text "\8216" :<>: Text f) :<>: Text "\8217 accepts only optics with no indices") :: Constraint), (x ': xs) ~ NoIx) => AcceptsEmptyIndices f (x ': xs) Source #
Instance details Defined in Optics.Internal.Indexed

class NonEmptyIndices (is :: IxList) Source #

Check whether a list of indices is not empty and generate sensible error message if it's not.

Instances

(TypeError (Text "Indexed optic is expected") :: Constraint) => NonEmptyIndices ([] :: [Type]) Source #
Instance details Defined in Optics.Internal.Indexed
NonEmptyIndices (x ': xs) Source #
Instance details Defined in Optics.Internal.Indexed

class is ~ '[i] => HasSingleIndex (is :: IxList) (i :: Type) Source #

Generate sensible error messages in case a user tries to pass either an unindexed optic or indexed optic with unflattened indices where indexed optic with a single index is expected.

Instances

((TypeError (Text "Indexed optic is expected") :: Constraint), ([] :: [Type]) ~ (i ': ([] :: [Type]))) => HasSingleIndex ([] :: [Type]) i Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError (Text "Use icomposeN to flatten indices of type " :<>: ShowTypes is) :: Constraint), is ~ (i1 ': (i2 ': (i3 ': (i4 ': (i5 ': (i6 ': is')))))), is ~ (i ': ([] :: [Type]))) => HasSingleIndex (i1 ': (i2 ': (i3 ': (i4 ': (i5 ': (i6 ': is')))))) i Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError (Text "Use icompose5 to flatten indices of type " :<>: ShowTypes is) :: Constraint), is ~ (i1 ': (i2 ': (i3 ': (i4 ': (i5 ': ([] :: [Type])))))), is ~ (i ': ([] :: [Type]))) => HasSingleIndex (i1 ': (i2 ': (i3 ': (i4 ': (i5 ': ([] :: [Type])))))) i Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError (Text "Use icompose4 to combine indices of type " :<>: ShowTypes is) :: Constraint), is ~ (i1 ': (i2 ': (i3 ': (i4 ': ([] :: [Type]))))), is ~ (i ': ([] :: [Type]))) => HasSingleIndex (i1 ': (i2 ': (i3 ': (i4 ': ([] :: [Type]))))) i Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError (Text "Use icompose3 to combine indices of type " :<>: ShowTypes is) :: Constraint), is ~ (i1 ': (i2 ': (i3 ': ([] :: [Type])))), is ~ (i ': ([] :: [Type]))) => HasSingleIndex (i1 ': (i2 ': (i3 ': ([] :: [Type])))) i Source #
Instance details Defined in Optics.Internal.Indexed
((TypeError (Text "Use (<%>) or icompose to combine indices of type " :<>: ShowTypes is) :: Constraint), is ~ (i1 ': (i2 ': ([] :: [Type]))), is ~ (i ': ([] :: [Type]))) => HasSingleIndex (i1 ': (i2 ': ([] :: [Type]))) i Source #
Instance details Defined in Optics.Internal.Indexed
HasSingleIndex (i ': ([] :: [Type])) i Source #
Instance details Defined in Optics.Internal.Indexed

type family ShowTypes (types :: [Type]) :: ErrorMessage where ... Source #

Equations

ShowTypes '[i] = QuoteType i
ShowTypes '[i, j] = (QuoteType i :<>: Text " and ") :<>: QuoteType j
ShowTypes (i ': is) = (QuoteType i :<>: Text ", ") :<>: ShowTypes is

data IntT f a Source #

Constructors

IntT !Int (f a)

unIntT :: IntT f a -> f a Source #

newtype Indexing f a Source #

Constructors

Indexing
Fields runIndexing :: Int -> IntT f a

Instances

Functor f => Functor (Indexing f) Source #
Instance details Defined in Optics.Internal.Indexed Methods fmap :: (a -> b) -> Indexing f a -> Indexing f b # (<$) :: a -> Indexing f b -> Indexing f a #
Applicative f => Applicative (Indexing f) Source #
Instance details Defined in Optics.Internal.Indexed Methods pure :: a -> Indexing f a # (<>) :: Indexing f (a -> b) -> Indexing f a -> Indexing f b # liftA2 :: (a -> b -> c) -> Indexing f a -> Indexing f b -> Indexing f c # (>) :: Indexing f a -> Indexing f b -> Indexing f b # (<*) :: Indexing f a -> Indexing f b -> Indexing f a #

indexing :: ((a -> Indexing f b) -> s -> Indexing f t) -> (Int -> a -> f b) -> s -> f t Source #

Index a traversal by position of visited elements.

conjoined :: is `HasSingleIndex` i => Optic k NoIx s t a b -> Optic k is s t a b -> Optic k is s t a b Source #

Construct a conjoined indexed optic that provides a separate code path when used without indices. Useful for defining indexed optics that are as efficient as their unindexed equivalents when used without indices.

Note: conjoined f g is well-defined if and only if f ≡ noIx g.

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

Class for Functors that have an additional read-only index available.

Minimal complete definition

Nothing

Methods

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

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

Instances

FunctorWithIndex Int [] Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> [a] -> [b] Source #
FunctorWithIndex Int ZipList Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> ZipList a -> ZipList b Source #
FunctorWithIndex Int NonEmpty Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> NonEmpty a -> NonEmpty b Source #
FunctorWithIndex Int IntMap Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Int -> a -> b) -> IntMap a -> IntMap b Source #
FunctorWithIndex Int Seq Source #	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 Source #
FunctorWithIndex () Maybe Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Maybe a -> Maybe b Source #
FunctorWithIndex () Par1 Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Par1 a -> Par1 b Source #
FunctorWithIndex () Identity Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (() -> a -> b) -> Identity a -> Identity b Source #
Ix i => FunctorWithIndex i (Array i) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Array i a -> Array i b Source #
FunctorWithIndex k (Map k) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (k -> a -> b) -> Map k a -> Map k b Source #
FunctorWithIndex k ((,) k) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (k -> a -> b) -> (k, a) -> (k, b) Source #
FunctorWithIndex Void (V1 :: Type -> Type) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> V1 a -> V1 b Source #
FunctorWithIndex Void (U1 :: Type -> Type) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> U1 a -> U1 b Source #
FunctorWithIndex Void (Proxy :: Type -> Type) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> Proxy a -> Proxy b Source #
FunctorWithIndex i f => FunctorWithIndex i (Rec1 f) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Rec1 f a -> Rec1 f b Source #
FunctorWithIndex i m => FunctorWithIndex i (IdentityT m) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> IdentityT m a -> IdentityT m b Source #
FunctorWithIndex i f => FunctorWithIndex i (Reverse f) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Reverse f a -> Reverse f b Source #
FunctorWithIndex i f => FunctorWithIndex i (Backwards f) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (i -> a -> b) -> Backwards f a -> Backwards f b Source #
FunctorWithIndex r ((->) r :: Type -> Type) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (r -> a -> b) -> (r -> a) -> r -> b Source #
FunctorWithIndex Void (K1 i c :: Type -> Type) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Void -> a -> b) -> K1 i c a -> K1 i c b Source #
FunctorWithIndex [Int] Tree Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ([Int] -> a -> b) -> Tree a -> Tree b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :+: g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> (f :+: g) a -> (f :+: g) b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :*: g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> (f :: g) a -> (f :: g) b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Product f g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> Product f g a -> Product f g b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Sum f g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: (Either i j -> a -> b) -> Sum f g a -> Sum f g b Source #
FunctorWithIndex i m => FunctorWithIndex (e, i) (ReaderT e m) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((e, i) -> a -> b) -> ReaderT e m a -> ReaderT e m b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (f :.: g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((i, j) -> a -> b) -> (f :.: g) a -> (f :.: g) b Source #
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (Compose f g) Source #
Instance details Defined in Optics.Internal.Indexed Methods imap :: ((i, j) -> a -> b) -> Compose f g a -> Compose f g b Source #

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

Class for Foldables that have an additional read-only index available.

Minimal complete definition

Nothing

Methods

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

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

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

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

Instances

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

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

Traverse FoldableWithIndex ignoring the results.

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

Flipped itraverse_.

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

Class for Traversables that have an additional read-only index available.

Methods

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

Instances

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

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

Flipped itraverse