package mirage-tc

  1. Overview
  2. Docs

Build abstract identfiers with three polymorphic parameters.

Parameters

module S : sig ... end

Signature

type ('a, 'b, 'c) t = ('a, 'b, 'c) S.t
val equal : 'a equal -> 'b equal -> 'c equal -> ('a, 'b, 'c) t equal
val compare : 'a compare -> 'b compare -> 'c compare -> ('a, 'b, 'c) t compare
val hash : 'a hash -> 'b hash -> 'c hash -> ('a, 'b, 'c) t hash
val to_json : 'a to_json -> 'b to_json -> 'c to_json -> ('a, 'b, 'c) t to_json

The REST interface

val of_json : 'a of_json -> 'b of_json -> 'c of_json -> ('a, 'b, 'c) t of_json
val size_of : 'a size_of -> 'b size_of -> 'c size_of -> ('a, 'b, 'c) t size_of

The serialization format

val write : 'a writer -> 'b writer -> 'c writer -> ('a, 'b, 'c) t writer
val read : 'a reader -> 'b reader -> 'c reader -> ('a, 'b, 'c) t reader
OCaml

Innovation. Community. Security.