All Versions
32
Latest Version
Avg Release Cycle
66 days
Latest Release
1805 days ago
Changelog History
Page 1
Changelog History
Page 1
-
v0.7.2 Changes
March 09, 2020- ๐ Fixes #44 infinite loop due to boxed equality
-
v0.7.1 Changes
February 06, 2020 -
v0.7 Changes
August 26, 2019- Require KnownNat constraints when solving with constants
-
v0.6.2 Changes
July 10, 2018- โ Add support for GHC 8.6.1-alpha1
- Solve larger inequalities from smaller inequalities, e.g.
a <= n
impliesa <= n + 1
-
v0.6.1 Changes
May 09, 2018- Stop solving
x + y ~ a + b
by asking GHC to solvex ~ a
andy ~ b
as this leads to a situation where we find a solution that is not the most general. - Stop using the smallest solution to an inequality to solve an equality, as this leads to finding solutions that are not the most general.
- Solve smaller inequalities from larger inequalities, e.g.
1 <= 2*x
implies1 <= x
x + 2 <= y
impliesx <= y
and2 <= y
- Stop solving
-
v0.6 Changes
April 23, 2018- Solving constraints with
a-b
will emitb <= a
constraints. e.g. solvingn-1+1 ~ n
will emit a1 <= n
constraint.- If you need subtraction to be treated as addition with a negated operarand
run with
-fplugin-opt GHC.TypeLits.Normalise:allow-negated-numbers
, and theb <= a
constraint won't be emitted. Note that doing so can lead to unsound behaviour.
- If you need subtraction to be treated as addition with a negated operarand
run with
- Try to solve equalities using smallest solution of inequalities:
- Solve
x + 1 ~ y
using1 <= y
=>x + 1 ~ 1
=>x ~ 0
- Solve
- Solve inequalities using simple transitivity rules:
2 <= x
implies1 <= x
x <= 9
impliesx <= 10
- Solve inequalities using simple monotonicity of addition rules:
2 <= x
implies2 + 2*x <= 3*x
- Solve inequalities using simple monotonicity of multiplication rules:
1 <= x
implies1 <= 3*x
- Solve inequalities using simple monotonicity of exponentiation rules:
1 <= x
implies2 <= 2^x
- Solve inequalities using powers of 2 and monotonicity of exponentiation:
2 <= x
implies2^(2 + 2*x) <= 2^(3*x)
- Solving constraints with
-
v0.5.10 Changes
April 15, 2018- โ Add support for GHC 8.5.20180306
-
v0.5.9 Changes
March 17, 2018- โ Add support for GHC 8.4.1
-
v0.5.8 Changes
January 04, 2018- โ Add support for GHC 8.4.1-alpha1
-
v0.5.7 Changes
November 07, 2017- Solve inequalities such as:
1 <= a + 3
- Solve inequalities such as: