Idris2Doc : Control.Lens.Each

Control.Lens.Each

(source)
Definitions
interface Each : Type -> Type -> Type -> Type -> Type
  An interface for accessing every element of a container.
  
  This can be thought of as a generalized version of `traversed` for
  containers that do not have a `Traversable` implementation.

  Parameters: s, t, a, b
Methods:
  
each : Traversal s t a b
  Access every element of a container at the same time.
  
  This can be thought of as a generalized version of `traversed` for
  containers that do not have a `Traversable` implementation.

Implementations:
  
Each (Identity a) (Identity b) a b
  
Each (Const a b) (Const c d) a c
each : Each s t a b => Traversal s t a b
  Access every element of a container at the same time.
  
  This can be thought of as a generalized version of `traversed` for
  containers that do not have a `Traversable` implementation.

  Totality: total
  Visibility: public export
interface IEach : Type -> Type -> Type -> Type -> Type -> Type
  An interface for accessing every element of a container, providing an index.
  
  This can be thought of as a generalized version of `itraversed` for
  containers that do not have a `Traversable` implementation.

  Parameters: i, s, t, a, b
Constraints: Each s t a b
Methods:
  
ieach : IndexedTraversal i s t a b
  Access every element of a container at the same time, providing an index.
  
  This can be thought of as a generalized version of `itraversed` for
  containers that do not have a `Traversable` implementation.
ieach : IEach i s t a b => IndexedTraversal i s t a b
  Access every element of a container at the same time, providing an index.
  
  This can be thought of as a generalized version of `itraversed` for
  containers that do not have a `Traversable` implementation.

  Totality: total
  Visibility: public export