package base_quickcheck

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Helpers for debugging generators

base_quickcheck
- Base_quickcheck
  - Export
  - Generator
    
    Applicative_infix
    
    Debug
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
  - Observer
  - Shrinker
  - Test
    
    Config
    
    Seed
    
    S
base_quickcheck.ppx_quickcheck.expander
- Ppx_quickcheck_expander
base_quickcheck.ppx_quickcheck.runtime
- Ppx_quickcheck_runtime
  - Quickcheckable
    
    S
    
    S1
    
    S2
    
    S3

Legend:
Library
Module
Module type
Parameter
Class
Class type

Helpers for debugging generators

val coverage : 
  (module Base.Comparator.S
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  'k Base.Sequence.t ->
  ('k, Base.int, 'cmp) Base.Map.t

coverage (module Key) sample counts how many times each key appears in sample.

See Test.with_sample for a convenient way to generate sample.

val monitor : 'a t -> f:('a -> Base.unit) -> 'a t

monitor t ~f returns a generator which gives the same values as t and also calls f for each value. This can help diagnose behavior of generators "hidden" behind map, filter, etc. One might count the number of values a generator produces, or record the set of values that do not satisfy some filter.