Copyright	(C) 2012-16 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Optics.Each

Contents

Each

Description

Synopsis

class Each s t a b | s -> a, t -> b, s b -> t, t a -> s where

Each

class Each s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Extract each element of a (potentially monomorphic) container.

>>> over each (*10) (1,2,3)
(10,20,30)

Methods

each :: Traversal s t a b #

each :: (Traversable g, s ~ g a, t ~ g b) => Traversal s t a b #

Instances

Each [a] [b] a b #	`each` :: `Traversal` i [a] [b] a b
Instance details Defined in Optics.Each Methods each :: Traversal [a] [b] a b #
Each (Maybe a) (Maybe b) a b #	`each` :: `Traversal` i (`Maybe` a) (`Maybe` b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Maybe a) (Maybe b) a b #
Each (Complex a) (Complex b) a b #	`each` :: (`RealFloat` a, `RealFloat` b) => `Traversal` i (`Complex` a) (`Complex` b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Complex a) (Complex b) a b #
Each (Identity a) (Identity b) a b #	`each` :: `Traversal` i (`Identity` a) (`Identity` b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Identity a) (Identity b) a b #
Each (NonEmpty a) (NonEmpty b) a b #	`each` :: `Traversal` i (NonEmpty a) (NonEmpty b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (NonEmpty a) (NonEmpty b) a b #
Each (IntMap a) (IntMap b) a b #	`each` :: `Traversal` i (`Map` c a) (`Map` c b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (IntMap a) (IntMap b) a b #
Each (Tree a) (Tree b) a b #	`each` :: `Traversal` i (`Tree` a) (`Tree` b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Tree a) (Tree b) a b #
Each (Seq a) (Seq b) a b #	`each` :: `Traversal` i (`Seq` a) (`Seq` b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Seq a) (Seq b) a b #
(a ~ a', b ~ b') => Each (a, a') (b, b') a b #	`each` :: `Traversal` i (a,a) (b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a') (b, b') a b #
(Ix i, IArray UArray a, IArray UArray b, i ~ j) => Each (UArray i a) (UArray j b) a b #	`each` :: (`Ix` i, `IArray` `UArray` a, `IArray` `UArray` b) => `Traversal` i (`Array` i a) (`Array` i b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (UArray i a) (UArray j b) a b #
(Ix i, i ~ j) => Each (Array i a) (Array j b) a b #	`each` :: `Ix` i => `Traversal` i (`Array` i a) (`Array` i b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Array i a) (Array j b) a b #
c ~ d => Each (Map c a) (Map d b) a b #	`each` :: `Traversal` i (`Map` c a) (`Map` c b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (Map c a) (Map d b) a b #
(a ~ a2, a ~ a3, b ~ b2, b ~ b3) => Each (a, a2, a3) (b, b2, b3) a b #	`each` :: `Traversal` i (a,a,a) (b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3) (b, b2, b3) a b #
(a ~ a2, a ~ a3, a ~ a4, b ~ b2, b ~ b3, b ~ b4) => Each (a, a2, a3, a4) (b, b2, b3, b4) a b #	`each` :: `Traversal` i (a,a,a,a) (b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4) (b, b2, b3, b4) a b #
(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 #	`each` :: `Traversal` i (a,a,a,a,a) (b,b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4, a5) (b, b2, b3, b4, b5) a b #
(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 #	`each` :: `Traversal` i (a,a,a,a,a,a) (b,b,b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4, a5, a6) (b, b2, b3, b4, b5, b6) a b #
(a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7) => Each (a, a2, a3, a4, a5, a6, a7) (b, b2, b3, b4, b5, b6, b7) a b #	`each` :: `Traversal` i (a,a,a,a,a,a,a) (b,b,b,b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4, a5, a6, a7) (b, b2, b3, b4, b5, b6, b7) a b #
(a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, a ~ a8, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7, b ~ b8) => Each (a, a2, a3, a4, a5, a6, a7, a8) (b, b2, b3, b4, b5, b6, b7, b8) a b #	`each` :: `Traversal` i (a,a,a,a,a,a,a,a) (b,b,b,b,b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4, a5, a6, a7, a8) (b, b2, b3, b4, b5, b6, b7, b8) a b #
(a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, a ~ a8, a ~ a9, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7, b ~ b8, b ~ b9) => Each (a, a2, a3, a4, a5, a6, a7, a8, a9) (b, b2, b3, b4, b5, b6, b7, b8, b9) a b #	`each` :: `Traversal` i (a,a,a,a,a,a,a,a,a) (b,b,b,b,b,b,b,b,b) a b
Instance details Defined in Optics.Each Methods each :: Traversal (a, a2, a3, a4, a5, a6, a7, a8, a9) (b, b2, b3, b4, b5, b6, b7, b8, b9) a b #