Property Module

Assembly: Hedgehog.dll

Functions and values

Function or value	Description
`bind k m` Full Usage: `bind k m` Parameters: k : `'a -> Property<'b>` m : `Property<'a>` Returns: `Property<'b>`	k : `'a -> Property<'b>` m : `Property<'a>` Returns: `Property<'b>`
`check p` Full Usage: `check p` Parameters: p : `Property<unit>`	p : `Property<unit>`
`checkBool g` Full Usage: `checkBool g` Parameters: g : `Property<bool>`	g : `Property<bool>`
`checkBoolWith config g` Full Usage: `checkBoolWith config g` Parameters: config : `PropertyConfig` g : `Property<bool>`	config : `PropertyConfig` g : `Property<bool>`
`checkWith config p` Full Usage: `checkWith config p` Parameters: config : `PropertyConfig` p : `Property<unit>`	config : `PropertyConfig` p : `Property<unit>`
`counterexample msg` Full Usage: `counterexample msg` Parameters: msg : `unit -> string` Returns: `Property<unit>`	msg : `unit -> string` Returns: `Property<unit>`
`delay f` Full Usage: `delay f` Parameters: f : `unit -> Property<'a>` Returns: `Property<'a>`	f : `unit -> Property<'a>` Returns: `Property<'a>`
`discard` Full Usage: `discard` Returns: `Property<unit>`	Returns: `Property<unit>`
`failure` Full Usage: `failure` Returns: `Property<unit>`	Returns: `Property<unit>`
`filter p m` Full Usage: `filter p m` Parameters: p : `'a -> bool` m : `Property<'a>` Returns: `Property<'a>`	p : `'a -> bool` m : `Property<'a>` Returns: `Property<'a>`
`forAll k gen` Full Usage: `forAll k gen` Parameters: k : `'a -> Property<'b>` gen : `Gen<'a>` Returns: `Property<'b>`	k : `'a -> Property<'b>` gen : `Gen<'a>` Returns: `Property<'b>`
`forAll' gen` Full Usage: `forAll' gen` Parameters: gen : `Gen<'a>` Returns: `Property<'a>`	gen : `Gen<'a>` Returns: `Property<'a>`
`map f x` Full Usage: `map f x` Parameters: f : `'a -> 'b` x : `Property<'a>` Returns: `Property<'b>`	f : `'a -> 'b` x : `Property<'a>` Returns: `Property<'b>`
`ofBool x` Full Usage: `ofBool x` Parameters: x : `bool` Returns: `Property<unit>`	x : `bool` Returns: `Property<unit>`
`ofGen x` Full Usage: `ofGen x` Parameters: x : `Gen<Journal * Outcome<'a>>` Returns: `Property<'a>`	x : `Gen<Journal * Outcome<'a>>` Returns: `Property<'a>`
`ofOutcome x` Full Usage: `ofOutcome x` Parameters: x : `Outcome<'a>` Returns: `Property<'a>`	x : `Outcome<'a>` Returns: `Property<'a>`
`recheck size seed p` Full Usage: `recheck size seed p` Parameters: size : `Size` seed : `Seed` p : `Property<unit>`	size : `Size` seed : `Seed` p : `Property<unit>`
`recheckBool size seed g` Full Usage: `recheckBool size seed g` Parameters: size : `Size` seed : `Seed` g : `Property<bool>`	size : `Size` seed : `Seed` g : `Property<bool>`
`recheckBoolWith size seed config g` Full Usage: `recheckBoolWith size seed config g` Parameters: size : `Size` seed : `Seed` config : `PropertyConfig` g : `Property<bool>`	size : `Size` seed : `Seed` config : `PropertyConfig` g : `Property<bool>`
`recheckWith size seed config p` Full Usage: `recheckWith size seed config p` Parameters: size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<unit>`	size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<unit>`
`render p` Full Usage: `render p` Parameters: p : `Property<unit>` Returns: `string`	p : `Property<unit>` Returns: `string`
`renderBool property` Full Usage: `renderBool property` Parameters: property : `Property<bool>` Returns: `string`	property : `Property<bool>` Returns: `string`
`renderBoolWith config p` Full Usage: `renderBoolWith config p` Parameters: config : `PropertyConfig` p : `Property<bool>` Returns: `string`	config : `PropertyConfig` p : `Property<bool>` Returns: `string`
`renderWith n p` Full Usage: `renderWith n p` Parameters: n : `PropertyConfig` p : `Property<unit>` Returns: `string`	n : `PropertyConfig` p : `Property<unit>` Returns: `string`
`report p` Full Usage: `report p` Parameters: p : `Property<unit>` Returns: `Report`	p : `Property<unit>` Returns: `Report`
`reportBool p` Full Usage: `reportBool p` Parameters: p : `Property<bool>` Returns: `Report`	p : `Property<bool>` Returns: `Report`
`reportBoolWith config p` Full Usage: `reportBoolWith config p` Parameters: config : `PropertyConfig` p : `Property<bool>` Returns: `Report`	config : `PropertyConfig` p : `Property<bool>` Returns: `Report`
`reportRecheck size seed p` Full Usage: `reportRecheck size seed p` Parameters: size : `Size` seed : `Seed` p : `Property<unit>` Returns: `Report`	size : `Size` seed : `Seed` p : `Property<unit>` Returns: `Report`
`reportRecheckBool size seed p` Full Usage: `reportRecheckBool size seed p` Parameters: size : `Size` seed : `Seed` p : `Property<bool>` Returns: `Report`	size : `Size` seed : `Seed` p : `Property<bool>` Returns: `Report`
`reportRecheckBoolWith size seed config p` Full Usage: `reportRecheckBoolWith size seed config p` Parameters: size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<bool>` Returns: `Report`	size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<bool>` Returns: `Report`
`reportRecheckWith size seed config p` Full Usage: `reportRecheckWith size seed config p` Parameters: size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<unit>` Returns: `Report`	size : `Size` seed : `Seed` config : `PropertyConfig` p : `Property<unit>` Returns: `Report`
`reportWith config p` Full Usage: `reportWith config p` Parameters: config : `PropertyConfig` p : `Property<unit>` Returns: `Report`	config : `PropertyConfig` p : `Property<unit>` Returns: `Report`
`success x` Full Usage: `success x` Parameters: x : `'a` Returns: `Property<'a>`	x : `'a` Returns: `Property<'a>`
`toGen arg1` Full Usage: `toGen arg1` Parameters: arg0 : `Property<'a>` Returns: `Gen<Journal * Outcome<'a>>`	arg0 : `Property<'a>` Returns: `Gen<Journal * Outcome<'a>>`
`tryFinally after m` Full Usage: `tryFinally after m` Parameters: after : `unit -> unit` m : `Property<'a>` Returns: `Property<'a>`	after : `unit -> unit` m : `Property<'a>` Returns: `Property<'a>`
`tryWith k m` Full Usage: `tryWith k m` Parameters: k : `exn -> Property<'a>` m : `Property<'a>` Returns: `Property<'a>`	k : `exn -> Property<'a>` m : `Property<'a>` Returns: `Property<'a>`
`using x k` Full Usage: `using x k` Parameters: x : `'a` k : `'a -> Property<'b>` Returns: `Property<'b>`	x : `'a` k : `'a -> Property<'b>` Returns: `Property<'b>`