morley-1.4.0: Developer tools for the Michelson Language
A library to make writing smart contracts in Michelson — the smart contract language of the Tezos blockchain — pleasant and effective.
Signatures
Modules
- Michelson
- Michelson.Analyzer
- Michelson.Doc
- Michelson.ErrorPos
- Michelson.FailPattern
- Michelson.Interpret
- Michelson.Let
- Michelson.Macro
- Michelson.OpSize
- Michelson.Optimizer
- Michelson.Parser
- Michelson.Preprocess
- Michelson.Printer
- Michelson.Runtime
- Michelson.Test
- Michelson.Text
- Michelson.TypeCheck
- Michelson.Typed
- Michelson.Typed.Aliases
- Michelson.Typed.Annotation
- Michelson.Typed.Arith
- Michelson.Typed.Convert
- Michelson.Typed.Doc
- Michelson.Typed.EntryPoints
- Michelson.Typed.Extract
- Michelson.Typed.Haskell
- Michelson.Typed.Instr
- Michelson.Typed.Polymorphic
- Michelson.Typed.Scope
- Michelson.Typed.Sing
- Michelson.Typed.T
- Michelson.Typed.Util
- Michelson.Typed.Value
- Michelson.Untyped
- Morley
- Tezos
- Util