Idris2Doc : Control.Lens
Reexports
import public Control.Lens.At
import public Control.Lens.Cons
import public Control.Lens.Each
import public Control.Lens.Equality
import public Control.Lens.Fold
import public Control.Lens.Getter
import public Control.Lens.Indexed
import public Control.Lens.Iso
import public Control.Lens.Lens
import public Control.Lens.Optic
import public Control.Lens.Optional
import public Control.Lens.OptionalFold
import public Control.Lens.Prism
import public Control.Lens.Review
import public Control.Lens.Setter
import public Control.Lens.Traversal