Control.Lens.Operators

General Purpose

(&)

(<&>)

(??)

Getting

(^.)

(^@.)

Loupes

(^#)

with Effects

(^!)

(^@!)

(^!!)

(^@!!)

(^!?)

(^@!?)

from Folds

(^..)

(^@..)

(^?)

(^@?)

(^?!)

(^@?!)

Reviewing

(#)

Common Operators

Setting

(.~)

(.=)

(<.~)

(<.=)

(<<.~)

(<<.=)

(#~)

(#=)

(<#~)

(<#=)

Just

(?~)

(?=)

(<?~)

(<?=)

Modifying

(%~)

(%=)

(<%~)

(<%=)

(<<%~)

(<<%=)

Loupes

(#%~)

(#%=)

(<#%~)

(<#%=)

with Indices

(%@~)

(%@=)

(<%@~)

(<%@=)

(<<%@~)

(<<%@=)

Traversing

(%%~)

(%%=)

(#%%~)

(#%%=)

(%%@~)

(%%@=)

Addition

(+~)

(+=)

(<+~)

(<+=)

Subtraction

(-~)

(-=)

(<-~)

(<-=)

Multiplication

(*~)

(*=)

(<*~)

(<*=)

Division

(//~)

(//=)

(<//~)

(<//=)

Exponentiation

(^~)

(^=)

(<^~)

(<^=)

(^^~)

(^^=)

(<^^~)

(<^^=)

(**~)

(**=)

(<**~)

(<**=)

Logical Or

(||~)

(||=)

(<||~)

(<||=)

Logical And

(&&~)

(&&=)

(<&&~)

(<&&=)

Monoidal

(<>~)

(<>=)

(<<>~)

(<<>=)

Composing Indices

(<.>)

(<.)

(.>)

Monadic Assignment

(<~)

(<<~)

Zippers

type family h :> p

type h :>> a

Cons and Snoc

(<|)

(|>)