#ifndef MIN_VERSION_base
#define MIN_VERSION_base(x,y,z) 1
#endif
module Lens.Micro.Each
(
Each(..),
)
where
import Control.Applicative
import Data.Complex
import Data.Traversable
import Lens.Micro
class Each s t a b | s -> a, t -> b, s b -> t, t a -> s where
each :: Traversal s t a b
default each :: (Traversable g, s ~ g a, t ~ g b) => Traversal s t a b
each = traverse
instance (a~a', b~b') => Each (a,a') (b,b') a b where
each f ~(a,b) = (,) <$> f a <*> f b
instance (a~a2, a~a3, b~b2, b~b3) => Each (a,a2,a3) (b,b2,b3) a b where
each f ~(a,b,c) = (,,) <$> f a <*> f b <*> f c
instance (a~a2, a~a3, a~a4, b~b2, b~b3, b~b4) => Each (a,a2,a3,a4) (b,b2,b3,b4) a b where
each f ~(a,b,c,d) = (,,,) <$> f a <*> f b <*> f c <*> f d
instance (a~a2, a~a3, a~a4, a~a5, b~b2, b~b3, b~b4, b~b5) => Each (a,a2,a3,a4,a5) (b,b2,b3,b4,b5) a b where
each f ~(a,b,c,d,e) = (,,,,) <$> f a <*> f b <*> f c <*> f d <*> f e
instance (a~a2, a~a3, a~a4, a~a5, a~a6, b~b2, b~b3, b~b4, b~b5, b~b6) => Each (a,a2,a3,a4,a5,a6) (b,b2,b3,b4,b5,b6) a b where
each f ~(a,b,c,d,e,g) = (,,,,,) <$> f a <*> f b <*> f c <*> f d <*> f e <*> f g
#if MIN_VERSION_base(4,4,0)
instance Each (Complex a) (Complex b) a b where
each f (a :+ b) = (:+) <$> f a <*> f b
#else
instance (RealFloat a, RealFloat b) => Each (Complex a) (Complex b) a b where
each f (a :+ b) = (:+) <$> f a <*> f b
#endif
instance Each [a] [b] a b
instance Each (Maybe a) (Maybe b) a b