Idris2Doc : Derive.Sqlite3.FromCell

Derive.Sqlite3.FromCell

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

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

  Totality: total
  Visibility: export