From 810404b3054d26343aa367af870fe95906a52cfe Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Tue, 25 Apr 2023 13:34:07 -0400
Subject: [PATCH] Change review operator

---
 src/Control/Lens/Review.idr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Control/Lens/Review.idr b/src/Control/Lens/Review.idr
index 4dafd3e..9934c7b 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
-(>.) : a -> Review s a -> s
-(>.) x l = review l x
+(#^) : Review s a -> a -> s
+(#^) = review
 
 ||| Flip a `Prism`, `Iso` or `Review` to form a `Getter` in the other direction.
 public export