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 #
k ~ A_Review => JoinKinds A_Review A_Review k 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 k p => r Source #
k ~ A_Review => JoinKinds A_Review A_ReversedLens k 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 k p => r Source #
k ~ A_Review => JoinKinds A_Review A_Prism k 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 k p => r Source #
k ~ A_Review => JoinKinds A_Review An_Iso k 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 k p => r Source #
k ~ A_Review => JoinKinds A_ReversedLens A_Review k 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 k p => r Source #
k ~ A_Review => JoinKinds A_Prism A_Review k 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 k p => r Source #
k ~ A_Review => JoinKinds An_Iso A_Review k 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 k 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