Data.Typeable.Optics

Synopsis

value_cast :: (Typeable s, Typeable a) => AffineTraversal' s a

An AffineTraversal' for working with a cast of a Typeable value.

value_gcast :: (Typeable s, Typeable a) => AffineTraversal' (c s) (c a)

An AffineTraversal' for working with a gcast of a Typeable value.