FsCheck

FsCheck.FSharp Namespace

Modules Description

Arb

ArbMap

ArbPatterns

Gen

GenBuilder

GenOperators

Prop

Combinators to build properties, which define the property to be tested, with some convenience methods to investigate the generated arguments and any found counter-examples.

PropOperators

Operators for Prop.