Moduleoptics-core-0.4.2Haskell2010

Optics.Coerce

This module defines operations to coerce the type parameters of optics to a representationally equal type. For example, if we have

newtype MkInt = MkInt Int

and

l :: Lens' S Int

then

coerceA @Int @MkInt l :: Lens' S MkInt

valuecoerceS :: Coercible s s' => Optic k is s t a b -> Optic k is s' t a b

Lift coerce to the s parameter of an optic.

valuecoerceT :: Coercible t t' => Optic k is s t a b -> Optic k is s t' a b

Lift coerce to the t parameter of an optic.

valuecoerceA :: Coercible a a' => Optic k is s t a b -> Optic k is s t a' b

Lift coerce to the a parameter of an optic.

valuecoerceB :: Coercible b b' => Optic k is s t a b -> Optic k is s t a b'

Lift coerce to the b parameter of an optic.