From da8f3a05e60673a0700765bdbfdd33f33cb8fd4f Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Sat, 29 Jun 2024 01:54:11 -0400
Subject: [PATCH] Fix typo

---
 src/Control/Lens/At.idr        | 2 +-
 src/Control/Lens/Setter.idr    | 4 ++--
 src/Control/Lens/Traversal.idr | 8 ++++----
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/Control/Lens/At.idr b/src/Control/Lens/At.idr
index 30e6dc4..3d5bdd6 100644
--- a/src/Control/Lens/At.idr
+++ b/src/Control/Lens/At.idr
@@ -37,7 +37,7 @@ public export
 ||| `ix'`; for example, `Vect n a` uses `Nat` for `ix` and `Fin n` for `ix'`.
 public export
 interface Ixed i v a => Ixed' i i' v a | a where
-  ||| An lens that infallibly accesses a value at a given index of a container.
+  ||| A lens that infallibly accesses a value at a given index of a container.
   ix' : i' -> Lens' a v
 
 ||| An indexed version of `ix'`.
diff --git a/src/Control/Lens/Setter.idr b/src/Control/Lens/Setter.idr
index 1cc2a54..10eabbc 100644
--- a/src/Control/Lens/Setter.idr
+++ b/src/Control/Lens/Setter.idr
@@ -237,12 +237,12 @@ public export
 ||| Set within a state monad with pass-through.
 public export
 (<.=) : MonadState s m => Setter s s a b -> b -> m b
-(<.=) l x = (l .= x) >> pure x
+(<.=) l x = (l .= x) $> x
 
 ||| Set to `Just` a value within a state monad with pass-through.
 public export
 (<?=) : MonadState s m => Setter s s a (Maybe b) -> b -> m b
-(<?=) l x = (l ?= x) >> pure x
+(<?=) l x = (l ?= x) $> x
 
 ||| Add a constant value to the focus of an optic within a state monad.
 public export
diff --git a/src/Control/Lens/Traversal.idr b/src/Control/Lens/Traversal.idr
index 2fc57ac..2b25502 100644
--- a/src/Control/Lens/Traversal.idr
+++ b/src/Control/Lens/Traversal.idr
@@ -188,7 +188,7 @@ ifailover l = failover (l @{%search} @{Idxed}) . uncurry
 
 partsOf_update : a -> State (List a) a
 partsOf_update x = get >>= \case
-  x' :: xs' => put xs' >> pure x'
+  x' :: xs' => put xs' $> x'
   []        => pure x
 
 ||| Convert a traversal into a lens over a list of values.
@@ -263,12 +263,12 @@ element : Traversable t => Nat -> Optional' (t a) a
 element = elementOf traversed
 
 
-||| Limit a traversal to its first n focuses.
+||| Limit a traversal to its first `n` focuses.
 public export
 taking : Nat -> Traversal s t a a -> Traversal s t a a
 taking n l = elementsOf l (< n)
 
-||| Remove the first n focuses from a traversal.
+||| Remove the first `n` focuses from a traversal.
 public export
 dropping : Nat -> Traversal s t a a -> Traversal s t a a
-dropping i l = elementsOf l (>= i)
+dropping n l = elementsOf l (>= n)