Module Qcert.Common.Data.ForeignDataToJSON


Require Import List.
Require Import String.
Require Import Utils.
Require Import ForeignData.
Require Import JSON.

Local Open Scope string_scope.

Section ForeignDatatoJSON.


Class foreign_to_JSON {fdata:foreign_data}: Type
  := mk_foreign_to_JSON {
         foreign_to_JSON_to_data
           (j:json) : option foreign_data_type
         ; foreign_to_JSON_from_data
             (fd:foreign_data_type) : json
       }.

End ForeignDatatoJSON.