Changelog for lorentz-0.7.1

Unreleased

!629 All UStore modules has been moved to the morley-upgradeable repository. Now you have to include that repository to your build and import Lorentz.UStore.
!610 Remove Lorentz.TestScenario.
!585 Add HasAnnotation instance for ChainId.

!589 Add annOptions method in HasAnnotation which can be used to customize the generated annotations of a type.
- Add helper functions to use with annOptions.
!591 Add dupTop2.

!533 Add entrypointDoc, typeDoc, and errorDoc quasiquotes which help generating typeclass instances.

!558 Added a new wrapOne to wrap a value in a constructor with a single field, because it has the advantage of having an input stack that does not depend on a type family.
!528 The generated documentation now contains a sample value of each entrypoint.
- Allow modification of sample value via mkDEntrypointExample.
!493 Add support for root entrypoint.
- A contract can now specify whether or not the root annotation should be generated and which name it should use.
- self and contract instructions are able to call the root entrypoint.

!530 Field annotation are now generated for sum-type in parameter and storage.
- It also ensures that it will not generate field annotations that would introduce extra entrypoints.
!371 Make view_ argument accept 2 arguments rather than a pair.
!486 Add customGeneric to derive Generic instances with a custom tree structure and, consequently, IsoValue instances with such a structure.
!483 Add a way to generate field annotations for entrypoint parameter.
!470 Move Lorentz.Test and Hedgehog generators to a new package: cleveland.
!357 Remove deprecated Lorentz.Store module and deprecated custom error functionality.

!449
- Improve Lorentz.Test.Integrational interface.
- Remove IntegrationalValidator, SuccessValidator, validate, composeValidators, composeValidatorsList, expectAnySuccess.
- Add unexpectedInterpreterError, attempt, catchExpectedError.
- Change type of expect*/tExpect*/lExpect* functions. They now return IntegrationalScenario instead of SuccessValidator / Bool.
- Rename ValidationError to TestError
- Replace TestError's UnexpectedExecutorError constructor with InterpreterError and UnexpectedInterpreterError.
!432 Add whenNone to Lorentz.
!398 Add StoreHasEntrypoint class to conveniently use entrypoints as lambdas stored into big_map(s) to make use of lazy evaluation.
!409
- Add hedgehog support
!303
- Functions for working with UStore from Haskell world (e.g. fillUStore) now have a different constraint.
- UStore templates are now documented and thus may require instance of the respective typeclass.

!417 Change the license to MIT.
!360
- Add compileLorentzWithOptions function that accepts optional Michelson optimizer configuration and string transformer function. Changed compileLorentz to call the optimizer with the default configuration.
- Add Lorentz.Contract data type as a wrapper for Lorentz.ContractCode and Lorentz.CompilationOptions. Require that all contracts are wrapped in this data type.
!354
- Add constructStack function that constructs a datatype from fields on the stack.
- Add deconstruct function that deconstructs a datatype to its fields on the stack.
!358 Removed deprecated STEPS_TO_QUOTA instruction.
!337 Added comment, commentAroundFun and commentAroundStmt to generate comments in Michelson code.

!346 Added docStorage and contractGeneralDefault.
!306 Deprecated mapMigrationCode in favor of MapLorentzInstr.
!326 Updated contract registry (Lorentz.ContractRegistry):
- Now it can print initial storage apart from contract and documentation.
- Some extra fields were added to ContractInfo.
- Logic is captured in the runContractRegistry function.
- If you don't specify output file, we will use a file with name constructed from contract name. Pass - if you want stdout.
!245 Added HasTypeAnn instance for FutureContract arg.
!294
- Added Paths_* modules to autogen-modules in cabal files. Removed -O0
- from default GHC options. Please set ghc-options in your stack.yaml or cabal.project.local.
!271 Renamed 'Contract' to 'ContractCode', and appended "Code" to the names of two functions: 'convertContract' and 'printTypedContract'
!267
- Retain type annotations in entrypoints derivation.
- Remove overlappable HasTypeAnn instance defined for nearly each type. Add default getTypeAnn method definition instead and manually define HasTypeAnn instance for each type instead (trivially). When you create a new data type with IsoValue instance, you usually have to derive HasTypeAnn as well.

Initial release extracted from the morley package.