Welcome to Liquidity’s documentation!

Liquidity is a high-level statically-typed language to program Smart Contracts for Dune Network. It uses a subset of the syntax of OCaml, and strictly complies to Michelson security restrictions. It comes with a decompiler that can translate Michelson contracts to Liquidity, for auditing purposes.

Liquidity Documentation

• Introduction
• Installation
  • Installation from Sources
• Usage
  • Compiling a Liquidity file
  • Decompiling a Michelson file
  • Interacting with a Dune node
    • Running a simulation of the contract
    • Deploying a contract
    • Calling a contract
    • Generating initial storage
• Liquidity Reference
  • Contract Format
  • Basic Types and Values
    • Basic Types
    • Composite Types
    • Contract Handles and View Types
    • Constant Values
  • Predefined Primitives
    • Extended Primitives
    • Comparison between values
    • The Current module
    • Operations on tuples
    • Operations on numeric values
    • Operations on contracts
    • Cryptographic operations
    • Operations on bytes
    • Operations on strings
    • Operations on lambdas
    • Operations on lists
    • Operations on sets
    • Operations on maps
    • Operations on Big maps
    • Operations on generic collections
  • The Modules and Contracts System
    • Module and Contract Aliases
    • First Class Contract Structures
    • Toplevel Contracts
    • Contract Types and Signatures
    • Predefined Contract Signatures
  • Type inference and Polymorphism
    • Type inference
    • Polymorphism
  • ReasonML Syntax
    • ReasonML Compiler Arguments
    • ReasonML Syntax Extensions
• Tutorial for Liquidity
  • Tuples
  • Records
  • Variants
  • Functions and Closures
  • Loops
• Examples
  • A Game with an oracle
    • Principle of the game
    • Architecture of the DApp
    • The Game Smart Contract
    • The Oracle
    • Remarks
• Manual Pages
  • liquidity
  • liquidity-client
  • liquidity-client call
  • liquidity-client call-arg
  • liquidity-client deploy
  • liquidity-client forge-call
  • liquidity-client forge-deploy
  • liquidity-client get-storage
  • liquidity-client init-storage
  • liquidity-client inject
  • liquidity-client pack
  • liquidity-client run
• From Michelson to Liquidity
• Liquidity Grammar

Michelson

• Michelson: the language of Smart Contracts in Dune

Indices and tables

• Index
• Module Index
• Search Page