Changelog for kind-rational-0.3
Version 0.3
-
COMPILER ASSISTED BREAKING CHANGE:
TestEquality
andTestCoercion
don'tNormalize
inputs before making a decision anymore. -
BREAKING CHANGE: The
Rational
insideSRational
is not automatically normalized anymore. This is so thatSDecide
,TestEquality
andTestCoercion
behave as expected, treating1/2
differently than2/4
, for example. This is mostly an internal change, but it can be observed in theShow
instance forSRational
, for example. -
Added role annotations to
SRational
. -
Add dependency on
singletons
so that we can give aSing
andSDecide
instances for type-levelRational
s. -
Export
fromSRational'
.
Version 0.2
-
COMPILER ASSISTED BREAKING CHANGE: Removed
Mod
,DivMod
,mod
,divMod
. -
COMPILER ASSISTED BREAKING CHANGE: Renamed
Dif
toRem
,DivDif
toDivRem
,mod
torem
,divDif
todivRem
.
Version 0.1
- Initial version.