| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Typeable.Optics
Description
Synopsis
- _cast :: (Typeable s, Typeable a) => AffineTraversal' s a
- _gcast :: forall {k} (s :: k) (a :: k) c. (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 :: forall {k} (s :: k) (a :: k) c. (Typeable s, Typeable a) => AffineTraversal' (c s) (c a) Source #
An AffineTraversal' for working with a gcast of a Typeable value.