Idris2Doc : Derive.Lens

Derive.Lens

(source)
Reexports
import public Derive.Lens.Options
import public Language.Reflection.Util
Definitions
LensesVisO : LensOptions -> Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate monomorphic lenses for a record type.

  Totality: total
  Visibility: export
LensesO : LensOptions -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Alias for `LensesVisO Public`

  Totality: total
  Visibility: export
LensesVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Alias for `LensesVisO defaultOptions`

  Totality: total
  Visibility: export
Lenses : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Alias for `LensesVis Public`

  Totality: total
  Visibility: export