Module Mavryk_raw_protocol_alpha.Apply_operation_result

type ('kind, 'manager, 'successful) operation_result =
  1. | Applied of 'successful
  2. | Backtracked of 'successful * Mavryk_protocol_environment_alpha.Error_monad.error Mavryk_protocol_environment_alpha.Error_monad.trace option
  3. | Failed : 'manager * Mavryk_protocol_environment_alpha.Error_monad.error Mavryk_protocol_environment_alpha.Error_monad.trace -> ('kind, 'manager, 'successful) operation_result
  4. | Skipped : 'manager -> ('kind, 'manager, 'successful) operation_result

The result of an operation in the queue. Skipped ones should always be at the tail, and after a single Failed. * The 'kind parameter is the operation kind (a transaction, an origination, etc.). * The 'manager parameter is the type of manager kinds. * The 'successful parameter is the type of successful operations. The 'kind parameter is used to make the type a GADT, but 'manager and 'successful are used to share operation_result between internal and external operation results, and are instantiated for each case.