Idris2Doc : Derive.Cogen

Derive.Cogen

(source)
Reexports
import public Hedgehog.Internal.Function as Hedgehog
import public Language.Reflection.Util
Definitions
CogenVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Derivation facility for `Gogen` interface
  
  Use `derive`, `deriveIndexed` or `derivePattern` from
  `Language.Reflection.Derive` for simple, purely indexed or mixed data types

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

  Totality: total
  Visibility: export