Documentation · prbnmcn-proptest 0.0.1 · OCaml Packages

prbnmcn-proptest

Property-based test helpers for prbnmcn packages

Version

Overview Documentation

IN THIS PACKAGE

library prbnmcn-proptest
- module Proptest
  - module Algebra
    
    module Abelian_group
    
    argument 1-N
    
    argument 2-X
    
    argument 3-G
    
    module Commutative_ring
    
    argument 1-N
    
    argument 2-X
    
    argument 3-G
    
    module Abelian_group_props
    
    module Monoid_props
    
    module Module
    
    argument 1-N
    
    argument 2-R
    
    argument 3-X
    
    argument 4-M
    
    module R
    
    module Abelian_group_props
    
    module Monoid
    
    argument 1-N
    
    argument 2-X
    
    argument 3-G
    
    module Ring
    
    argument 1-N
    
    argument 2-X
    
    argument 3-G
    
    module Abelian_group_props
    
    module Monoid_props
  - module Array
    
    module Array_theory
    
    argument 1-N
    
    argument 2-Repr
    
    argument 3-M
    
    argument 4-A
    
    argument 5-L
    
    argument 6-K
    
    argument 7-V
    
    module Helpers
    
    argument 1-Repr
    
    argument 2-M
    
    argument 3-A
    
    argument 4-L
    
    argument 5-K
    
    argument 6-V
  - module Generators
    
    module Free_ring
    
    module Make_ring_gen
    
    argument 1-R
    
    module Q
    
    module Z
  - module Generic
    
    module type Generator
    
    module type Name

Libraries

This package provides the following libraries (via dune):

prbnmcn-proptest

Documentation:

Proptest.Algebra Generic functors for building property-based tests on some algebraic structures
Proptest.Array Generic functors for building property-based tests on array-like structures
Proptest.Generators
Proptest.Generic

Dependencies: zarith, prbnmcn-basic-structures, crowbar