package ppx_stable_witness

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

ppx_stable_witness.runtime
- Ppx_stable_witness_runtime
ppx_stable_witness.stable_witness
- Stable_witness
  - Export
  - Of_serializable1
    
    M
    
    Stable_format
  - Of_serializable2
    
    M
    
    Stable_format
  - Of_serializable3
    
    M
    
    Stable_format
  - T1
  - T2

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Stable_format : T1

module M : T1

Signature

val of_serializable : 
  ('a t -> 'a Stable_format.t t) ->
  ('a Stable_format.t -> 'a M.t) ->
  ('a M.t -> 'a Stable_format.t) ->
  'a t ->
  'a M.t t

This is the analogue of of_serializable for types with 1 type parameter, e.g. 'a M.t.

An example usage would look something like this:

let stable_witness (type a) : a Stable_witness.t -> a M.t Stable_witness.t =
  fun witness ->
  let module Stable_witness =
    Stable_witness.Of_serializable1 (Stable_format) (M)
  in
  Stable_witness.of_serializable
    Stable_format.stable_witness
    M.of_stable_format
    M.to_stable_format
    witness
;;