Control.Parallel.Strategies.Lens

A Lens or Traversal can be used to take the role of Traversable in Control.Parallel.Strategies, enabling those combinators to work with monomorphic containers.

Documentation

evalOf :: SimpleLensLike Eval a b -> Strategy b -> Strategy a

Evaluate the targets of a Lens or Traversal into a data structure according to the given Strategy.

 evalTraversable = evalOf traverse = traverse
 evalOf = id

 evalOf :: Simple Lens a b -> Strategy b -> Strategy a
 evalOf :: Simple Traversal a b -> Strategy b -> Strategy a
 evalOf :: (b -> Eval b) -> a -> Eval a) -> Strategy b -> Strategy a

parOf :: SimpleLensLike Eval a b -> Strategy b -> Strategy a

Evaluate the targets of a Lens or Traversal according into a data structure according to a given Strategy in parallel.

parTraversable = parOf traverse

 parOf :: Simple Lens a b -> Strategy b -> Strategy a
 parOf :: Simple Traversal a b -> Strategy b -> Strategy a
 parOf :: ((b -> Eval b) -> a -> Eval a) -> Strategy b -> Strategy a

after :: Strategy a -> LensLike f a b c d -> LensLike f a b c d

Transform a Lens, Fold, Getter, Setter or Traversal to first evaluates its argument according to a given Strategy before proceeding.

 after rdeepseq traverse :: Traversable t => Strategy a -> Strategy [a]

throughout :: Strategy a -> LensLike f a b c d -> LensLike f a b c d

Transform a Lens, Fold, Getter, Setter or Traversal to evaluate its argument according to a given Strategy in parallel with evaluating.

 throughout rdeepseq traverse :: Traversable t => Strategy a -> Strategy [a]