toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity

Fix fixity declarations

Browse source
This commit is contained in:
Kiana Sheibani 2023-04-20 14:28:37 -04:00
parent 66a493a223
commit f6508074a6
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Control/Lens/Setter.idr
View file

@ -154,11 +154,9 @@ infixr 4 ?~; infixr 4 <.~; infixr 4 <?~; infixr 4 +~; infixr 4 *~; infixr 4 -~
infixr 4 /~; infixr 4 ||~; infixr 4 &&~; infixr 4 <+>~
infix 4 %=; infix 4 %@=; infix 4 .=; infix 4 .@=; infix 4 ?=; infix 4 <.=
infix 4 <?=; infix 4 +=; infix 4 *=; infix 4 -=; infix 4 /=; infix 4 ||=
infix 4 <?=; infix 4 +=; infix 4 *=; infix 4 -=; infix 4 //=; infix 4 ||=
infix 4 &&=; infixr 4 <+>=
infixr 4 <~
||| Set the focus of an optic to `Just` a value.
public export