|Maintainer||Edward Kmett <firstname.lastname@example.org>|
These are general purpose combinators that provide utility for non-lens code
Passes the result of the left side to the function on the right side (forward pipe operator).
This is the flipped version of (
$), which is more common in languages like F# as (
|>) where it is needed
for inference. Here it is supplied for notational convenience and given a precedence that allows it
to be nested inside uses of (
a & ff a
"hello" & length & succ6
This combinator is commonly used when applying multiple
Lens operations in sequence.
("hello","world") & _1.element 0 .~ 'j' & _1.element 4 .~ 'y'("jelly","world")
This reads somewhat similar to:
flip execState ("hello","world") $ do _1.element 0 .= 'j'; _1.element 4 .= 'y'("jelly","world")