Command
Namespace: Persimmon.Dried
Nested types and modules
| Type | Description |
| Unit |
Functions and values
| Function or value | Description |
boxResult command
Signature: command:Command<'?7997,'?7998,'?7999> -> Command<'?7997,'?7998,obj>
Type parameters: '?7997, '?7998, '?7999 |
|
nextState state command
Signature: state:'?8005 -> command:Command<'?8006,'?8005,'?8007> -> '?8005
Type parameters: '?8005, '?8006, '?8007 |
|
postCondition state result command
Signature: state:'?8013 -> result:Choice<'?8014,exn> -> command:Command<'?8015,'?8013,'?8014> -> Prop
Type parameters: '?8013, '?8014, '?8015 |
|
preCondition state command
Signature: state:'?8009 -> command:Command<'?8010,'?8009,'?8011> -> bool
Type parameters: '?8009, '?8010, '?8011 |
|
run sut command
Signature: sut:'?8001 -> command:Command<'?8001,'?8002,'?8003> -> '?8003
Type parameters: '?8001, '?8002, '?8003 |
|
