diff --git a/src/Control/Lens/Setter.idr b/src/Control/Lens/Setter.idr index 2ca6e0f..068e411 100644 --- a/src/Control/Lens/Setter.idr +++ b/src/Control/Lens/Setter.idr @@ -154,11 +154,9 @@ infixr 4 ?~; infixr 4 <.~; infixr 4 ~ infix 4 %=; infix 4 %@=; infix 4 .=; infix 4 .@=; infix 4 ?=; infix 4 <.= -infix 4 = -infixr 4 <~ - ||| Set the focus of an optic to `Just` a value. public export