v0.9

• Add constructors for Either (left() and right()).
• Improve tests and coverage
• Default Eq1::liftEq() to call the supplied $eq function, assuming user has passed equals() there. (possibly buggy)
• Add a silly implementation of Sum as a use case for Monoid and Semigroup
• Improved and/or new type classes and their instance interfaces: Ord, Semigroup, Monoid, Foldable.

Full Changelog: v0.8...v0.9

v0.8

• Improve tests coverage
• Add just($x) and nothing() constructor functions
• Default to PHP (==) when container cannot find an Eq instance
• Add Eq laws assertions
• Add lr() and rl() for left-to-right and right-to-left function composition
• Add apply() and const_()

Full Changelog: v0.7...v0.8

v0.7

• Silly IO Linear (IOL) implementation - probably incorrect
• Add typeclasses that use the method container: Show, Contravariant, Eq1, Monoid, Monad.
• Add WeakReference wrapper
• Improve type annotations and fix some phpstan errors (long way to complete)

Full Changelog: v0.6...v0.7

v0.6

• ListInterface (experimental, everything is experimental really)
• Typeclass instance containers by @thgs in #6
• CategoryDescription to contain all morphism associations (very experimental)

Full Changelog: v0.5...v0.6

v0.5

Added

• Identity and Constant and functors
• ProfunctorInstance
• Op
• BifunctorInstance
• Conveniences for unit
• A hex view example
• functionComposition as a notation
• Notations
• flip, id and unit functions
• Begin assertions as functions
• Ord (that should have been named OrdInstance)

Adjustments & Fixes

• On CategoryInstance (various)
• Implement FunctorInstance on Either
• Improvements on type hints and type inference in general
• MonoidInstance is not implemented with static functions any more
• Fix bind on OutputBuffering

Full Changelog: v0.4...v0.5

v0.4

• Add StateMonad
• Add more list implementations
• Move things around for lists
• Add some notions of NonEmpty
• Start separating Data and Control
• Add OutputBuffering

Full Changelog: v0.3...v0.4

v0.3

• Clean up previous wrapper attempts
• Add simple memoization function
• Add general categorical definitions
• More fiddles!
• Silly benchmarks!
• Add Monoid typeclass
• Use \Closure instead of callable
• Improvements on type-hints and declarations (still needs work)
• Add a bad linked list implementation
• More and more notes and comments including a description for the white goal
• Add a missing semi-colon (;)
• Add some draft functions to work with generators
• Add safe function

Full Changelog: v0.2...v0.3

v0.2

• Add EqAssertions trait
• Add Contravariant type class
• Add Contravariant Wrapper
• Add some IO functions
• Improve do-notation (dn()).

Full Changelog: v0.1...v0.2

v0.1

Add two more highlights