summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Typeable/Internal.hs
Commit message (Expand)AuthorAgeFilesLines
* Detect TypeError when checking for insolubilitysheaf2021-08-151-27/+17
* Add pattern TypeRep (#19691), exported by Type.Reflection.Baldur Blöndal2021-05-191-5/+51
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-6/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-10/+56
* The Char kind (#11342)Daniel Rogozin2021-02-061-2/+11
* Fix accidental unsoundness in Data.Typeable.Internal.mkTypeLitFromStringRyan Scott2021-02-011-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-72/+26
* Implement BoxedRep proposalAndrew Martin2020-12-141-26/+72
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-4/+4
* Unification of Nat and NaturalsHaskellMouse2020-10-131-1/+1
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-5/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-24/+33
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-1/+1
* Do not rely on CUSKs in 'base'Vladislav Zavialov2019-09-301-1/+3
* Create {Int,Word}32RepJohn Ericson2019-07-171-0/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-0/+2
* Add Int8# and Word8#Michal Terepeta2018-11-021-1/+3
* Typeable: Only render saturated tuple types with tuple syntaxBen Gamari2018-10-151-1/+5
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-3/+1
* Add Int8# and Word8#Michal Terepeta2018-10-071-1/+3
* Warn about implicit kind variables with -WcompatVladislav Zavialov2018-06-161-4/+5
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+0
* Fix #15236 by removing parentheses from funTyConNameRyan Scott2018-06-071-4/+26
* Get eqTypeRep to inlineDavid Feuer2018-02-151-3/+11
* Make the Con and Con' patterns produce evidenceDavid Feuer2017-12-041-13/+56
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-011-40/+160
* Name TypeRep constructor fieldsDavid Feuer2017-11-021-44/+88
* Re-apply "Typeable: Allow App to match arrow types"Simon Peyton Jones2017-10-121-6/+68
* Document Typeable's treatment of kind polymorphic tyconsBen Gamari2017-09-251-0/+53
* Revert "Typeable: Allow App to match arrow types"Herbert Valerio Riedel2017-09-241-68/+6
* Typeable: Generalize kind of represented typeBen Gamari2017-09-211-2/+3
* Typeable: Allow App to match arrow typesBen Gamari2017-09-211-6/+72
* Better document TypeRep patternsBen Gamari2017-09-131-1/+27
* Typeable: Always use UTF-8 string unpacking primitiveBen Gamari2017-07-181-6/+6
* base: Fix a few TODOs in Typeable.InternalBen Gamari2017-05-231-6/+4
* Typeable: Fix remaining typeRepX referencdsBen Gamari2017-03-131-10/+10
* Data.Typeable: Export splitTyConApp, typeRepArgs, and typeRepTyConBen Gamari2017-03-091-0/+2
* Add COMPLETE pragmas for TypeRep and ErrorCall pattern synonymsRyan Scott2017-02-281-0/+3
* base: Expose Module from Type.ReflectionBen Gamari2017-02-281-1/+1
* A number of Typeable wibbles from reviewBen Gamari2017-02-201-5/+5
* Type-indexed TypeableBen Gamari2017-02-181-249/+487
* Introduce GHC.TypeNats module, change KnownNat evidence to be NaturalOleg Grenrus2017-02-011-1/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-6/+3
* Remove tyConStringDavid Feuer2017-01-101-7/+1
* Add @since annotations to base instancesSeraphime Kirkovski2016-06-061-0/+3
* base: Fix haddock typoBen Gamari2016-03-291-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-15/+13
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-75/+19
View Lorry Controller Status