diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-15 11:51:28 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-15 11:53:06 +0000 |
commit | 8c91fed6a96ef33c919c50fa5115b65a56f5b1d6 (patch) | |
tree | 13d3fd855b7fa19f105505191b10a5cb1eac7ae7 | |
parent | 5402da9c030b96da4877dbae957ea5fddba4aad3 (diff) | |
download | haskell-wip/template-haskell-docs.tar.gz |
Expand documentation for MulArrowT constructorwip/template-haskell-docs
Fixes #20812
-rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index 6991d77227..fd03edb872 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs @@ -2648,7 +2648,9 @@ data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ct | UnboxedTupleT Int -- ^ @(\#,\#), (\#,,\#), etc.@ | UnboxedSumT SumArity -- ^ @(\#|\#), (\#||\#), etc.@ | ArrowT -- ^ @->@ - | MulArrowT -- ^ @FUN@ + | MulArrowT -- ^ @%n ->@ + -- + -- Generalised arrow type with multiplicity argument | EqualityT -- ^ @~@ | ListT -- ^ @[]@ | PromotedTupleT Int -- ^ @'(), '(,), '(,,), etc.@ |