Module `De`Source

include module type of struct include Error end

type 'err de_error =
  [> `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
  | `Missing_field of string
  | `Unimplemented of string
  | `Unknown_field of string
  | `Unknown_variant of string ] as 'err

Source

val invalid_field_index : 
  idx:'a ->
  ('b, [> `Invalid_field_index of 'a ]) result

Source

val invalid_variant_index : 
  idx:'a ->
  ('b, [> `Invalid_variant_index of 'a ]) result

Sourceval message : 'a -> ('b, [> `Message of 'a ]) result

Sourceval unexpected_exception : 'a -> ('b, [> `Unexpected_exception of 'a ]) result

Sourceval unimplemented : 'a -> ('b, [> `Unimplemented of 'a ]) result

Sourceval unknown_field : 'a -> ('b, [> `Unknown_field of 'a ]) result

Sourceval unknown_variant : 'a -> ('b, [> `Unknown_variant of 'a ]) result

Sourceval missing_field : 'a -> ('b, [> `Missing_field of 'a ]) result

Sourcemodule Deserializer : sig ... end

Sourcemodule Error : sig ... end

Sourcemodule Impls : sig ... end

Sourcemodule Reader : sig ... end

Sourcemodule Unimplemented : sig ... end

Sourcemodule Visitor : sig ... end

Sourcemodule Sequence_access : sig ... end

Access modules

Sourcemodule Variant_access : sig ... end

Sourcemodule Map_access : sig ... end

Sourcemodule type Base = sig ... end

Sourcemodule type Deserializer = sig ... end

Sourcemodule type Factory = sig ... end

Sourcemodule Make (B : Base) : Factory with type state = B.state

boilerplace below is because we don't have modular implicits yet.

it threads the two modules manually, and makes sure the all the types are escaping correctly.

Source

val deserialize_unit : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_string : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_int : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_bool : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_identifier : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_record : 
  'value 'field 'state. 'state Deserializer.t ->
  ('value, 'field) Visitor.with_tag ->
  'field Visitor.t ->
  name:string ->
  fields:string list ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_seq : 
  'value 'state. 'state Deserializer.t ->
  'value Visitor.t ->
  ('value,
    [> `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 ]
      de_error)
    result

Source

val deserialize_variant : 
  'value 'tag 'state. 'state Deserializer.t ->
  ('value, 'tag) Visitor.with_tag ->
  'tag Visitor.t ->
  name:string ->
  variants:string list ->
  ('value,
    [> `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 ]
      de_error)
    result

package serde

Module DeSource

Module `De`Source