package core

  1. Overview
  2. Docs
package core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file stable_unit_test_intf.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
(** An interface for creating unit tests to check stability of sexp and bin-io
    serializations *)

open! Import


module type Arg = sig
  type t [@@deriving sexp, bin_io]

  val equal : t -> t -> bool


  (** [tests] is a list of (value, sexp-representation, bin-io-representation) triples.
      The unit tests check that the type properly serializes and
      de-serializes according to the given representations. *)
  val tests : (t * string * string) list
end

(** Unordered container tests are for types with serializations that will contain a
    certain set of elements (each represented by a single sexp or bin-io string) which may
    appear in any order, such as hash tables and hash sets. *)
module Unordered_container_test = struct
  type t =
    { sexps : string list
    ; bin_io_header : string
    ; bin_io_elements : string list
    }
end

module type Unordered_container_arg = sig
  type t [@@deriving sexp, bin_io]

  val equal : t -> t -> bool
  val tests : (t * Unordered_container_test.t) list
end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct