SuccessCommand<'Sut, 'State, 'Result>
Namespace: Persimmon.Dried
Constructors
| Constructor | Description |
new()
Signature: unit -> SuccessCommand<'Sut,'State,'Result>
|
CompiledName: |
Instance members
| Instance member | Description |
NextState(arg1)
Signature: 'State -> 'State
Modifiers: abstract |
|
PostCondition(arg1, arg2)
Signature: ('State * 'Result) -> Prop
Modifiers: abstract |
|
PreCondition(arg1)
Signature: 'State -> bool
Modifiers: abstract |
|
Run(arg1)
Signature: 'Sut -> 'Result
Modifiers: abstract |
|
StructuredFormatDisplay
Signature: string
Modifiers: abstract |
CompiledName: |
