serde 0.0.1 · OCaml Package

type ('tag, 'value, 'error) t = {

tag : unit -> ('tag, 'error Error.de_error) result;
unit_variant : unit -> (unit, 'error Error.de_error) result;
tuple_variant : (module De__.Intf.Rec.Visitor_intf with type value = 'value) -> ('value, 'error Error.de_error) result;
record_variant : 'field. (module De__.Intf.Rec.Visitor_intf with type tag = 'field and type value = 'value) -> (module De__.Intf.Rec.Visitor_intf with type value = 'field) -> fields:string list -> ('value, 'error Error.de_error) result;

}

val tag : 
  ('a,
    'b,
    [> `Duplicate_field of string
    | `Invalid_field_index of int
    | `Invalid_variant_index of int
    | `Message of string
    | `Missing_field of string
    | `Unexpected_exception of exn
    | `Unimplemented of string
    | `Unknown_field of string
    | `Unknown_variant of string ] as 'c)
    t ->
  ('a, 'c Error.de_error) result

val unit_variant : 
  ('a,
    'b,
    [> `Duplicate_field of string
    | `Invalid_field_index of int
    | `Invalid_variant_index of int
    | `Message of string
    | `Missing_field of string
    | `Unexpected_exception of exn
    | `Unimplemented of string
    | `Unknown_field of string
    | `Unknown_variant of string ] as 'c)
    t ->
  (unit, 'c Error.de_error) result

val tuple_variant : 
  ('a,
    'b,
    [> `Duplicate_field of string
    | `Invalid_field_index of int
    | `Invalid_variant_index of int
    | `Message of string
    | `Missing_field of string
    | `Unexpected_exception of exn
    | `Unimplemented of string
    | `Unknown_field of string
    | `Unknown_variant of string ] as 'c)
    t ->
  (module De__.Intf.Rec.Visitor_intf with type value = 'b) ->
  ('b, 'c Error.de_error) result

val record_variant : 
  ('a,
    'b,
    [> `Duplicate_field of string
    | `Invalid_field_index of int
    | `Invalid_variant_index of int
    | `Message of string
    | `Missing_field of string
    | `Unexpected_exception of exn
    | `Unimplemented of string
    | `Unknown_field of string
    | `Unknown_variant of string ] as 'c)
    t ->
  (module De__.Intf.Rec.Visitor_intf with type tag = 'd and type value = 'b) ->
  (module De__.Intf.Rec.Visitor_intf with type value = 'd) ->
  fields:string list ->
  ('b, 'c Error.de_error) result

package serde