Skip to content

Latest commit

 

History

History
427 lines (264 loc) · 15.8 KB

CHANGELOG.md

File metadata and controls

427 lines (264 loc) · 15.8 KB
Raw

Revision history for plutarch

1.5.0

  • Bump plutus-core and plutus-ledger-api to 1.20.0.0

1.4.0

  • Renamed punionWith and punionWithData of Plutarch.Api.V1.AssocMap to punionResolvingCollisionsWith and punionResolvingCollisionsWithData, since they have been misused for what should have been pzipWith and pzipWithData.
  • Renamed punionWith and punionWithData of Plutarch.Api.V1.Value to punionResolvingCollisionsWith and punionResolvingCollisionsWithData, since they have been misused for what should have been pzipWith and pzipWithData.
  • Introduced pzipWith, pzipWithData, pzipWithDefault, pzipWithDataDefault, pzipWithDefaults, pzipWithDataDefaults, pintersectionWith, and pintersectionWithData in Plutarch.Api.V1.AssocMap. Also introduced the types BothPresentHandler, BothPresentHandlerCommutative, OnePresentHandler, MergeHandler and SomeMergeHandler for instructing pzipWith and pzipWithData.
  • Added Commutativity in AssocMap for instructing various AssocMap and Value operations about the commutativity of the given value-merging function.
  • Renamed pdifference in AssocMap to punsortedDifference (O(n^2)). Introduced new pdifference with stricter constraints and O(n).
  • Added pleftBiasedUnion in Plutarch.Api.V1.AssocMap.
  • Added pleftBiasedCurrencyUnion and pleftBiasedTokenUnion in Plutarch.Api.V1.Value.

1.3.0

  • Support newer Plutus
  • Remove most of the Nix code and switch to mlabs-tooling.nix

1.2.1

  • Exported data constructors instance for Plutarch.Lift (LiftError)

