Module `Ppx_protocol_driver.Make`Source

Parameters

module D : Driver

module P : Parameters

Signature

Sourcetype t = D.t

Serialized type. This type should not be opaque, so it is recommended that drivers implement the signature as Runtime.Driver with type t = ...

Sourcetype error

Opaque error type

Sourceexception Protocol_error of error

Exception for protocol errors. The driver should make sure that this is the only exception raised when deserializing

Sourceval make_error : ?value:t -> string -> error

Construct an error to be raised from a custom parser.

Sourceval error_to_string_hum : error -> string

Convert an error type to a human readable string

Sourceval to_string_hum : t -> string

Convert t to a string

Sourceval try_with : (t -> 'v) -> t -> ('v, error) Protocol_conv.Runtime.result

Wrap deserialization function to convert exceptions into an result type

Sourceval to_variant : (t, 'a) Protocol_conv.Runtime.Variant_in.t list -> t -> 'a

Sourceval of_variant : string -> (t, 'a, t) Protocol_conv.Runtime.Tuple_out.t -> 'a

Source

val to_record : 
  (t, 'constr, 'b) Protocol_conv.Runtime.Record_in.t ->
  'constr ->
  t ->
  'b

Sourceval of_record : (t, 'a, t) Protocol_conv.Runtime.Record_out.t -> 'a

Source

val to_tuple : 
  (t, 'constr, 'b) Protocol_conv.Runtime.Tuple_in.t ->
  'constr ->
  t ->
  'b

Sourceval of_tuple : (t, 'a, t) Protocol_conv.Runtime.Tuple_out.t -> 'a

Sourceval to_option : (t -> 'a) -> t -> 'a option

Sourceval of_option : ('a -> t) -> 'a option -> t

Sourceval to_ref : (t -> 'a) -> t -> 'a ref

Sourceval of_ref : ('a -> t) -> 'a ref -> t

Sourceval to_list : (t -> 'a) -> t -> 'a list

Sourceval of_list : ('a -> t) -> 'a list -> t

Sourceval to_array : (t -> 'a) -> t -> 'a array

Sourceval of_array : ('a -> t) -> 'a array -> t

Sourceval to_lazy_t : (t -> 'a) -> t -> 'a lazy_t

Sourceval of_lazy_t : ('a -> t) -> 'a lazy_t -> t

Source

val to_result : 
  (t -> 'a) ->
  (t -> 'b) ->
  t ->
  ('a, 'b) Protocol_conv.Runtime.result

Source

val of_result : 
  ('a -> t) ->
  ('b -> t) ->
  ('a, 'b) Protocol_conv.Runtime.result ->
  t

Sourceval to_int : t -> int

Sourceval of_int : int -> t

Sourceval to_int32 : t -> int32

Sourceval of_int32 : int32 -> t

Sourceval to_int64 : t -> int64

Sourceval of_int64 : int64 -> t

Sourceval to_nativeint : t -> nativeint

Sourceval of_nativeint : nativeint -> t

Sourceval to_char : t -> char

Sourceval of_char : char -> t

Sourceval to_string : t -> string

Sourceval of_string : string -> t

Sourceval to_float : t -> float

Sourceval of_float : float -> t

Sourceval to_bool : t -> bool

Sourceval of_bool : bool -> t

Sourceval to_bytes : t -> bytes

Sourceval of_bytes : bytes -> t

Sourceval to_unit : t -> unit

Sourceval of_unit : unit -> t

package ppx_protocol_conv

Module Ppx_protocol_driver.MakeSource

Parameters

Signature

Module `Ppx_protocol_driver.Make`Source