Module `Serde.Ser`Source

include module type of struct include Ser_base end

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

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

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

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

Sourcemodule type Serializer = Ser_base.Serializer

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

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

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

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

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

Source

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

Source

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

Source

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

Source

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

package serde

Module Serde.SerSource

Module `Serde.Ser`Source