numhask-0.13.3.0: ChangeLog.md

0.13.3.0
===

- Added `Read` instance for `Polar` in `NumHask.Algebra.Metric`.
- Added `NumHask.Algebra.Tropical` with the `MinPlus` tropical semiring.
- Added `StarSemiring` and `KleeneAlgebra` instances for `Bool`.
- Added `Magma`, `Unital` and `Idempotent` instances for `Bool`.
- Documented `StarSemiring` and `KleeneAlgebra` laws with the Conway equations.

0.13.2.1
===

- removed doctest-parallel test suite, use cabal-docspec in CI instead
- updated CI to use cabal-docspec 0.0.0.20250606

0.13.2
===

- GHC 9.14.1 support
- simplified Cabal stanzas to best practice template
- fixed asinh bug in Field module

0.13.1
===

- added Data instances


0.13
===

- added modF, divF and divModF as field versions of modulo and diviso Integral functions.
- fixed bug in EuclideanPair log function.
- BoundedJoinSemiLattice becomes LowerBounded
- BoundedMeetSemiLattice becomes UpperBounded
- switch to GHC2024

0.12.1
===

- added doctests

0.12
===

- added SemiField, and bumped QuotientField to default for Subtraction.

- moved infinity & nqn to SemiField, from Field.

- introduced NumHask.Data.Positive

- introduced NumHask.Data.Wrapped

- Monus & Addus

- hiding Prelude.Rational

0.11.1.0
===
* Added Sum (..)
* Added Product (..)

0.11.0.0
===

* TypeFamilies introduced replacing FunDep usage for QuotientField, AdditiveAction, MultiplicativeAction, Basis. Classes go from Multi-parameter to single.
* EuclideanPair introduced as an intended DerivingVia support for 2 dimensional Basis & Direction instances. 
* Complex modified to use EuclideanPair. Underlying representation changed to tuple and (+:) constructor as a top-level function.
* Action class operators changed from (.\*) to (|\*), and (\*.) to (\*|) etc.
* Ring, Field, Distributive & Module become type synonyms (were classes).
* Added Basis class replacing Norm & Signed
* extra type synonyms added for Basis specialisations: Absolute, Sign, EndoBased.
* abs becomes top-level function (previously method of Norm).
* sign removed and replaced with signum, mirroring Num.
* aboutEqual & nearZero moved outside Epsilon class definition.
* rationalised Language pragmas around GHC2021
* introduced QuotientField instance for Complex & EuclideanPair without Ord constraint.

0.10.0
===
* Moved operators back in.
* added doctests and properties
* added accsum & accproduct
* fixed Ratio Eq instance

0.9.0
===
* Removed bounded classes.
* Moved operators outside of class definitions where possible. 

0.8.0
=====

* GHC 9.0.1 support
* Removed protolude and replaced it with prelude
* Removed NumHask.Data.Positive, NumHask.Data.LogFloat, NumHask.Data.Wrapper
* modified project build to cabal
* removed NegativeLiterals recommendation.

0.7.0
=====

* GHC 8.10.2 support
* Modules `NumHask.Algebra.Abstract.*` renamed to `NumHask.Algebra.*`
* Renamed `Normed` to `Norm` and added `basis`
* Removed `Metric` and added `distance`
* Added `Direction`, `Polar`, `polar`, `coord`; streamlined `Complex`
* Removed `NumHask.Data.Pair`
* Fixed `FromIntegral` and `FromRational` to work in well with rebindable syntax.
* Added fundeps to `Norm`, `Direction`
* Integrated `NumHask.Algebra.Action` into `NumHask.Algebra.Module`
* Added `atan2`
* Added doctests and laws
* Improved haddocks
* Made (^) a monomorphic `a -> Int -> a` and accept negative Ints


0.6.0
=====

* GHC 8.10.1 support