Idris2Doc : Control.Lens.Optic

Control.Lens.Optic

(source)
Definitions
Simple : (k -> k -> k' -> k' -> r) -> k -> k' -> r
  Totality: total
  Visibility: public export
Optic' : (Type -> Type -> Type) -> Type -> Type -> Type -> Type -> Type
  Totality: total
  Visibility: public export
0 Optic : ((Type -> Type -> Type) -> Type) -> Type -> Type -> Type -> Type -> Type
  Totality: total
  Visibility: public export