package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('kind, 'manager, 'successful) operation_result =
  1. | Applied of 'successful
  2. | Backtracked of 'successful * Tezos_protocol_environment_alpha.Error_monad.error Tezos_protocol_environment_alpha.Error_monad.trace option
  3. | Failed : 'manager * Tezos_protocol_environment_alpha.Error_monad.error Tezos_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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct