FsCheck


Check

Namespace: FsCheck

Static members

Static memberDescription
All(config)
Signature: config:Config -> unit
Type parameters: 'Test

Check all public static methods on the given type that have a testable return type with the given configuration. This includes let-bound functions in a module.

All(config, test)
Signature: (config:Config * test:Type) -> unit

Check all public static methods on the given type that have a testable return type with the given configuration. This includes let-bound functions in a module.

Method(config, methodInfo, target)
Signature: (config:Config * methodInfo:MethodInfo * target:obj option) -> unit

Check the given property identified by the given MethodInfo.

One(name, config, property)
Signature: (name:string * config:Config * property:'Testable) -> unit
Type parameters: 'Testable

Check the given property using the given config, and the given test name.

One(config, property)
Signature: (config:Config * property:'Testable) -> unit
Type parameters: 'Testable

Check the given property using the given config.

Quick(name, property)
Signature: (name:string * property:'Testable) -> unit
Type parameters: 'Testable

Check one property with the quick configuration, and using the given name.

Quick(property)
Signature: property:'Testable -> unit
Type parameters: 'Testable

Check one property with the quick configuration.

QuickAll()
Signature: unit -> unit
Type parameters: 'Test

Check all public static methods on the given type that have a testable return type with quick configuration

QuickAll(test)
Signature: test:Type -> unit

Check all public static methods on the given type that have a testable return type with quick configuration

QuickThrowOnFailure(property)
Signature: property:'Testable -> unit
Type parameters: 'Testable

Check one property with the quick configuration, and throw an exception if it fails or is exhausted.

QuickThrowOnFailureAll()
Signature: unit -> unit
Type parameters: 'Test

Check all public static methods on the given type that have a testable return type with quick configuration

QuickThrowOnFailureAll(test)
Signature: test:Type -> unit

Check all public static methods on the given type that have a testable return type with quick configuration, and throw on failure or exhaustion.

Verbose(name, property)
Signature: (name:string * property:'Testable) -> unit
Type parameters: 'Testable

Check one property with the verbose configuration, and using the given name.

Verbose(property)
Signature: property:'Testable -> unit
Type parameters: 'Testable

Check one property with the verbose configuration.

VerboseAll()
Signature: unit -> unit
Type parameters: 'Test

Check all public static methods on the given type that have a testable return type with vthe erbose configuration

VerboseAll(test)
Signature: test:Type -> unit

Check all public static methods on the given type that have a testable return type with vthe erbose configuration

VerboseThrowOnFailure(property)
Signature: property:'Testable -> unit
Type parameters: 'Testable

Check one property with the verbose configuration, and throw an exception if it fails or is exhausted.

VerboseThrowOnFailureAll()
Signature: unit -> unit
Type parameters: 'Test

Check all public static methods on the given type that have a testable return type with the verbose configuration, and throws on failure or exhaustion.

VerboseThrowOnFailureAll(test)
Signature: test:Type -> unit

Check all public static methods on the given type that have a testable return type with vthe erbose configuration, and throws on failure or exhaustion.

Fork me on GitHub