1.2 (WIP changelog)

  • Changed fields of PTxInfo whose only representation is data to not be wrapped by PAsData.

    Module: Plutarch.Api.V1.Contexts; Plutarch.Api.V2.Contexts

  • Added plistData builtin function wrapper.

    Module: Plutarch.Builtin

  • Added PEq superclass constraint to POrd

    Included by #326

  • Added module Plutarch.Show with the PShow type class, as well as functions pshow and ptraceShowId.

    Started by #352

  • Add puncons and ptryUncons functions for deconstructing list.

    Started by: #333

  • Add generic deriving for PEq

    Started by #335

  • Plutarch.Prelude and Plutarch.List now export pfind, pelemAt, preserve and pcheckSroted.

    Started by: #306

  • Added module Plutarch.FFI for interoperability with PlutusTx.

  • Added DerivePConstantViaBuiltin, deprecating DerivePConstantViaNewtype.

  • TermCont: Parametrize by result type; add MonadFail instance; etc.

    Also, export from Plutarch.TermCont, and then from Plutarch.Prelude (TermCont is no longer exported by Plutarch.Internal).

    Started by: #226

  • Add PlutusType generic deriving support for data encoded Plutarch types, via PIsDataRepr and PIsDataReprInstances.

    All existing ledger api types now have PlutusType instances - not just PMatch.

    Started by: #250

  • Add PDataRecord construction utilities, necessary for full usage of data encoded PlutusType instances.

    In particular, you can build PDataRecords with pdcons and pdnil - refer to the guide for more info.

    pdcons and pdnil are also exported from Plutarch.Prelude.

    Also add PlutusType instance for PDataRecord.

    Module: Plutarch.DataRepr.Internal

    Started by: #250

  • Export PLabeledType ((:=)) from Plutarch.Prelude.

    Added by: #250

  • Add pconstantData - an efficient way of building data encoded constants directly.

    This is semantically equivalent to pdata . pconstant but does not do any extra builtin function call.

    Module: Plutarch.Builtin

    Added by: #251

  • Added APIs for constructing, compiling, serialising & hashing Plutarch scripts.

    Type synonyms for Plutarch-typed scripts PValidator,PMintingPolicy & PStakeValidator.

    mkValidator, mkStakeValidator & mkMintingPolicy functions, for creating Plutus API compatible scripts.

    validatorHash, mintingPolicySymbol & stakeValidatorHash to obtain script hashes.

    Module: Plutarch.V1.Api

    See: Plutarch.ScriptsSpec in plutarch-test for usage examples.

    Added by: #267

  • Add PTuple construction and related utilities.

    Module: Plutarch.Api.V1.Tuple

    Added by: #255

  • Add PIsData instances for PUnit and PBuiltinPair (PAsData a) (PAsData b).

    It's helpful to mentally note that PTuple a b, PAsData (PTuple a b) and PBuiltinPair (PAsData a) (PAsData b) all have the exact same underlying representation. See Plutarch.Api.V1.Tuple for no-op conversion functions.

    Module: Plutarch.Builtin

    Added by: #255

  • Add implicit pfromData for hrecField and the record dot. Add implicit pfromData for pfield.

    Module: Plutarch.DataRepr

    Added by: #235

  • Add Plutarch.Test for testing Plutarch code with goldens for UPLC printing and Plutus benchmarks.

  • Add Conversion types PTryFrom, PMaybeFrom and PFrom

    Module: Plutarch.TryFrom

    Added by: #326

  • plutarch-extra: Add a new directory scaffold "plutarch-extra" which will be home to everything too specific to not be in the main Plutarch repo. Also refactored the test library.

    Directory: plutarch-extra

    Added by: #329

  • plutarch-extra export merged Prelude

    Module: Plutarch.PPrelude

    Added by: #356

  • Add PConstant instance for Maybe, with corresponding PLift instance for PMaybeData.

    Added by: #371

  • Add POrd and PEq derivation for data encoded types via PIsDataReprInstances.

    Added by: #371

  • Make PRational construction machinery fail when the denominator is 0.

    Fixed by: #299

  • Rename PConstant (the typeclass) to PConstantDecl. PConstant is now a type alias with extra constraints for better type checking.

    Add PLiftData and PConstantData type aliases.

    Added by: #354

  • Remove hrecField export. Use getField instead.

    Removed by: #415

  • Rename the "data" field of PTxInfo to "datums".

    Renamed by: #415

  • Add Num instance for PPOSIXTime and export its constructor.

    Added by: #415

  • PlutusType is now a superclass of PIsDataRepr, strengthening the existing PMatch superclass constraint.

    Added by: #415

  • Add PlutusType instance for PDataSum. PDataSum can now be hand-constructed.

    Added by: #345

  • Add HRecOf, PMemberFields, and PMemberField utility types.

    Module: Plutarch.DataRepr.

    Added by: #466

  • Move Plutarch.ListUtils to Plutarch.Extra.List.

    Added by: #466

  • Add various TermCont utilities: ptraceC, pletFieldsC, ptryFromC, pguardC, and pguardC'.

    Module: Plutarch.Extra.TermCont.

    Added by: #466

