Changelog of @hackage/associative 0.0.3

0.0.3

  • New nonPartialSemigroup isomorphism witnessing that PartialSemigroupOpT (Const b) a b is isomorphic to SemigroupOp a b
  • New nonPartialMonoid isomorphism converting between (PartialSemigroupOpT (Const a) a a, a) and MonoidOp a
  • Fixed name-shadowing warning in psemigroupLawAssociative
  • Qualified all imports, ormolu formatting

0.0.2

  • Wrapper values (semigroupMaybe, semigroupDual, semigroupDown, semigroupIdentity, semigroupTuple, semigroupWrappedMonoid, semigroupFunction, and their psemigroup/monoid/pmonoid counterparts) now take an explicit SemigroupOp' or MonoidOp parameter instead of using Semigroup/Monoid class constraints
  • New Apply sequencing values: semigroupApplyThen, semigroupApplyFirst, psemigroupApplyThen, psemigroupApplyFirst
  • New Applicative sequencing values: semigroupApplicativeThen, semigroupApplicativeFirst, psemigroupApplicativeThen, psemigroupApplicativeFirst
  • New functor-lifting combinators: semigroupLiftF2, semigroupLiftA2, psemigroupLiftF2, psemigroupLiftA2, monoidLiftF2, monoidLiftA2, pmonoidLiftF2, pmonoidLiftA2

0.0.1

  • This change log starts