Add RULE for "map coerce = map" (#8767)
[packages/base.git] / GHC / TypeLits.hs
2014-01-29  Herbert Valerio... Add newline before two `/Since: 4.7.0.0/` occurences
2014-01-04  Gabor Greifadd 'Since' annotations and remove an unneeded import
2014-01-03  Iavor S. DiatchkiAdd functions to compare Nat and Symbol types for equality.
2013-11-01  Herbert Valerio... Add a couple of `/Since: 4.7.0.0/` annotations
2013-10-28  Richard EisenbergName changes and addition of gcastWith and (==) to...
2013-10-18  Simon Peyton JonesRemove now-unnecessary NOINLINE pragmas
2013-10-10  Iavor S. DiatchkiClean-up implementation of GHC.TypeLits.
2013-10-03  Iavor S. DiatchkiAdd fixity declaration for type-level functions.
2013-10-03  Iavor S. DiatchkiRename someSymVal to someSymbolVal
2013-10-03  Iavor S. DiatchkiRemove all but the basic operations on type-level literals.
2013-09-28  Herbert Valerio... Add `/Since: 4.7.0.0/` to new entities in fc904366
2013-09-28  Herbert Valerio... Drop redundant `{-# LANGUAGE #-}` pragmas
2013-09-24  Iavor S. DiatchkiAdd type functions (-) and ToNat1; Turn FromNat1 into...
2013-09-21  Herbert Valerio... Add Haddock `/Since: 4.6.0.0/` comments to symbols
2013-09-21  Herbert Valerio... Add Haddock `/Since: 4.7.0.0/` comments to new symbols
2013-09-08  Iavor S. DiatchkiRedo <= with a type synonym instead of a class, add...
2013-06-26  Gabor GreifCatch an illegal pragma and fix a typo
2013-06-11  Gabor GreifFix some typos
2013-05-31  Iavor S. DiatchkiRedo and cleanup the change replacing `unsafe*` with...
2013-05-30  Ian LynaghRevert "Add code to convert from representation types...
2013-05-30  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-05-27  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-05-27  Iavor S. DiatchkiAdd code to convert from representation types, to exist...
2013-02-05  Gabor Greiftypo
2013-01-25  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-25  Gabor Greiftypos
2013-01-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//packages...
2013-01-08  Simon Peyton JonesComment out IsEven, isEven, and friends, because the...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/packages...
2012-12-22  Iavor S. DiatchkiAdd functions that compare singletons for equality...
2012-11-30  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-11-30  Gabor Greiftypo
2012-11-21  Gabor Greiftypo
2012-11-12  Iavor S. DiatchkiDeclare a family for subtraction.
2012-10-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-16  Iavor S. DiatchkiUpdate library to avoid using `Any` (also, replace...
2012-09-29  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master'
2012-09-29  Iavor S. DiatchkiAdd unary natural numbers to experiment on matching...
2012-09-09  Iavor S. DiatchkiAdd missing instances for (<=)
2012-06-07  Simon Peyton JonesMake Sing kind-polymorphic
2012-05-12  Iavor S. DiatchkiUpdate to support singleton types with custom implement...
2012-05-11  Iavor S. DiatchkiModify 'SingRep' to support arbitrary singleton types.
2012-05-01  Iavor S. DiatchkiAdd a type-family for comparing numbers.
2012-04-09  Iavor S. DiatchkiRewrite to use just one notion of singletons.
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-22  Iavor S. DiatchkiRevert IsEven to the way it was.
2012-03-22  Iavor S. DiatchkiFix the type of IsEven
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiAdd some useful functions for working with type literals.
2012-03-18  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14  Iavor S. DiatchkiMerge branch 'master' into type-nats
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25  Iavor S. DiatchkiRename GHC.TypeNats to GHC.TypeList, cleanup, add type...