Idris2Doc : Derive.Sqlite3.FromRow

Derive.Sqlite3.FromRow

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

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

  Totality: total
  Visibility: export