Documentation · prbnmcn-proptest 0.0.1 · OCaml Packages

prbnmcn-proptest

Property-based test helpers for prbnmcn packages

Libraries
- prbnmcn-proptest

package prbnmcn-proptest

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

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