ConfigExtensions.WithReplay Method

ConfigExtensionsWithReplay Method

Clones a Config object but overrides the Replay property with a value of Some(replay).

Namespace: FsCheckUtils
Assembly: FsCheckUtils (in FsCheckUtils.dll) Version: 1.0.1.0 (1.0.1.0)

Syntax

public static Config WithReplay(
	this Config config,
	StdGen replay
)

<ExtensionAttribute>
Public Shared Function WithReplay ( 
	config As Config,
	replay As StdGen
) As Config

public:
[ExtensionAttribute]
static Config^ WithReplay(
	Config^ config, 
	StdGen^ replay
)

[<ExtensionAttribute>]
static member WithReplay : 
        config : Config * 
        replay : StdGen -> Config

Type: Config
A Config object.

In Visual Basic and C#, you can call this method as an instance method on any object of type Config. When you use instance method syntax to call this method, omit the first parameter. For more information, see Extension Methods (Visual Basic) or Extension Methods (C# Programming Guide).