Magma package:diagrams-lib

data () => Magma i t b a
diagrams-lib Diagrams.Prelude
This provides a way to peek at the internal structure of a Traversal or IndexedTraversal
magma :: LensLike (Mafic a b) s t a b -> Iso s u (Magma Int t b a) (Magma j u c c)
diagrams-lib Diagrams.Prelude
This isomorphism can be used to inspect a Traversal to see how it associates the structure and it can also be used to bake the Traversal into a Magma so that you can traverse over it multiple times.
imagma :: Over (Indexed i) (Molten i a b) s t a b -> Iso s t' (Magma i t b a) (Magma j t' c c)
diagrams-lib Diagrams.Prelude
This isomorphism can be used to inspect an IndexedTraversal to see how it associates the structure and it can also be used to bake the IndexedTraversal into a Magma so that you can traverse over it multiple times with access to the original indices.