summaryrefslogtreecommitdiff
path: root/libraries/base/GHC/TypeLits.hs
Commit message (Expand)AuthorAgeFilesLines
* Move IP, Symbol, Nat to ghc-primSimon Peyton Jones2015-05-011-8/+2
* Convert `/Since: .../` to new `@since ...` syntaxHerbert Valerio Riedel2014-12-161-16/+16
* Add -fwarn-unticked-promoted-constructors to -WallAustin Seipp2014-12-051-5/+5
* Improve Safe Haskell bounds for changes to base over timeDavid Terei2014-11-211-0/+1
* base: replace ver 4.7.1.0 references by 4.8.0.0Herbert Valerio Riedel2014-09-091-2/+2
* Update the incorrect comment on when function was introduced.Iavor S. Diatchki2014-06-161-2/+2
* Implement `Typeable` support for type-level literals (#8778).Iavor S. Diatchki2014-06-141-4/+15
* Express OPTIONS_GHC as LANGUAGE pragmasHerbert Valerio Riedel2014-05-151-1/+2
* TypoJose Pedro Magalhaes2014-04-011-1/+1
* add /Since/ annotationHerbert Valerio Riedel2014-03-271-0/+4
* Comments only.Iavor S. Diatchki2014-03-231-3/+6
* Add functions for comparing type-level Nats and Symbols.Iavor S. Diatchki2014-03-181-2/+9
* Add newline before two `/Since: 4.7.0.0/` occurencesHerbert Valerio Riedel2014-01-291-0/+2
* add 'Since' annotations and remove an unneeded importGabor Greif2014-01-041-1/+3
* Add functions to compare Nat and Symbol types for equality.Iavor S. Diatchki2014-01-031-1/+22
* Add a couple of `/Since: 4.7.0.0/` annotationsHerbert Valerio Riedel2013-11-011-0/+12
* Name changes and addition of gcastWith and (==) to Data.Type.Equality.Richard Eisenberg2013-10-281-1/+12
* Remove now-unnecessary NOINLINE pragmasSimon Peyton Jones2013-10-181-2/+0
* Clean-up implementation of GHC.TypeLits.Iavor S. Diatchki2013-10-091-50/+34
* Add fixity declaration for type-level functions.Iavor S. Diatchki2013-10-031-0/+5
* Rename someSymVal to someSymbolValIavor S. Diatchki2013-10-031-4/+4
* Remove all but the basic operations on type-level literals.Iavor S. Diatchki2013-10-031-281/+97
* Add `/Since: 4.7.0.0/` to new entities in fc904366Herbert Valerio Riedel2013-09-281-0/+3
* Drop redundant `{-# LANGUAGE #-}` pragmasHerbert Valerio Riedel2013-09-281-1/+0
* Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.Iavor S. Diatchki2013-09-241-6/+11
* Add Haddock `/Since: 4.6.0.0/` comments to symbolsHerbert Valerio Riedel2013-09-211-1/+4
* Add Haddock `/Since: 4.7.0.0/` comments to new symbolsHerbert Valerio Riedel2013-09-211-0/+2
* Redo <= with a type synonym instead of a class, add instance for boolean sing...Iavor S. Diatchki2013-09-081-8/+27
* Catch an illegal pragma and fix a typoGabor Greif2013-06-271-2/+2
* Fix some typosGabor Greif2013-06-111-2/+2
* Redo and cleanup the change replacing `unsafe*` with `toSing`Iavor S. Diatchki2013-05-301-26/+92
* Revert "Add code to convert from representation types, to existentially quant...Ian Lynagh2013-05-311-94/+26
* Add code to convert from representation types, to existentially quantified si...Iavor S. Diatchki2013-05-271-26/+94
* typoGabor Greif2013-02-051-1/+1
* typosGabor Greif2013-01-251-2/+2
* Comment out IsEven, isEven, and friends, because the type is ambiguousSimon Peyton Jones2013-01-081-4/+12
* Add functions that compare singletons for equality (with evidence)Iavor S. Diatchki2012-12-221-0/+40
* typoGabor Greif2012-11-301-1/+1
* typoGabor Greif2012-11-211-1/+1
* Declare a family for subtraction.Iavor S. Diatchki2012-11-111-0/+5
* Update library to avoid using `Any` (also, replace fun-dep with type fam.)Iavor S. Diatchki2012-10-151-22/+33
* Add unary natural numbers to experiment on matching with literals.Iavor S. Diatchki2012-09-291-1/+15
* Add missing instances for (<=)Iavor S. Diatchki2012-09-091-1/+2
* Make Sing kind-polymorphicSimon Peyton Jones2012-06-071-1/+1
* Update to support singleton types with custom implementations.Iavor S. Diatchki2012-05-121-37/+62
* Modify 'SingRep' to support arbitrary singleton types.Iavor S. Diatchki2012-05-111-8/+25
* Add a type-family for comparing numbers.Iavor S. Diatchki2012-04-301-1/+3
* Rewrite to use just one notion of singletons.Iavor S. Diatchki2012-04-081-94/+46
* Revert IsEven to the way it was.Iavor S. Diatchki2012-03-221-2/+2
* Fix the type of IsEvenIavor S. Diatchki2012-03-211-2/+2
View Lorry Controller Status