lens-2.6.1: Lenses, Folds and Traversals
Data.Dynamic.Lens
Description
Synopsis
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.
Dynamic
traverseDynamic :: (Applicative f, Typeable a, Typeable b) => (a -> f b) -> Dynamic -> f Dynamic