package base_quickcheck

You can search for identifiers within the package.

in-package search v0.2.0

Base_quickcheck
- CHANGES
- LICENSE
- Library base_quickcheck
  - Base_quickcheck
    
    Generator
    
    Applicative_infix
    
    Monad_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Debug
    
    Observer
    
    Shrinker
    
    Test
    
    S
    
    Config
    
    Seed
    
    Export
- Library ppx_quickcheck
  - Ppx_quickcheck
- Library ppx_quickcheck_expander
  - Ppx_quickcheck_expander
- Library ppx_quickcheck_runtime
  - Ppx_quickcheck_runtime
    
    Base
    
    Base_quickcheck
    
    Quickcheckable
    
    S
    
    S1
    
    S2
    
    S3
- Sources
  - base_quickcheck
    
    base_quickcheck.ml
    
    base_quickcheck__.ml
    
    bigarray_helpers.ml
    
    export.ml
    
    generator.ml
    
    observer.ml
    
    observer0.ml
    
    shrinker.ml
    
    test.ml
    
    test_intf.ml
    
    with_basic_types.ml
  - ppx_quickcheck
    
    ppx_quickcheck.ml
  - ppx_quickcheck_expander
    
    clause_syntax.ml
    
    clause_syntax_intf.ml
    
    environment.ml
    
    field_syntax.ml
    
    field_syntax_intf.ml
    
    import.ml
    
    ppx_generator_expander.ml
    
    ppx_observer_expander.ml
    
    ppx_quickcheck_expander.ml
    
    ppx_quickcheck_expander__.ml
    
    ppx_shrinker_expander.ml
  - ppx_quickcheck_runtime
    
    ppx_quickcheck_runtime.ml
    
    ppx_quickcheck_runtime__.ml
    
    quickcheckable.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Quickcheckable.S3`Source

type ('a, 'b, 'c) t

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'b Base_quickcheck.Generator.t ->
  'c Base_quickcheck.Generator.t ->
  ('a, 'b, 'c) t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'b Base_quickcheck.Observer.t ->
  'c Base_quickcheck.Observer.t ->
  ('a, 'b, 'c) t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'b Base_quickcheck.Shrinker.t ->
  'c Base_quickcheck.Shrinker.t ->
  ('a, 'b, 'c) t Base_quickcheck.Shrinker.t

package base_quickcheck

Module type Quickcheckable.S3Source

Module type `Quickcheckable.S3`Source