Idris2Doc : Derive.Sqlite3.ToCell

Derive.Sqlite3.ToCell

(source)
Definitions
toCellImplClaim : Name -> ParamTypeInfo -> Decl
  Top-level declaration of the `ToCell` implementation for the given
  data type.

  Totality: total
  Visibility: export
ToCell : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for `ToJSON` for a given data type
  using default settings.

  Totality: total
  Visibility: export