lorentz

Release 0.16.0

Lorentz is a powerful meta-programming tool which allows one to write Michelson contracts directly in Haskell. It has the same instructions as Michelson, but operates on Haskell values and allows one to use Haskell features.

Homepage Repository Hackage Download

Keywords
library, mit, Propose Tags, Skip to Readme, Index, Quick Jump, Lorentz, Lorentz.ADT, Lorentz.Address, Lorentz.Annotation, Lorentz.Arith, Lorentz.Base, Lorentz.Bytes, Lorentz.Coercions, Lorentz.Common, Lorentz.Constraints, Lorentz.Constraints.Derivative, Lorentz.Constraints.Scopes, Lorentz.ContractRegistry, Lorentz.CustomArith, Lorentz.CustomArith.Common, Lorentz.CustomArith.Conversions, Lorentz.CustomArith.FixedArith, Lorentz.CustomArith.RationalArith, Lorentz.Default, Lorentz.Doc, Lorentz.Entrypoints, Lorentz.Entrypoints.Core, Lorentz.Entrypoints.Doc, Lorentz.Entrypoints.Helpers, Lorentz.Entrypoints.Impl, Lorentz.Entrypoints.Manual, Lorentz.Errors, Lorentz.Errors.Numeric, Lorentz.Errors.Numeric.Contract, Lorentz.Errors.Numeric.Doc, Lorentz.Expr, Lorentz.Ext, Lorentz.Extensible, Lorentz.Instr, Lorentz.Instr.Framed, Lorentz.Iso, Lorentz.Lambda, Lorentz.Layouts, Lorentz.Layouts.NonDupable, Lorentz.Macro, Lorentz.Pack, Lorentz.Polymorphic, Lorentz.Prelude, Lorentz.Print, Lorentz.Range, Lorentz.Rebound, Lorentz.Referenced, Lorentz.ReferencedByName, Lorentz.Run, Lorentz.Run.Simple, Lorentz.StoreClass, Lorentz.StoreClass.Extra, Lorentz.Tickets, Lorentz.UParam, Lorentz.Util.TH, Lorentz.Value, Lorentz.ViewBase, Lorentz.Wrappable, Lorentz.Zip, lorentz-0.16.0.tar.gz, browse, Package description, Package maintainers, gromak, pasqu4le, serokell, edit package information , 0.7.1, 0.10.0, 0.11.0, Overview, Writing contracts in Lorentz, Lorentz contract example, FAQ, Morley.Michelson.Printer, Morley.Michelson.Optimizer, morley-ledgers, tezos-btc, blogpost, instructions, macros, Morley.Michelson.Doc, here, Morley.Util.TypeTuple.Instances
License
MIT
Install
cabal install lorentz-0.16.0

Documentation

Morley: Developer tools for the Michelson Language

Morley is a library to make writing smart contracts in Michelson pleasant and effective.

I: A reimplementation of the Michelson Language in Haskell

  • Michelson.Untyped: Simple data types representing Michelson smart contracts and expresions. We use word Untyped to reflect that Michelson type of corresponding Haskel values is not statically known (e. g. there is a Value type which is basically dynamically typed).
  • Michelson.Typed: These modules contain more advanced types comparing to Michelson.Untyped with similar semantics. These types use GADTs GHC extension and in this representation Michelson type of each value and instruction is statically known. There are also some utilities to use this advanced machinery.
  • Michelson.TypeCheck: A typechecker that validates ADT's that conform to Michelson's typing rules.
  • Michelson.Intepreter: An intepreter for Michelson contracts which doesn't perform any side effects.
  • Morley.Types: Types for macros, syntactic sugar, and interpreter directives.
  • Morley.Parser A parser to turn a .tz file into an ADT.
  • Morley.Runtime: An interpreter that executes a well-typed Morley smart contract in a sandbox.

II: Testing tools (TBD)

  • Morley.REPL: An interactive REPL with stack visualization.
  • Morley.QuickCheck: QuickCheck generators for arbitary Michelson Values, LAMBDAs and Contracts.
  • Morley.Sandbox: Simulating a more realistic network environment, multiple smart contracts in the same sandbox.

Issue Tracker

We use YouTrack as our issue tracker. You can login using your GitHub account to leave a comment or create a new issue.

For Contributors

Please see CONTRIBUTING.md for more information.

Stats

Dependent repositories
0
Total releases
28
Latest release
First release
Stars
6
Forks
3
Contributors
0
SourceRank
9

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

0.10.0
0.11.0
0.12.0
0.12.1
0.13.0
0.13.1
0.13.2
0.13.3
0.13.4
0.1.0
See all 28 releases

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-08-01 01:01:19 UTC

Login to resync this project