PropModule
Namespace: Persimmon.Dried
Instance members
| Instance member | Description |
classify(c, ifTrue, ifFalse)
Signature: (c:bool * ifTrue:'?7808 * ifFalse:'T) -> ^?7810 -> Prop
Type parameters: '?7808, 'T, ^?7810 |
|
classify(c, ifTrue, ifFalse, prop)
Signature: (c:bool * ifTrue:'?7805 * ifFalse:'?7806 * prop:Prop) -> Prop
Type parameters: '?7805, '?7806 |
|
classify(c, ifTrue)
Signature: (c:bool * ifTrue:'?7802) -> ^?7803 -> Prop
Type parameters: '?7802, ^?7803 |
|
classify(c, ifTrue, prop)
Signature: (c:bool * ifTrue:'?7800 * prop:Prop) -> Prop
Type parameters: '?7800 |
|
collect(t)
Signature: t:'?7797 -> ^?7798 -> Prop
Type parameters: '?7797, ^?7798 |
|
collect(t, prop)
Signature: (t:'?7795 * prop:Prop) -> Prop
Type parameters: '?7795 |
|
exists(arb)
Signature: arb:IArbitrary<'?7792> -> ('?7792 -> ^?7793) -> Prop
Type parameters: '?7792, ^?7793 |
|
exists(arb)
Signature: arb:NonShrinkerArbitrary<'?7789> -> ('?7789 -> ^?7790) -> Prop
Type parameters: '?7789, ^?7790 |
|
exists(g, pp)
Signature: (g:Gen<'?7786> * pp:('?7786 -> Pretty)) -> ('?7786 -> '?7787) -> Prop
Type parameters: '?7786, '?7787 |
|
forAll(arb)
Signature: arb:IArbitrary<'a> -> ('a -> ^b) -> Prop<'a>
Type parameters: 'a, ^b |
|
forAllNoShrink(arb)
Signature: arb:NonShrinkerArbitrary<'a> -> ('a -> ^b) -> Prop<'a>
Type parameters: 'a, ^b |
|
forAllNoShrink(g, pp)
Signature: (g:Gen<'?7774> * pp:('?7774 -> Pretty)) -> ('?7774 -> '?7775) -> Prop
Type parameters: '?7774, '?7775 |
|
forAllShrink(g shrink f pp)
Signature: g:Gen<'?7780> -> (shrink:('?7780 -> seq<'?7780>)) -> (f:('?7780 -> '?7781)) -> (pp:('?7780 -> Pretty)) -> Prop
Type parameters: '?7780, '?7781 |
|
