FsCheck


Check

Namespace: FsCheck
Attributes:
[<AbstractClass>]
[<Sealed>]

Static members

Static memberDescription
Check.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.

Check.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.

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

Check the given property identified by the given MethodInfo.

Check.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.

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

Check the given property using the given config.

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

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

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

Check one property with the quick configuration.

Check.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

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

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

Check.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.

Check.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

Check.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.

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

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

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

Check one property with the verbose configuration.

Check.VerboseAll()
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

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

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

Check.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.

Check.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.

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

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.

Fork me on GitHub