Changelog of @hackage/generics-mrsop 2.1.0

Revision history for generics-mrsop

2.1.0 -- Jul 2019

  • Added datatype Holes for representing families annotated with holes.
  • Brought in some monadic attribute grammar combinators
  • Big documentation update on a number of places

2.0.0 -- Mar 2019

  • Eq1 and Show1 are now called EqHO and ShowHO. This avoids clashing with the already existing Eq1 in Prelude.
  • A number of functions received a IsNat constraint.
  • Generics.MRSOP.Util is now re-exported by Generics.MRSOP.Base.
  • Support for inheritted attributes no longer exists in Generics.MRSOP.AG
  • Fix is no longer implemented by AnnFix. The later now lives in Generics.MRSOP.AG

1.2.2 -- Sep 2018

  • added monadic catamorphism for NP
  • added pattern signature generation for TH
  • require TestEqualiy for opaque types singleton
  • Zippers over deep representations
  • Refined Metadata handling
  • Fix is implemented as AnnFix

1.0.0.0 -- May 2018

  • First version. Released on an unsuspecting world.