Is k k Source # | Every kind of optic can be used as itself. |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
(TypeError ((ShowType k :<>: Text " cannot be used as ") :<>: ShowType l) :: Constraint) => Is k l Source # | Overlappable instance for a custom type error. |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_ReversedLens A_Review Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_AffineFold A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Getter A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Getter An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_ReversedPrism A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_ReversedPrism An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_ReversedPrism A_Getter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Traversal A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Traversal A_Setter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_AffineTraversal A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_AffineTraversal An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_AffineTraversal A_Setter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_AffineTraversal A_Traversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism A_Review Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism A_Setter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism A_Traversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Prism An_AffineTraversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens A_Getter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens A_Setter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens A_Traversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is A_Lens An_AffineTraversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Review Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_ReversedLens Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Fold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso An_AffineFold Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Getter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_ReversedPrism Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Setter Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Traversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso An_AffineTraversal Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Prism Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |
Is An_Iso A_Lens Source # | |
Instance detailsDefined in Optics.Internal.Optic.Subtyping |