Modulelens-5.3.6Haskell2010

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.

Synopsis

value evalOf
value parOf
value after
value throughout

Packagelens-5.3.6
Exports4
LanguageHaskell2010
LicenceBSD-2-Clause
SourceLens.hs

valueevalOf :: LensLike' Eval s a -> Strategy a -> Strategy s

Source#

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

evalTraversable = evalOf traverse = traverse
evalOf = id

evalOf :: Lens' s a -> Strategy a -> Strategy s
evalOf :: Traversal' s a -> Strategy a -> Strategy s
evalOf :: (a -> Eval a) -> s -> Eval s) -> Strategy a -> Strategy s

valueparOf :: LensLike' Eval s a -> Strategy a -> Strategy s

Source#

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

parTraversable = parOf traverse

parOf :: Lens' s a -> Strategy a -> Strategy s
parOf :: Traversal' s a -> Strategy a -> Strategy s
parOf :: ((a -> Eval a) -> s -> Eval s) -> Strategy a -> Strategy s

valueafter :: Strategy s -> LensLike f s t a b -> LensLike f s t a b

Source#

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]

valuethroughout :: Strategy s -> LensLike f s t a b -> LensLike f s t a b

Source#

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]