package serde

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package serde

serde
- Serde
  - Ser
    
    Intf
    
    Make
    
    B
    
    Mapper
    
    Unimplemented
  - Serializable
serde.de
- De
  - Base
  - Deserializer
  - Error
  - Factory
  - Impls
    
    Bool_visitor
    
    Char_visitor
    
    Float_visitor
    
    Int_visitor
    
    String_visitor
    
    Unit_visitor
  - Make
    
    B
  - Map_access
  - Reader
  - Sequence_access
  - Unimplemented
  - Variant_access
  - Visitor
    
    Intf
    
    Make
    
    B
    
    Unimplemented

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module B : Intf

Signature

include module type of struct include B end

type output = B.output

type error = B.error

val initial_output : unit -> (output, error ser_error) result

val serialize_bool : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  bool ->
  (output, error ser_error) result

val serialize_unit : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  unit ->
  (output, error ser_error) result

val serialize_char : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  char ->
  (output, error ser_error) result

val serialize_int : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  int ->
  (output, error ser_error) result

val serialize_float : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  float ->
  (output, error ser_error) result

val serialize_string : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  string ->
  (output, error ser_error) result

val serialize_tuple : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  size:int ->
  elements:data list ->
  (output, error ser_error) result

val serialize_unit_variant : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  type_name:string ->
  variant_name:string ->
  variant_index:int ->
  (output, error ser_error) result

val serialize_tuple_variant : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  type_name:string ->
  variant_index:int ->
  variant_name:string ->
  variant_size:int ->
  fields:data list ->
  (output, error ser_error) result

val serialize_record_variant : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  type_name:string ->
  variant_index:int ->
  variant_name:string ->
  variant_size:int ->
  fields:(string * data) list ->
  (output, error ser_error) result

val serialize_record : 
  (module Mapper with type error = error and type output = output) ->
  output ->
  type_name:string ->
  record_size:int ->
  fields:(string * data) list ->
  (output, error ser_error) result