package serde

  1. Overview
  2. Docs
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 =
  1. | 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
OCaml

Innovation. Community. Security.