:: (Coercible s a, Coercible t b) => Iso s t a b -package:generic-optics

coerced :: forall s t a b . (Coercible s a, Coercible t b) => Iso s t a b

lens Control.Lens.Combinators Control.Lens.Iso, diagrams-lib Diagrams.Prelude

Data types that are representationally equal are isomorphic. This is only available on GHC 7.8+

coerced :: (Coercible s a, Coercible t b) => Iso s t a b

optics-core Optics.Iso

Data types that are representationally equal are isomorphic.

>>> view coerced 'x' :: Identity Char
Identity 'x'

equality :: (s ~ a, t ~ b) => Iso s t a b

optics-core Optics.Iso

Capture type constraints as an isomorphism. Note: This is the identity optic:

>>> :t view equality
view equality :: a -> a

wrappedIso :: Wrapped s t a b => Iso s t a b

generic-lens Data.Generics.Wrapped

_Unwrapped :: Wrapped s t a b => Iso s t a b

generic-lens Data.Generics.Wrapped

_Wrapped :: Wrapped s t a b => Iso b a t s

generic-lens Data.Generics.Wrapped

derived :: Context s t a b => Iso s t a b

generic-lens-core Data.Generics.Internal.Wrapped