Idris2Doc : Derive.Barbie

Derive.Barbie

(source)
Reexports
import public Derive.ApplicativeB
import public Derive.BarbieInfo
import public Derive.DistributiveB
import public Derive.FunctorB
import public Derive.RecordB
import public Derive.TraversableB
import public Control.Barbie
Definitions
BarbieVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations for all barbie interfaces
  (`FunctorB`, `ApplicativeB`, and `TraversableB`)
  for a given data type.

  Visibility: export
Barbie : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Alias for `BarbieVis Public`

  Visibility: export