| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add decideSymbol, decideChar, decideNat, decTypeRep, decT and hdecT | Oleg Grenrus | 2023-03-04 | 1 | -0/+20 |
| * | Add heqT, a kind-heterogeneous variant of heq | Oleg Grenrus | 2022-12-11 | 1 | -2/+10 |
| * | Make modules in base stable. | Hécate Moonlight | 2022-02-28 | 1 | -1/+1 |
| * | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -0/+2 |
| * | Revert "Implement BoxedRep proposal" | Ben Gamari | 2020-12-15 | 1 | -2/+0 |
| * | Implement BoxedRep proposal | Andrew Martin | 2020-12-14 | 1 | -0/+2 |
| * | Remove all the unnecessary LANGUAGE pragmas | Hécate | 2020-08-05 | 1 | -3/+2 |
| * | base: Document the fact that Typeable is automatically "derived" | Ben Gamari | 2019-10-08 | 1 | -0/+4 |
| * | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 1 | -1/+1 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -12/+14 |
| * | Remove the deprecated Typeable{1..7} type synonyms | Ryan Scott | 2017-08-05 | 1 | -18/+0 |
| * | base: Fix erroneous reference to Data.Reflection in documentation | Ben Gamari | 2017-04-10 | 1 | -1/+1 |
| * | Typeable: Fix remaining typeRepX referencds | Ben Gamari | 2017-03-13 | 1 | -11/+11 |
| * | Make exports from Data.Typeable and Type.Reflection consistent | Ryan Scott | 2017-03-13 | 1 | -3/+10 |
| * | Data.Typeable: Export splitTyConApp, typeRepArgs, and typeRepTyCon | Ben Gamari | 2017-03-09 | 1 | -8/+18 |
| * | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 1 | -68/+164 |
| * | Remove tyConString | David Feuer | 2017-01-10 | 1 | -1/+0 |
| * | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -2/+3 |
| * | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -3/+2 |
| * | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -2/+3 |
| * | Rename ty{Con,peRep}Hash to ty{Con,peRep}Fingerprint | Herbert Valerio Riedel | 2015-03-11 | 1 | -2/+2 |
| * | Add public rnf/hash operations to TypeRep/TyCon | Herbert Valerio Riedel | 2015-03-05 | 1 | -0/+4 |
| * | Convert `/Since: .../` to new `@since ...` syntax | Herbert Valerio Riedel | 2014-12-16 | 1 | -1/+1 |
| * | Be consistent with placement of Safe Haskell mode at top of file | David Terei | 2014-11-21 | 1 | -1/+1 |
| * | Drop deprecated `OverlappingInstances` from base | Herbert Valerio Riedel | 2014-10-31 | 1 | -16/+5 |
| * | Tweak Haddock markup in Data.Typeable | Herbert Valerio Riedel | 2014-02-25 | 1 | -2/+4 |
| * | Provide Typeable1..7 as type synonyms (see #8813) | Jose Pedro Magalhaes | 2014-02-25 | 1 | -0/+7 |
| * | Add a couple of `/Since: 4.7.0.0/` annotations | Herbert Valerio Riedel | 2013-11-01 | 1 | -0/+2 |
| * | Changed export list to create better haddock. Added eqT to exports. | Richard Eisenberg | 2013-10-28 | 1 | -6/+4 |
| * | Rename (:=:) to (:~:) and add Data.Type.Coercion | Edward Kmett | 2013-10-09 | 1 | -5/+5 |
| * | Drop redundant `{-# LANGUAGE #-}` pragmas | Herbert Valerio Riedel | 2013-09-28 | 1 | -1/+0 |
| * | Define typeRep in terms of new Proxy# | Austin Seipp | 2013-09-27 | 1 | -1/+3 |
| * | Constant-fold `__GLASGOW_HASKELL__` CPP conditionals | Herbert Valerio Riedel | 2013-09-17 | 1 | -2/+1 |
| * | Eliminate Equality.hs-boot and Proxy.hs-boot by moving instances | Richard Eisenberg | 2013-07-25 | 1 | -1/+1 |
| * | Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning | Richard Eisenberg | 2013-07-24 | 1 | -17/+25 |
| * | Re-jig SOURCE imports | Simon Peyton Jones | 2013-06-06 | 1 | -6/+2 |
| * | Export Proxy from Data.Typeable | Jose Pedro Magalhaes | 2013-02-12 | 1 | -0/+3 |
| * | Implement poly-kinded Typeable | Jose Pedro Magalhaes | 2013-02-12 | 1 | -125/+35 |
| * | Remove commented types in module export lists | Ian Lynagh | 2012-10-27 | 1 | -32/+32 |
| * | Re-export Fingerprint in Data.Typeable.Internal. | Paolo Capriotti | 2012-06-05 | 1 | -1/+0 |
| * | export tyConName, tyConModule and tyConPackage; deprecate tyConString | Simon Marlow | 2011-11-09 | 1 | -0/+3 |
| * | Make Typeable safe now that handcrafted instances aren't allowed. | David Terei | 2011-07-20 | 1 | -0/+1 |
| * | DEPRECATE typeRepKey | Simon Marlow | 2011-07-18 | 1 | -9/+5 |
| * | In the deprecation warning for mkTyCon, suggest deriving Typeable. | Simon Marlow | 2011-07-11 | 1 | -1/+1 |
| * | fix warnings (including moving things around to avoid orphan | Simon Marlow | 2011-07-11 | 1 | -478/+2 |
| * | Typeable overhaul (see #5275) | Simon Marlow | 2011-07-11 | 1 | -132/+46 |
| * | SafeHaskell: Added SafeHaskell to base | David Terei | 2011-06-18 | 1 | -1/+1 |
| * | For GHC, implement the Typeable.hs macros using standalone deriving | Ian Lynagh | 2011-04-24 | 1 | -1/+31 |
| * | Use explicit language extensions & remove extension fields from base.cabal | simonpj@microsoft.com | 2011-01-28 | 1 | -1/+8 |
| * | Remove redundant imports, now that NoImplicitPrelude does not imply Rebindabl... | simonpj@microsoft.com | 2010-10-22 | 1 | -1/+1 |
