Hackage :: [Package]

indigo: Convenient imperative eDSL over Lorentz.

[ language, library, mit, program ] [ Propose Tags ] [ Report a vulnerability ]

Syntax and implementation of Indigo eDSL.

[Skip to Readme]

Modules

[Last Documentation]

  • Indigo
    • Indigo.Backend
      • Indigo.Backend.Case
      • Indigo.Backend.Conditional
      • Indigo.Backend.Error
      • Indigo.Backend.Lambda
      • Indigo.Backend.Prelude
      • Indigo.Backend.Scope
      • Indigo.Backend.Var
    • Indigo.Compilation
      • Indigo.Compilation.Field
      • Indigo.Compilation.Lambda
      • Indigo.Compilation.Params
      • Indigo.Compilation.Sequential
    • Indigo.Frontend
      • Indigo.Frontend.Language
      • Indigo.Frontend.Program
      • Indigo.Frontend.Statement
    • Indigo.Internal
      • Indigo.Internal.Expr
        • Indigo.Internal.Expr.Compilation
        • Indigo.Internal.Expr.Decompose
        • Indigo.Internal.Expr.Symbolic
        • Indigo.Internal.Expr.Types
      • Indigo.Internal.Field
      • Indigo.Internal.Lookup
      • Indigo.Internal.Object
      • Indigo.Internal.SIS
      • Indigo.Internal.State
      • Indigo.Internal.Var
    • Indigo.Lib
    • Indigo.Lorentz
    • Indigo.Prelude
    • Indigo.Print
    • Indigo.Rebinded

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.2.0, 0.2.1, 0.2.2, 0.3.0, 0.3.1, 0.4, 0.5.0, 0.6.0
Change log CHANGES.md
Dependencies base (>=4.7 && <5), constraints, containers, directory, lorentz, megaparsec (>=7.0.0), morley, morley-prelude, optparse-applicative, process, reflection, shelly, singletons, string-interpolate, summoner, text, vinyl, with-utf8 [details]
License MIT
Copyright 2019-2020 Tocqueville Group
Author Serokell, Tocqueville Group
Maintainer Serokell <hi@serokell.io>
Uploaded by gromak at 2020-10-07T16:08:49Z
Category Language
Home page https://indigo-lang.gitlab.io/
Bug tracker https://gitlab.com/morley-framework/morley/-/issues
Source repo head: git clone git@gitlab.com:morley-framework/morley.git
Distributions
Executables indigo
Downloads 1490 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2020-10-08 [all 3 reports]

Readme for indigo-0.3.0

[back to package description]

Indigo eDSL

Hackage

Indigo eDSL is a high level language for Michelson contract development. It is meant first and foremost to free you from the burden of manual stack management and supports common features of imperative languages.

It is built on top of Lorentz, which in turn is built on top of Morley, a dialect that is a superset of vanilla Michelson. If you are interested more in the relationships between these projects you can start by taking a look at the repo on GitLab.

Overall idea

Michelson contracts are stack-based and often follow the repetitive pattern of copying the required values on top of the stack to apply an instruction to them. Indigo can associate variables to values in the stack and it's able to refer to them in order to handle this pattern automatically.

In addition to this it can override existing variables with new values, allowing the manipulation of the stack to be automatic.

Leveraging this ability, it also supports features such as: imperative statements (if, while, ...), expressions, operators (+, ||, ==, ...), scoped functions definition and errors.

Indigo uses Morley to map values from Michelson to Haskell and to compile to Michelson code (or to any of the other projects in the chain mentioned above).

Tutorial and documentation

Indigo has a tutorial that you can find at indigo-lang.gitlab.io.

In addition, as for the other Morley projects, it has Haddock documentation.