0.1.2

• !1050 Modify resolveAddress to accept AliasHints
• !1039 Parameterize generators with a Range
  • minTimestamp, maxTimestamp and midTimestamp are moved to Hedgehog.Range.Tezos.Core.Timestamp.
• !1017 Resolve some TODOs and link TODOs without issue id to the corresponding gitlab tickets.
• !1082 Fix/drop/comment noncanonical Show instances

0.1.1

• !1113 Remove uses of Parser LetEnv due to redundant constraint.
• !1094 Deprecate morley language extensions
  • Functions for importing and testing Morley contracts are added: Test.Cleveland.Michelson.Import.testTreesWithUntypedContractExt, Test.Cleveland.Michelson.Import.testTreesWithTypedContractExt, Test.Cleveland.Lorentz.Import.importContractExt. All these functions are considered deprecated.
• !965 Use Morley's fixed-size lists
  • Add Hedgehog generators for sized lists.
  • Introduce enumAliasHints for generating a sized list of similarly named alias hints.
• !1072 Add runCode to Cleveland
• !1070 Simplify cleveland's internals & public api
  • Relaced the NiceUnpackedValue (AsRPC st) constraint in getStorage
  • Removed the NicePackedValue k constraint from getAllBigMapValuesMaybe, getAllBigMapValues, getBigMapSizeMaybe, and getBigMapSize.
• !1025 Reduce the number of unsafe functions at the call site
  • Remove unsafeFromHex converter that is used as counter-part of safe fromHex and replaced with unsafe . fromHex.
  • Refactor fromHex to return Either instead of Maybe.
  • Add parseAddressFromHex helper to get rid of duplicated usages of parseAddressRaw . unsafe . fromHex.
• !978 Make it difficult to misuse 'Show'
  • Use Buildable and pretty preferrentially.
  • Add Buildable instances for FaluireReason, Either a b.
  • Add PrettyShow instances for TypeSpec (in lorentz-test) and Time _ (in cleveland itself)./
  • Avoid using (+||) and (||+).
  • Use Debug.show when defining Show instances.
• !1058 Add Buildable instances for Unit, tuples up to 8 elements & bytestrings
• !1057 Test Show and RenderDoc instances of Annotation t, AnnotationSet, Notes t, InstrAbstract op
• !997 Check necessity in initial cast automatically in Lorentz contracts
• !1044 Fix getRunMode and whenEmulated
  • getRunMode is replaced by ifEmulation helper.
  • A new helper whenNetwork is added.
  • One caveat is that functions passed to ifEmulation are universally quantified over the outer monad, so if additional constraints are required beyond MonadCleveland or MonadEmulated, those constraints have to go on the base monad, e.g. (MonadCleveland caps m, MonadFail (ClevelandBaseMonad caps)) => m (). ifEmulation.
• !1043 Extract actual + expected pattern into a datatype and show diff in type mismatch
• !1037 Add synonyms for SomeConstrainedValue
  • Reimplement SomeConstant, SomeValue, SomeStorage via SomeConstrainedValue.

0.1.0

Initial release extracted from the morley and lorentz packages. Tezos testing framework for contract developed with Michelson, Morley or Lorentz.