Changelog of @hackage/covenant 1.1.0

Changelog for covenant

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

UNRELEASED

1.1.0 -- 2025-07-11

Added

  • Representation of datatype declarations and datatype types
  • Generators for various flavors of data declaration and value type
  • A "kind checker" which serves as a basic sanity check on datatype declarations ingested by the pipeline
  • Base functor transformation machinery
  • Tests for the base functor transformation
  • Misc internal helpers to support the above functionality
  • Ledger type definitions for use in the ASG
  • Support for primops over data types
  • Support for arity-six primops in the ASG

Initial version

1.0.0 -- 2025-05-07