summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Type
Commit message (Expand)AuthorAgeFilesLines
* Revert "Specify kind variables for inferred kinds in base."wip/revert-MR3132Ben Gamari2020-05-092-44/+31
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-082-31/+44
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Do not rely on CUSKs in 'base'Vladislav Zavialov2019-09-301-2/+5
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+1
* Doc-only fixesAlec Theriault2018-11-221-2/+2
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-24/+0
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-2/+2
* Add @since annotations for derived instances in baseChaitanya Koparkar2018-03-022-0/+10
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-281-2/+1
* Typeable: Allow App to match arrow typesBen Gamari2017-09-211-1/+1
* base: Enable TypeInType in Data.Type.EqualityBen Gamari2017-09-161-0/+1
* Simplify Data.Type.Equality.==David Feuer2017-09-131-159/+42
* Make the Read instance for Proxy (and friends) ignore precedenceRyan Scott2017-08-222-6/+3
* Add fixity declaration for :~~:Ryan Scott2017-06-191-1/+1
* Typofix in Data.Type.Equality commentsRyan Scott2017-06-181-1/+1
* Add instances for (:~~:) mirroring those for (:~:)Ryan Scott2017-02-232-0/+29
* Type-indexed TypeableBen Gamari2017-02-181-0/+8
* Add gcoerceWith to Data.Type.CoercionRyan Scott2016-08-181-0/+8
* Added type family dependency to Data.Type.Bool.NotBaldur Blöndal2016-07-141-5/+6
* Add @since annotations to base instancesSeraphime Kirkovski2016-06-062-0/+10
* Replace hand-written Bounded instances with derived onesRyan Scott2016-06-042-6/+2
* base: Mark Data.Type.Equality as TrustworthyBen Gamari2016-02-291-0/+1
* Typos in comments, etc.Gabor Greif2016-02-261-1/+1
* Remove extraneous fundeps on (~)Richard Eisenberg2016-02-171-1/+5
* Split off -Wunused-type-variables from -Wunused-matchesRyanGlScott2016-01-262-14/+14
* Allow CallStacks to be frozenEric Seidel2015-12-232-2/+2
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-212-14/+14
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-7/+6
* Comments on equality types and classesSimon Peyton Jones2015-12-151-5/+15
* Add kind equalities to GHC.Richard Eisenberg2015-12-112-21/+31
* Convert `/Since: .../` to new `@since ...` syntaxHerbert Valerio Riedel2014-12-163-5/+5
* Add -fwarn-unticked-promoted-constructors to -WallAustin Seipp2014-12-052-33/+31
* Improve Safe Haskell bounds for changes to base over timeDavid Terei2014-11-211-1/+2
* Add comments about instances of type-level (==).Richard Eisenberg2014-06-111-0/+55
* Add new module Data.Type.Bool, defining &&, || and Not.Richard Eisenberg2013-10-312-9/+57
* Apply Gabor Lehel's suggestions.Richard Eisenberg2013-10-282-30/+21
* Name change `CoercionT` to `CoercionType`, and addition of `repr`.Richard Eisenberg2013-10-281-7/+12
* Name changes and addition of gcastWith and (==) to Data.Type.Equality.Richard Eisenberg2013-10-281-15/+151
* Rename (:=:) to (:~:) and add Data.Type.CoercionEdward Kmett2013-10-092-25/+121
* Drop redundant `{-# LANGUAGE #-}` pragmasHerbert Valerio Riedel2013-09-281-1/+0
* Add Haddock `/Since: 4.7.0.0/` comments to new symbolsHerbert Valerio Riedel2013-09-211-0/+3
* Eliminate Equality.hs-boot and Proxy.hs-boot by moving instancesRichard Eisenberg2013-07-252-15/+16
* Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoningRichard Eisenberg2013-07-242-0/+105
View Lorry Controller Status