serde 0.0.2 · OCaml Package

include module type of struct include Ser_base end

type ('value, 'state, 'output) t =
  'value ->
  ('value, 'state, 'output) ctx ->
  ('output, error) result

and ('value, 'state, 'output) ctx = ('value, 'state, 'output) Ser_base.ctx =

| Ctx of ('value, 'state, 'output) t * ('state, 'output) Ser_base.serializer * 'state

val serializer : ('value, 'state, 'output) t -> ('value, 'state, 'output) t

module type Serializer = Ser_base.Serializer

type ('state, 'output) serializer =
  (module Serializer
  with type output = 'output
   and type state = 'state)

val serialize : 
  ('value, 'state, 'output) ctx ->
  (('value0, 'state0, 'output0) ctx -> ('output1, error) result) ->
  ('output2, error) result

val serialize_sequence : 
  ('value, 'state, 'output) ctx ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val serialize_record : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val sequence : 
  ('value, 'state, 'output) ctx ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val unit_variant : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  string ->
  ('output0, error) result

val newtype_variant : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  string ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val tuple_variant : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  string ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val record_variant : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  string ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val record : 
  ('value, 'state, 'output) ctx ->
  string ->
  int ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val element : 
  ('value, 'state, 'output) ctx ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val field : 
  ('value, 'state, 'output) ctx ->
  string ->
  (('value0, 'state0, 'output0) Ser_base.ctx -> ('output0, error) result) ->
  ('output0, error) result

val bool : bool -> ('value, 'state, 'output) ctx -> ('output0, error) result

val serialize_int8 : 
  char ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val serialize_int16 : 
  int ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val serialize_int31 : 
  int ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val serialize_int32 : 
  int32 ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val serialize_int64 : 
  int64 ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val serialize_float : 
  float ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val int : int -> ('a, 'b, 'c) ctx -> ('c, error) result

val int8 : char -> ('a, 'b, 'c) ctx -> ('c, error) result

val int16 : int -> ('a, 'b, 'c) ctx -> ('c, error) result

val int32 : int32 -> ('a, 'b, 'c) ctx -> ('c, error) result

val int64 : int64 -> ('a, 'b, 'c) ctx -> ('c, error) result

val float : float -> ('a, 'b, 'c) ctx -> ('c, error) result

val string : 
  string ->
  ('value, 'state, 'output) ctx ->
  ('output0, error) result

val option : 
  ('a -> ('value, 'state, 'output) Ser_base.ctx -> ('output, error) result) ->
  'b option ->
  ('value0, 'state0, 'output0) ctx ->
  ('output, error) result

val list : 
  ('a -> ('b, 'c, unit) Ser_base.ctx -> (unit, error) result) ->
  'd list ->
  ('e, 'f, unit) ctx ->
  (unit, error) result

val array : 
  ('a -> ('b, 'c, unit) Ser_base.ctx -> (unit, error) result) ->
  'd array ->
  ('b, 'c, unit) ctx ->
  (unit, error) result

val s : 
  'value 'value2 'state 'output. ('value, 'state, 'output) t ->
  'value ->
  ('value2, 'state, 'output) ctx ->
  ('output, error) result

package serde