Changelog for lorentz-0.10.0

Unreleased

!774
- Added support for BLS12-381 crypto primitives (types, instructions, arithmetics).
- Now it is possible to use int instruction for newtypes over Natural.
!786
!791
- Add new Edo instructions: pairGet and pairUpdate.
!755 Restricted FAILWITH only to packable values, except CONTRACTs
!759
- Add UnitErrorArg and NoErrorArg to be used with ErrorArg instance.
  - UnitErrorArg is preferred to ()
  - NoErrorArg allows failing with just a string instead of a pair string unit.
!764
- Added Never type, deprecated Empty type.

!731 Added GenericStrategy-ies for compatibility with LIGO.
!712 Add lenses for Lorentz contract config.
!684
- Simplify working with autodoc in contracts (breaking change).
- finalizeParamCallingDoc is now applied automatically when lorentz' Contract is used, no need to call it manually.

!671
- Add TypeHasDoc instances for TAddress and FutureContract.
- Add a generic instance DocItem (DEntrypoint ep). In case of getting overlapping instances, you have to implement EntrypointKindHasDoc instead.
- Some error messages in doc tests are improved.
- Some bugfixes for anchors.
- Cases with contract logic residing outside of entrypoints are now better handled.
!665 Improve StorageContains to work for polymorphic case (when field is marked with Identity).
!679 Add dupLNamed.
!672
- Add Packed, TSignature and Hash types.
- pack and unpack now work with Packed instead of ByteString (for the sake of better type-safety). Either use Packed type, or packRaw/unpackRaw instructions.
- checkSignature now works with Packed and TSignature.
- blake2b and other hashing instructions now work with Hash.
- If necessary, coersions can be used to switch between the mentioned types and raw ByteString.
!667
- Modify representation of extended lambdas (arbitrary code used as lambdas is now packed into right-hand combs, not left-hand ones).
- Add applicate macro.
!630 Use : in all library instructions instead of &.
!652 Update the ContractRegistry to be able to not require contract name for all its commands when there is only one contract.
!640 Change StoreSubmapOps to contain no optional methods.

!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.