Idris2Doc : Derive.Sqlite3.ToRow

Derive.Sqlite3.ToRow

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

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

  Totality: total
  Visibility: export