^. -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