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