lens-1.9.1: Lenses, Folds and Traversals

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Infered

Data.Dynamic.Lens

Description

 

Synopsis

Documentation

traverseDynamic :: (Typeable a, Typeable b) => Traversal Dynamic Dynamic a bSource

Traverse the typed value contained in a Dynamic where the type required by your function matches that of the contents of the Dynamic.

 traverseDynamic :: (Applicative f, Typeable a, Typeable b) => (a -> f b) -> Dynamic -> f Dynamic