Skip to content

[#567] Add methods for importing Lorentz `Contract`

Konstantin Ivanov requested to merge martoon/#567-lorentz-contract into master

Description

Add Contract that is convenient both for contracts coming from Lorentz and coming from .tz contracts, and methods for importing to it.

Related notes

There was a proposal to add a typeclass for converting anything to Contract (if I got it correctly?), I'm open to suggestions on how this should look like concretely. Currently, there is one Contract type, and all the functions of the testing framework work with it (except for those that are used in morley-test), and in my opinion that's just good.

Related issue(s)

Resolves #567 (closed)

Checklist for your Merge Request

Related changes (conditional)

  • Tests (see short guidelines)

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:
    • I updated changelog files of all affected packages released to Hackage if my changes are externally visible.

Stylistic guide (mandatory)

Edited by Konstantin Ivanov

Merge request reports

Loading