optics-core-0.1: Optics as an abstract interface: core definitions

Safe HaskellNone
LanguageHaskell2010

Data.Typeable.Optics

Description

 
Synopsis

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.