Changelog for kind-integer-0.5
Version 0.5
-
COMPILER ASSISTED BREAKING CHANGE:
integerVal
,someIntegerVal
,fromSInteger
andwithSomeSInteger
now deal withKindInteger
'sInteger
s, rather thanPrelude
'sInteger
s. -
COMPILER ASSISTED BREAKING CHANGE: Removed
fromSInteger'
. -
Added
SingI
andSingKind
instances.
Version 0.4
-
COMPILER ASSISTED BREAKING CHANGE:
TestEquality
andTestCoercion
considerN 0
andP 0
to be different. -
BREAKING CHANGE: The
Integer
insideSInteger
s is not automatically normalized anymore. This is so thatSDecide
,TestEquality
andTestCoercion
behave as expected, treatingN 0
andP 0
differently. This is mostly an internal change, but it can be observed in theShow
instance forSInteger
, for example. -
Added role annotations to
SInteger
. -
Add dependency on
singletons
so that we can give aSing
andSDecide
instances for type-levelInteger
s. -
Export
fromSInteger'
,eqIntegerRep
.
Version 0.3
- COMPILER ASSISTED BREAKING CHANGE: Renamed
Mod
toRem
,DivMod
toDivRem
,mod
torem
,divMod
todivRem
.
Version 0.2
-
COMPILER ASSISTED BREAKING CHANGE: Removed
Div
,Mod
,Quote
andRem
in favour of more polymorphicDiv
,Mod
. -
COMPILER ASSISTED BREAKING CHANGE: Removed
integerVal'
. Nothing wrong with it, just redundant. -
Export
Sign
,Abs
,GCD
,LCM
,Odd
,Even
,toPrelude
,fromPrelude
,showsPrecTypeLit
,div
,mod
,divMod
,DivMod
. -
Add
Eq
,Ord
,Show
,Read
instances forInteger
. -
Minor cabal and documentation improvements.
Version 0.1
- Initial version.