summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
Commit message (Expand)AuthorAgeFilesLines
* Use TemplateHaskellQuotes in TH.Syntax to construct NamesOleg Grenrus2023-05-051-25/+14
* docs: Update template-haskell docs to use Code Q a rather than Q (TExp a)Matthew Pickering2023-04-151-37/+41
* Allow generation of TTH syntax with THOleg Grenrus2023-04-121-0/+2
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-011-10/+13
* Improve haddocks of template-haskell Con datatypesheaf2023-04-011-11/+27
* Handle records in the renamersheaf2023-03-291-9/+38
* Add Lift instance for Fixedparsonsmatt2023-02-101-0/+10
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-0/+4
* Handle type data declarations in Template Haskell quotations and splices (fix...Ross Paterson2022-12-031-0/+3
* Add Javascript backendSylvain Henry2022-11-291-0/+1
* Assorted fixes to avoid Data.List.{head,tail}Bodigrim2022-11-251-2/+3
* template-haskell: Improve documentation of strictness annotation typesTeo Camarasu2022-10-211-6/+18
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-3/+6
* Export liftA2 from PreludeGeorgi Lyubenov2022-09-081-2/+2
* Repair dead link in TH haddocksHécate Moonlight2022-06-161-0/+4
* Deprecate TypeInType extensionHaskellMouse2022-06-061-1/+1
* Language.Haskell.Syntax: Fix docs for PromotedConsT etc.Shlomo Shuck2022-06-011-6/+6
* Add a note about instance visibility across component boundariesparsonsmatt2022-04-301-3/+16
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-0/+2
* Add instance Lift ByteArrayBodigrim2022-03-251-1/+57
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+1
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+1
* template-haskell: fix docstring for BytesTeo Camarasu2022-02-281-0/+1
* template-haskell: fix typo in docstring for OverlapTeo Camarasu2022-02-281-1/+1
* Document that reifyRoles includes kind parametersRichard Eisenberg2022-02-081-1/+13
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+0
* Multiple Home UnitsMatthew Pickering2021-12-281-0/+25
* Expand documentation for MulArrowT constructorMatthew Pickering2021-12-171-1/+3
* Add PromotedInfixT/PromotedUInfixT to THJakob Brünker2021-12-111-33/+39
* Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)Zubin Duggal2021-11-201-1/+1
* Handle OverloadedRecordDot in TH (#20185)Zubin Duggal2021-08-031-0/+2
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-021-0/+4
* template-haskell: Add support for default declarationsMario Blažević2021-07-211-0/+1
* Reword: representation instead of levitysheaf2021-06-101-4/+4
* Apply 2 suggestion(s) to 1 file(s)parsonsmatt2021-05-291-2/+2
* Address review comments, export from THparsonsmatt2021-05-291-1/+4
* Add `newDeclarationGroup` and provide documentation in reifyInstances and isI...parsonsmatt2021-05-291-0/+62
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-0/+44
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+8
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-8/+0
* Implement BoxedRep proposalAndrew Martin2020-12-141-0/+8
* Implement type applications in patternsCale Gibbard2020-12-141-2/+2
* Make CodeQ and TExpQ levity polymorphicRyan Scott2020-08-051-0/+2
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-51/+108
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-2/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+4
* Fix #12073: Add MonadFix Q instanceOleg Grenrus2020-06-131-0/+22
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1