| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Typeable.Optics
Description
Synopsis
- _cast :: (Typeable s, Typeable a) => AffineTraversal' s a
- _gcast :: (Typeable s, Typeable a) => AffineTraversal' (c s) (c a)
Documentation
_cast :: (Typeable s, Typeable a) => AffineTraversal' s a Source #
An AffineTraversal' for working with a cast of a Typeable value.
_gcast :: (Typeable s, Typeable a) => AffineTraversal' (c s) (c a) Source #
An AffineTraversal' for working with a gcast of a Typeable value.