PropResult

Namespace: Persimmon.Dried

Function or value	Description
`( &&& ) l r` Signature: l:PropResult -> r:PropResult -> PropResult	CompiledName: `op_BitwiseAnd`
`( \|\|\| ) l r` Signature: l:PropResult -> r:PropResult -> PropResult	CompiledName: `op_BitwiseOr`
`( ++ ) l r` Signature: l:PropResult -> r:PropResult -> PropResult	CompiledName: `op_PlusPlus`
`( ==> ) l r` Signature: l:PropResult -> r:PropResult -> PropResult	CompiledName: `op_EqualsEqualsGreater`
`addArg a r` Signature: a:PropArg<'T> -> r:PropResult -> PropResult Type parameters: 'T
`collect a r` Signature: a:'T -> r:PropResult -> PropResult Type parameters: 'T
`isFailure r` Signature: r:PropResult -> bool
`isProved r` Signature: r:PropResult -> bool
`isSuccess r` Signature: r:PropResult -> bool
`label s r` Signature: s:string -> r:PropResult -> PropResult
`merge x y st` Signature: x:PropResult -> y:PropResult -> st:PropStatus -> PropResult

Persimmon.Dried