ReversibleOptic A_Review Source #
Instance details Defined in Optics.Re Associated Types type ReversedOptic A_Review = (r :: Type) Source # Methods re :: AcceptsEmptyIndices "re" is => Optic A_Review is s t a b -> Optic (ReversedOptic A_Review) is b a t s Source #
Is A_ReversedLens A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: (Constraints A_ReversedLens p -> r) -> Constraints A_Review p -> r Source #
Is A_Prism A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: (Constraints A_Prism p -> r) -> Constraints A_Review p -> r Source #
Is An_Iso A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: (Constraints An_Iso p -> r) -> Constraints A_Review p -> r Source #
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a b Source #
Instance details Defined in Optics.Mapping Associated Types type MappedOptic A_Review :: Type Source # Methods mapping :: AcceptsEmptyIndices "mapping" is => Optic A_Review is s t a b -> Optic (MappedOptic A_Review) is (f s) (g t) (f a) (g b) Source #
type ReversedOptic A_Review Source #
Instance details Defined in Optics.Re type ReversedOptic A_Review = A_Getter
type MappedOptic A_Review Source #
Instance details Defined in Optics.Mapping type MappedOptic A_Review = A_Review

Review in the optics hierarchy