| Copyright | (C) 2012-16 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | Rank2Types |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.Typeable.Lens
Description
Synopsis
- _cast :: (Typeable s, Typeable a) => Traversal' s a
- _gcast :: (Typeable s, Typeable a) => Traversal' (c s) (c a)
Documentation
_cast :: (Typeable s, Typeable a) => Traversal' s a Source #
A Traversal' for working with a cast of a Typeable value.
_gcast :: (Typeable s, Typeable a) => Traversal' (c s) (c a) Source #
A Traversal' for working with a gcast of a Typeable value.