Programming tutorials

This page groups documentation about some specific aspects of programming within the Mavkit code base. This covers libraries and frameworks available in Mavkit, but also guidelines for applying more general programming techniques, such as GADTs, to Mavkit.

• Generalized Algebraic Data Types (GADTs)
  • Ensuring type safety of the Michelson interpreter
  • Building complex expressions
  • Type equality witness
• The Error Monad
  • Part 1: result, Lwt, and Lwt-result
  • Part 2: tzresult and Lwt-tzresult
  • Part 3: Advanced topics
  • Part 4: Appendices
• The clic library
  • Wallet example
  • Conclusion
• The data_encoding library
  • Examples/Tutorial
  • How the Dataencoding module works
• Using The Event Logging Framework
  • Adding Events
  • Creating Sinks