Interface for the sequencing of different types of optics.
The kind of optic we get as a result is determined by the kinds of optics
we sequence. For instance, sequencing a Lens with a Prism results in
an Optional, while sequencing with an Iso does preserve an optic's type.
Parameters: k, l, m
Methods:
seq : k s t a b -> l a b c d -> m s t c d
Implementations:
OSeq Iso Iso IsoOSeq Iso Lens LensOSeq Iso Prism PrismOSeq Iso Optional OptionalOSeq Iso Traversal TraversalOSeq Iso Getter GetterOSeq Iso Setter SetterOSeq Iso Fold FoldOSeq Lens Lens LensOSeq Lens Iso LensOSeq Lens Prism OptionalOSeq Lens Optional OptionalOSeq Lens Traversal TraversalOSeq Lens Getter GetterOSeq Lens Setter SetterOSeq Lens Fold FoldOSeq Prism Prism PrismOSeq Prism Iso PrismOSeq Prism Lens OptionalOSeq Prism Optional OptionalOSeq Prism Traversal TraversalOSeq Prism Getter FoldOSeq Prism Setter SetterOSeq Prism Fold FoldOSeq Optional Optional OptionalOSeq Optional Iso OptionalOSeq Optional Lens OptionalOSeq Optional Prism OptionalOSeq Optional Traversal TraversalOSeq Optional Getter FoldOSeq Optional Setter SetterOSeq Optional Fold FoldOSeq Traversal Traversal TraversalOSeq Traversal Iso TraversalOSeq Traversal Lens TraversalOSeq Traversal Prism TraversalOSeq Traversal Optional TraversalOSeq Traversal Getter FoldOSeq Traversal Setter SetterOSeq Traversal Fold FoldOSeq Setter Setter SetterOSeq Setter Iso SetterOSeq Setter Lens SetterOSeq Setter Prism SetterOSeq Setter Optional SetterOSeq Setter Traversal SetterOSeq Getter Getter GetterOSeq Getter Iso GetterOSeq Getter Lens GetterOSeq Getter Prism FoldOSeq Getter Optional FoldOSeq Getter Traversal FoldOSeq Getter Fold FoldOSeq Fold Fold FoldOSeq Fold Iso FoldOSeq Fold Lens FoldOSeq Fold Prism FoldOSeq Fold Optional FoldOSeq Fold Traversal FoldOSeq Fold Getter Fold