Idris2Doc : Derive.Iso

Derive.Iso

(source)
Reexports
import public Derive.Lens.Options
import public Language.Reflection.Util
Definitions
IsoVisO : LensOptions -> Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate an isomorphism for a newtype

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

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

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

  Totality: total
  Visibility: export