FoldableWithIndex Int [] Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Int NonEmpty Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Int ZipList Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Int Seq Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Int IntMap Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex () Maybe Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex () Par1 Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex () Identity Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
Ix i => FoldableWithIndex i (Array i) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex k (Map k) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex k ((,) k) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Void (V1 :: Type -> Type) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Void (U1 :: Type -> Type) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Void (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex i f => FoldableWithIndex i (Rec1 f) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex i m => FoldableWithIndex i (IdentityT m) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex i f => FoldableWithIndex i (Reverse f) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex i f => FoldableWithIndex i (Backwards f) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Void (Const e :: Type -> Type) Source # | Since: 0.3 |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex Void (Constant e :: Type -> Type) Source # | Since: 0.3 |
Instance detailsDefined in Optics.Internal.Indexed.Classes Methods ifoldMap :: Monoid m => (Void -> a -> m) -> Constant e a -> m Source # ifoldr :: (Void -> a -> b -> b) -> b -> Constant e a -> b Source # ifoldl' :: (Void -> b -> a -> b) -> b -> Constant e a -> b Source # |
FoldableWithIndex Void (K1 i c :: Type -> Type) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
FoldableWithIndex [Int] Tree Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes |
(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (f :+: g) Source # | |
Instance detailsDefined in Optics.Internal.Indexed.Classes 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 detailsDefined in Optics.Internal.Indexed.Classes 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 detailsDefined in Optics.Internal.Indexed.Classes 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 detailsDefined in Optics.Internal.Indexed.Classes 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 detailsDefined in Optics.Internal.Indexed.Classes 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 detailsDefined in Optics.Internal.Indexed.Classes 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 # |