| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix ambiguous/out-of-scope Haddock identifiers | Alec Theriault | 2018-08-21 | 1 | -1/+1 |
* | Implement Div, Mod, and Log for type-level nats. | Iavor Diatchki | 2017-10-03 | 1 | -0/+1 |
* | Simplify Data.Type.Equality.== | David Feuer | 2017-09-13 | 1 | -8/+2 |
* | Reexport CmpNat and friends (defined in GHC.TypeNats) from GHC.TypeLits | Ryan Scott | 2017-03-04 | 1 | -35/+2 |
* | Spelling fixes | Gabor Greif | 2017-02-02 | 1 | -1/+1 |
* | Introduce GHC.TypeNats module, change KnownNat evidence to be Natural | Oleg Grenrus | 2017-02-01 | 1 | -66/+12 |
* | Add 'type family (m :: Symbol) <> (n :: Symbol)' | Oleg Grenrus | 2017-01-20 | 1 | -0/+5 |
* | Add @since annotations to base instances | Seraphime Kirkovski | 2016-06-06 | 1 | -0/+8 |
* | Fix haddocks for TypeError | Ben Gamari | 2016-02-07 | 1 | -4/+4 |
* | Split off -Wunused-type-variables from -Wunused-matches | RyanGlScott | 2016-01-26 | 1 | -4/+4 |
* | Warn about unused type variables in type families | Michał Sośnicki | 2015-12-21 | 1 | -4/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -2/+0 |
* | base: Documentation for TypeError | Ben Gamari | 2015-11-18 | 1 | -0/+26 |
* | Implement support for user-defined type errors. | Iavor S. Diatchki | 2015-11-16 | 1 | -0/+27 |
* | Move IP, Symbol, Nat to ghc-prim | Simon Peyton Jones | 2015-05-01 | 1 | -8/+2 |
* | Convert `/Since: .../` to new `@since ...` syntax | Herbert Valerio Riedel | 2014-12-16 | 1 | -16/+16 |
* | Add -fwarn-unticked-promoted-constructors to -Wall | Austin Seipp | 2014-12-05 | 1 | -5/+5 |
* | Improve Safe Haskell bounds for changes to base over time | David Terei | 2014-11-21 | 1 | -0/+1 |
* | base: replace ver 4.7.1.0 references by 4.8.0.0 | Herbert Valerio Riedel | 2014-09-09 | 1 | -2/+2 |
* | Update the incorrect comment on when function was introduced. | Iavor S. Diatchki | 2014-06-16 | 1 | -2/+2 |
* | Implement `Typeable` support for type-level literals (#8778). | Iavor S. Diatchki | 2014-06-14 | 1 | -4/+15 |
* | Express OPTIONS_GHC as LANGUAGE pragmas | Herbert Valerio Riedel | 2014-05-15 | 1 | -1/+2 |
* | Typo | Jose Pedro Magalhaes | 2014-04-01 | 1 | -1/+1 |
* | add /Since/ annotation | Herbert Valerio Riedel | 2014-03-27 | 1 | -0/+4 |
* | Comments only. | Iavor S. Diatchki | 2014-03-23 | 1 | -3/+6 |
* | Add functions for comparing type-level Nats and Symbols. | Iavor S. Diatchki | 2014-03-18 | 1 | -2/+9 |
* | Add newline before two `/Since: 4.7.0.0/` occurences | Herbert Valerio Riedel | 2014-01-29 | 1 | -0/+2 |
* | add 'Since' annotations and remove an unneeded import | Gabor Greif | 2014-01-04 | 1 | -1/+3 |
* | Add functions to compare Nat and Symbol types for equality. | Iavor S. Diatchki | 2014-01-03 | 1 | -1/+22 |
* | Add a couple of `/Since: 4.7.0.0/` annotations | Herbert Valerio Riedel | 2013-11-01 | 1 | -0/+12 |
* | Name changes and addition of gcastWith and (==) to Data.Type.Equality. | Richard Eisenberg | 2013-10-28 | 1 | -1/+12 |
* | Remove now-unnecessary NOINLINE pragmas | Simon Peyton Jones | 2013-10-18 | 1 | -2/+0 |
* | Clean-up implementation of GHC.TypeLits. | Iavor S. Diatchki | 2013-10-09 | 1 | -50/+34 |
* | Add fixity declaration for type-level functions. | Iavor S. Diatchki | 2013-10-03 | 1 | -0/+5 |
* | Rename someSymVal to someSymbolVal | Iavor S. Diatchki | 2013-10-03 | 1 | -4/+4 |
* | Remove all but the basic operations on type-level literals. | Iavor S. Diatchki | 2013-10-03 | 1 | -281/+97 |
* | Add `/Since: 4.7.0.0/` to new entities in fc904366 | Herbert Valerio Riedel | 2013-09-28 | 1 | -0/+3 |
* | Drop redundant `{-# LANGUAGE #-}` pragmas | Herbert Valerio Riedel | 2013-09-28 | 1 | -1/+0 |
* | Add type functions (-) and ToNat1; Turn FromNat1 into a closed family. | Iavor S. Diatchki | 2013-09-24 | 1 | -6/+11 |
* | Add Haddock `/Since: 4.6.0.0/` comments to symbols | Herbert Valerio Riedel | 2013-09-21 | 1 | -1/+4 |
* | Add Haddock `/Since: 4.7.0.0/` comments to new symbols | Herbert Valerio Riedel | 2013-09-21 | 1 | -0/+2 |
* | Redo <= with a type synonym instead of a class, add instance for boolean sing... | Iavor S. Diatchki | 2013-09-08 | 1 | -8/+27 |
* | Catch an illegal pragma and fix a typo | Gabor Greif | 2013-06-27 | 1 | -2/+2 |
* | Fix some typos | Gabor Greif | 2013-06-11 | 1 | -2/+2 |
* | Redo and cleanup the change replacing `unsafe*` with `toSing` | Iavor S. Diatchki | 2013-05-30 | 1 | -26/+92 |
* | Revert "Add code to convert from representation types, to existentially quant... | Ian Lynagh | 2013-05-31 | 1 | -94/+26 |
* | Add code to convert from representation types, to existentially quantified si... | Iavor S. Diatchki | 2013-05-27 | 1 | -26/+94 |
* | typo | Gabor Greif | 2013-02-05 | 1 | -1/+1 |
* | typos | Gabor Greif | 2013-01-25 | 1 | -2/+2 |
* | Comment out IsEven, isEven, and friends, because the type is ambiguous | Simon Peyton Jones | 2013-01-08 | 1 | -4/+12 |