package ppx_stable_witness

  1. Overview
  2. Docs
Ppx extension for deriving a witness that a type is intended to be stable. In this context, stable means that the serialization format will never change. This allows programs running at different versions of the code to safely communicate.

Install

Dune Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=052db5d52ccacaab30ead1a4192ad021ee00c235a73c09b7918acabcee4a0cda

doc/ppx_stable_witness.stable_witness/Stable_witness/Of_serializable3/index.html

Module Stable_witness.Of_serializable3Source

Parameters

module Stable_format : sig ... end
module M : sig ... end

Signature

Sourceval of_serializable : ('a1 t -> 'a2 t -> 'a3 t -> ('a1, 'a2, 'a3) Stable_format.t t) -> (('a1, 'a2, 'a3) Stable_format.t -> ('a1, 'a2, 'a3) M.t) -> (('a1, 'a2, 'a3) M.t -> ('a1, 'a2, 'a3) Stable_format.t) -> 'a1 t -> 'a2 t -> 'a3 t -> ('a1, 'a2, 'a3) M.t t

This is the analogue of of_serializable for types with 3 type parameters.

OCaml

Innovation. Community. Security.