Idris2Doc : Derive.Prism

Derive.Prism

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

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

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

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

  Totality: total
  Visibility: export