package ppx_protocol_conv_json

You can search for identifiers within the package.

in-package search v0.2.0

ppx_protocol_conv_json
- Protocol_conv_json
  - Json
    
    Make
    
    P
    
    Yojson
  - Test_expect

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Protocol_conv.Runtime.Driver with type t = Yojson.Safe.json

type t = Yojson.Safe.json

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

type error

Opaque error type

exception Protocol_error of error

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

val make_error : ?value:t -> Base.string -> error

Construct an error to be raised from a custom parser.

val error_to_string_hum : error -> Base.string

Convert an error type to a human readable string

val to_string_hum : t -> Base.string

Convert t to a string

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

Wrap deserialization function to convert exceptions into an result type

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

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

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

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

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

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

val to_option : (t -> 'a) -> t -> 'a Base.option

val of_option : ('a -> t) -> 'a Base.option -> t

val to_ref : (t -> 'a) -> t -> 'a Base.ref

val of_ref : ('a -> t) -> 'a Base.ref -> t

val to_list : (t -> 'a) -> t -> 'a Base.list

val of_list : ('a -> t) -> 'a Base.list -> t

val to_array : (t -> 'a) -> t -> 'a Base.array

val of_array : ('a -> t) -> 'a Base.array -> t

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

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

val to_int : t -> Base.int

val of_int : Base.int -> t

val to_int32 : t -> Base.int32

val of_int32 : Base.int32 -> t

val to_int64 : t -> Base.int64

val of_int64 : Base.int64 -> t

val to_nativeint : t -> Base.nativeint

val of_nativeint : Base.nativeint -> t

val to_char : t -> Base.char

val of_char : Base.char -> t

val to_string : t -> Base.string

val of_string : Base.string -> t

val to_float : t -> Base.float

val of_float : Base.float -> t

val to_bool : t -> Base.bool

val of_bool : Base.bool -> t

val to_unit : t -> Base.unit

val of_unit : Base.unit -> t

module Make
  (P : Ppx_protocol_driver.Parameters) : 
  Protocol_conv.Runtime.Driver with type t = Yojson.Safe.json

module Yojson : sig ... end

val of_json : t -> t

val to_json : t -> t