package base_quickcheck

  1. Overview
  2. Docs
Randomized testing framework, designed for compatibility with Base

Install 

dune-project
 Dependency

github.com MIT License Edit opam file Versions (9)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.14.1.tar.gz
sha256=b69a18bf0149e3b553ada9af5258681000948bfb7b6646fee66aa462b507b058
md5=d04738d4499e256b752bc40fcdb9730d

doc/src/ppx_quickcheck_expander/field_syntax_intf.ml.html

Source file field_syntax_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
open! Import

module type S = sig
  type ast
  type t

  val create : ast -> t

  (** location of the field declaration *)
  val location : t -> location

  (** type of the field's contents *)
  val core_type : t -> core_type

  (** constructing a pattern to match all fields of the type *)
  val pattern : t list -> loc:location -> pattern list -> pattern

  (** constructing an expression filling in all fields of the type *)
  val expression : t list -> loc:location -> expression list -> expression
end

module type Field_syntax = sig
  module type S = S

  module Tuple : S with type ast = core_type
  module Record : S with type ast = label_declaration
end