ReversibleOptic A_Review Source #
Instance details Defined in Optics.Re Associated Types type ReversedOptic A_Review = (r :: Type) Source # Methods re :: forall (is :: IxList) s t a b. 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 :: forall (p :: Type -> Type -> Type -> Type) r. (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 :: forall (p :: Type -> Type -> Type -> Type) r. (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 :: forall (p :: Type -> Type -> Type -> Type) r. (Constraints An_Iso p => r) -> Constraints A_Review p => r Source #
JoinKinds A_Review A_Review A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Review p, Constraints A_Review p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_Review A_ReversedLens A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Review p, Constraints A_ReversedLens p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_Review A_Prism A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Review p, Constraints A_Prism p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_Review An_Iso A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Review p, Constraints An_Iso p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_ReversedLens A_Review A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_ReversedLens p, Constraints A_Review p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_ReversedLens A_Prism A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_ReversedLens p, Constraints A_Prism p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_Prism A_Review A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Prism p, Constraints A_Review p) => r) -> Constraints A_Review p => r Source #
JoinKinds A_Prism A_ReversedLens A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints A_Prism p, Constraints A_ReversedLens p) => r) -> Constraints A_Review p => r Source #
JoinKinds An_Iso A_Review A_Review Source #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods joinKinds :: forall (p :: Type -> Type -> Type -> Type) r. ((Constraints An_Iso p, Constraints A_Review 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 Source # Methods mapping :: forall (is :: IxList). 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