package ppx_deriving_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

PPX Deriver for qcheck

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

V

Valentin Chaboche <valentin.chaboche@nomadic-labs.com>

Maintainers

V

Valentin Chaboche <valentin.chaboche@nomadic-labs.com>

Sources

v0.1.0.tar.gz

md5=2e144a8c3c7074545478bd0dff430f05

sha512=2883cd669c7c65924aea241dd99e57c2d32bcde1101ef504e3053f3f0b4fc72348ba3aba79b397cbbfa51f164b5f569cb1a01a02a2e3f150097ecd5dcbefe933

doc/ppx_deriving_qcheck.common/Common/Helpers/Pairs/index.html

Module `Helpers.Pairs`

type 'a nested_pairs =

| Pair of 'a nested_pairs * 'a nested_pairs
| Double of 'a * 'a
| Simple of 'a

val nest_generators : Ppxlib.expression list -> Ppxlib.expression nested_pairs

Takes a list of expression and nest them into pairs, in order to be used with QCheck.pair combinator

example: nest_generators a => a nest_generators a;b => Double a b nest_generators a;b;c => Pair (Simple a) (Double b c) nest_generators a;b;c;d => Pair (Double a b) (Double c d)

val nested_pairs_to_expr : 
  Ppxlib.location ->
  Ppxlib.expression nested_pairs ->
  Ppxlib.expression

Transforms nested pairs of expressions into an expression using QCheck.pair combinator

val nested_pairs_to_list : 'a nested_pairs -> 'a list

Transforms nested pairs of 'a into a list of 'a, roundtrip with nest_generators

val names_from_gens : 
  (string -> string) ->
  'a nested_pairs ->
  string nested_pairs

names_from_gens f gens creates unique name for the gens

The name is created using f applied on the fresh integer identifier

val pattern_from_gens : 
  Ppxlib.location ->
  (string -> string) ->
  'a nested_pairs ->
  Ppxlib.pattern * string nested_pairs

patterns_from_gens loc f gens creates a pattern from gens, it also returns the generators names from names_from_gens f gens in order to be used afterward