1.1.0

  • General repository changes.

    • The Plutarch repo has moved to GHC 9.2.1. Projects using GHC 8.10.7 should still be able to depend on Plutarch. There is CI in place to ensure compatibility.

      Relevant PR: #86

      CI added by: #188

    • Major nix updates.

      Started by: #75

    • Benchmarks and perf diffing on PRs to keep track of performance regressions.

      Worked on through:

  • Significantly improve plam type inference - works seamlessly now (!!!)

    Worked on through:

    Relevant issue: #2

  • Many, many optimizations on generated code.

    Worked on through:

  • Add haddocks and examples to many functions

    Started by: #49

  • Add many new utility functions, instances, and builtin function synonyms.

    Breakdown of additions

    • Boolean utilities:- pnot, #&&/pand/pand', #||/por/por'

      Module: Plutarch.Bool

      Added in: #30

    • ByteString utilities:- pconsBS, psliceBS, plengthBS, pindexBS

      Module: Plutarch.ByteString

      Added in: #30

    • Cryptographic hashing utilities:- psha2_256, psha3_256, pblake2b_256, pverifySignature

      Module: Plutarch.Crypto

      Added in: #30

    • PEq, POrd, Semigroup, and Monoid instances for PUnit

      Module: Plutarch.Unit

      Added in: #30

    • UTF-8 encode/decode functions:- pencodeUtf8, pdecodeUtf8

      Module: Plutarch.String

      Added in: #30

    • PIntegral typeclass

      Module: Plutarch.Integer

      Added in: #30

    • PIntegral instance for PInteger

      Module: Plutarch.Integer

      Added in: #30

    • PEq instance for PData and PAsData

      Module: Plutarch.Builtin

      Added in: #38

    • Tracing functions:- ptrace, ptraceIfFalse, ptraceIfTrue, ptraceError

      Module: Plutarch.Trace

      Added in: #39

    • Builtin pair construction utility:- ppairDataBuiltin

      Module: Plutarch.Builtin

      Added in: #50

    • Loads of awesome list utilities thanks to #63!

      Module: Plutarch.List

    • PIsData instance for PBool

      Module: Plutarch.Builtin

      Added in: #110

  • Add PIsData for conversion between normal builtin types and their Data representation.

    Initially added in: #31

  • Add PAsData for preserving more type information regarding Data encoded values.

    Initially added in: #31

  • Add PDataRepr and related machinery to ergonomically work with Constr encoded data.

    There are also generic derivers (!!) to implement the related typeclasses for custom data types.

    Module: Plutarch.DataRepr

    Worked on through

  • Add PLift and PConstant - enabling conversion between Plutarch terms and Haskell types.

    This comes with convenient derivers. See the relevant section on the guide.

    Module: Plutarch.Lift; another deriver within Plutarch.DataRepr.Internal

    Worked on through

  • Deprecate punsafeConstant. Use pconstant instead!

  • Add PIsList & PList + instances for PBuiltinList - ergonomic list functions for all!

    Module: Plutarch.List; another instance in Plutarch.Builtin

    Added in: #63

  • Mutually recursive data types, scott encoded records and more provided by Plutarch.Rec!

    Module: Plutarch.Rec

    Worked on through:

  • The Plutus V1 ledger api types implemented in Plutarch!

    Module: Plutarch.Api.V1

    Worked on through:

  • Implement Plutarch rational type.

    Module: Plutarch.Rational

    Added in: #89

  • The s in Term s _ has a fixed kind now. data S, s :: S

    Module: Plutarch.Internal

    Added in: #115

  • Add PType, a synonym to S -> Type - i.e the kind of Plutarch types. In particular, the kind of the 3rd type parameter of Term.

    Module: Plutarch.Internal

    Added in: #115

  • Convenient do syntax with QualifiedDo (!!!)

    Module: Plutarch.Monadic

    Added in: #119

  • Add DerivePNewtype to derive common typeclasses for Plutarch newtypes.

    Module: Plutarch; Plutarch.Builtin; Plutarch.Bool; Plutarch.Integer

    Added in: #151

  • A whole lot more exports from Plutarch.Prelude

    Module: Plutarch.Prelude

    Added in: #181

  • Move out punsafe* functions from Plutarch and into Plutarch.Unsafe.

  • Add generic deriving for PlutusType with scott encoding representation.

    Added in: #189

Thanks to:

  • @blamario
  • @emiflake
  • @Geometer1729
  • @kozross
  • @L-as
  • @MatthewCroughan
  • @sergesku
  • @srid
  • @t1lde
  • @TotallyNotChase

1.0.0

Somewhat stable release