^. -package:stack -package:rio -package:sbv -package:microlens

View the value pointed to by a Getter or Lens or the result of folding over all the results of a Fold or Traversal that points at a monoidal values. This is the same operation as view with the arguments flipped. The fixity and semantics are such that subsequent field accesses can be performed with (.).
>>> (a,b)^._2
b
>>> ("hello","world")^._2
"world"
>>> import Data.Complex

>>> ((0, 1 :+ 2), 3)^._1._2.to magnitude
2.23606797749979
(^.) ::             s -> Getter s a     -> a
(^.) :: Monoid m => s -> Fold s m       -> m
(^.) ::             s -> Iso' s a       -> a
(^.) ::             s -> Lens' s a      -> a
(^.) :: Monoid m => s -> Traversal' s m -> m
The operator form of view with the arguments flipped.
Getting
Flipped infix version of view.
get as infix operator. This lets us write record^.field^.subfield. This imitates Modula II syntax.
(^.) :: s -> Getter s t a b -> a
Access the value referenced by a getter or lens.
(^.) :: Monoid a => s -> Fold s t a b -> a
Access the monoidal summary referenced by a traversal or a fold.
Project a field of an entity.
Deprecated: Use corresponding function from lens or microlens package
Get inner part i of structure o as designated by Lens' i o.
Infix version of getL (with the reverse order of the arguments)
Like view but with the arguments flipped
A convenient infix (flipped) version of toListOf.
>>> [[1,2],[3]]^..id
[[[1,2],[3]]]

>>> [[1,2],[3]]^..traverse
[[1,2],[3]]

>>> [[1,2],[3]]^..traverse.traverse
[1,2,3]
>>> (1,2)^..both
[1,2]
toList xs ≡ xs ^.. folded
(^..) ≡ flip toListOf
(^..) :: s -> Getter s a     -> a :: s -> Fold s a       -> a :: s -> Lens' s a      -> a :: s -> Iso' s a       -> a :: s -> Traversal' s a -> a :: s -> Prism' s a     -> [a]
Flipped infix version of toListOf.
Returns a list of all of the referenced values in order.
(^..) :: s -> Fold s t a b -> [a]
Returns a list of all of the referenced values in order.
Deprecated: Use corresponding function from lens or microlens package
besides
Dot product of two vectors.
Infix version of xor.
Infix version of xor. Since: 4.17
Bit-wise XOR