diff --git a/src/Control/Lens/Review.idr b/src/Control/Lens/Review.idr index 9934c7b..0f03544 100644 --- a/src/Control/Lens/Review.idr +++ b/src/Control/Lens/Review.idr @@ -66,15 +66,15 @@ public export review : Review s a -> a -> s review l = reviews l id -infixr 8 #^ +infixr 8 ^$ ||| Turn an optic around to inject a focus value into the larger data structure. ||| This function takes a `Review`, which can also be a `Prism` or `Iso`. ||| ||| This is the operator form of `review`. public export -(#^) : Review s a -> a -> s -(#^) = review +(^$) : Review s a -> a -> s +(^$) = review ||| Flip a `Prism`, `Iso` or `Review` to form a `Getter` in the other direction. public export