summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Type/Equality.hs
Commit message (Expand)AuthorAgeFilesLines
* Revert "Specify kind variables for inferred kinds in base."wip/revert-MR3132Ben Gamari2020-05-091-20/+14
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-14/+20
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Do not rely on CUSKs in 'base'Vladislav Zavialov2019-09-301-2/+5
* 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-021-0/+5
* 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-221-4/+2
* 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-231-0/+25
* Type-indexed TypeableBen Gamari2017-02-181-0/+8
* Add @since annotations to base instancesSeraphime Kirkovski2016-06-061-0/+5
* Replace hand-written Bounded instances with derived onesRyan Scott2016-06-041-3/+1
* 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-261-8/+8
* Allow CallStacks to be frozenEric Seidel2015-12-231-1/+1
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-8/+8
* 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-111-15/+27
* Convert `/Since: .../` to new `@since ...` syntaxHerbert Valerio Riedel2014-12-161-2/+2
* Add -fwarn-unticked-promoted-constructors to -WallAustin Seipp2014-12-051-17/+17
* 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-311-9/+1
* Apply Gabor Lehel's suggestions.Richard Eisenberg2013-10-281-23/+14
* 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-091-25/+25
* 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-251-9/+16
* Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoningRichard Eisenberg2013-07-241-0/+99
View Lorry Controller Status