Safe Haskell	None
Language	Haskell2010

Optics.Re

Documentation

class ReversibleOptic k where #

Minimal complete definition

re

Associated Types

type ReversedOptic k :: OpticKind #

Methods

re :: Optic k '[] s t a b -> Optic (ReversedOptic k) '[] b a t s #

Reverses optics, turning around Equality into Equality, Iso into Iso, Prism into PrismaticGetter (and back), Lens into LensyReview (and back) and Getter into Review (and back).

Instances

ReversibleOptic A_Review #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Review :: OpticKind # Methods re :: Optic A_Review [] s t a b -> Optic (ReversedOptic A_Review) [] b a t s #
ReversibleOptic A_LensyReview #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_LensyReview :: OpticKind # Methods re :: Optic A_LensyReview [] s t a b -> Optic (ReversedOptic A_LensyReview) [] b a t s #
ReversibleOptic A_Getter #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Getter :: OpticKind # Methods re :: Optic A_Getter [] s t a b -> Optic (ReversedOptic A_Getter) [] b a t s #
ReversibleOptic A_PrismaticGetter #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_PrismaticGetter :: OpticKind # Methods re :: Optic A_PrismaticGetter [] s t a b -> Optic (ReversedOptic A_PrismaticGetter) [] b a t s #
ReversibleOptic A_Prism #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Prism :: OpticKind # Methods re :: Optic A_Prism [] s t a b -> Optic (ReversedOptic A_Prism) [] b a t s #
ReversibleOptic A_Lens #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Lens :: OpticKind # Methods re :: Optic A_Lens [] s t a b -> Optic (ReversedOptic A_Lens) [] b a t s #
ReversibleOptic An_Iso #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic An_Iso :: OpticKind # Methods re :: Optic An_Iso [] s t a b -> Optic (ReversedOptic An_Iso) [] b a t s #
ReversibleOptic An_Equality #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic An_Equality :: OpticKind # Methods re :: Optic An_Equality [] s t a b -> Optic (ReversedOptic An_Equality) [] b a t s #