aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src/Quasiquoter.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-10-07 20:45:40 -0400
committerAlec Theriault <alec.theriault@gmail.com>2019-10-07 20:56:48 -0400
commitcdf4445a877428f5969f712a95830af38029b9a0 (patch)
treeb7b1dbe0a7410b1eec3176fe2904c0c25ee3cdd3 /hypsrc-test/ref/src/Quasiquoter.html
parent80b8a8a2525d4e4c60b7c9439a23ac47d9612802 (diff)
Add Hyperlinker test cases for TH-related stuff
Hopefully this will guard against regressions around quasiquotes, TH quotes, and TH splices.
Diffstat (limited to 'hypsrc-test/ref/src/Quasiquoter.html')
-rw-r--r--hypsrc-test/ref/src/Quasiquoter.html415
1 files changed, 415 insertions, 0 deletions
diff --git a/hypsrc-test/ref/src/Quasiquoter.html b/hypsrc-test/ref/src/Quasiquoter.html
new file mode 100644
index 00000000..ab631e8c
--- /dev/null
+++ b/hypsrc-test/ref/src/Quasiquoter.html
@@ -0,0 +1,415 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><link rel="stylesheet" type="text/css" href="style.css"
+ /><script type="text/javascript" src="highlight.js"
+ ></script
+ ></head
+ ><body
+ ><pre
+ ><span class="hs-keyword"
+ >module</span
+ ><span
+ > </span
+ ><span class="hs-identifier"
+ >Quasiquoter</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><a href="Quasiquoter.html#string"
+ ><span class="hs-identifier"
+ >string</span
+ ></a
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >where</span
+ ><span
+ >
+</span
+ ><span id="line-2"
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-3"
+ ></span
+ ><span class="hs-keyword"
+ >import</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-identifier"
+ >Language.Haskell.TH.Quote</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-4"
+ ></span
+ ><span class="hs-keyword"
+ >import</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-identifier"
+ >Language.Haskell.TH.Syntax</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-5"
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-6"
+ ></span
+ ><span class="hs-comment"
+ >-- | Quoter for constructing multiline string literals</span
+ ><span
+ >
+</span
+ ><span id="line-7"
+ ></span
+ ><span class="annot"
+ ><a href="Quasiquoter.html#string"
+ ><span class="hs-identifier hs-type"
+ >string</span
+ ></a
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-identifier hs-type"
+ >QuasiQuoter</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-8"
+ ></span
+ ><span id="string"
+ ><span class="annot"
+ ><span class="annottext"
+ >string :: QuasiQuoter
+</span
+ ><a href="Quasiquoter.html#string"
+ ><span class="hs-identifier hs-var hs-var"
+ >string</span
+ ></a
+ ></span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >QuasiQuoter :: (String -&gt; Q Exp)
+-&gt; (String -&gt; Q Pat)
+-&gt; (String -&gt; Q Type)
+-&gt; (String -&gt; Q [Dec])
+-&gt; QuasiQuoter
+</span
+ ><span class="hs-identifier hs-type hs-type"
+ >QuasiQuoter</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-9"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >{</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >quoteExp :: String -&gt; Q Exp
+</span
+ ><span class="hs-identifier hs-var"
+ >quoteExp</span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >Exp -&gt; Q Exp
+forall (f :: * -&gt; *) a. Applicative f =&gt; a -&gt; f a
+</span
+ ><span class="hs-identifier hs-var"
+ >pure</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >(Exp -&gt; Q Exp) -&gt; (String -&gt; Exp) -&gt; String -&gt; Q Exp
+forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
+</span
+ ><span class="hs-operator hs-var"
+ >.</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >Lit -&gt; Exp
+</span
+ ><span class="hs-identifier hs-var"
+ >LitE</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >(Lit -&gt; Exp) -&gt; (String -&gt; Lit) -&gt; String -&gt; Exp
+forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
+</span
+ ><span class="hs-operator hs-var"
+ >.</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >String -&gt; Lit
+</span
+ ><span class="hs-identifier hs-var"
+ >StringL</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-10"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >quotePat :: String -&gt; Q Pat
+</span
+ ><span class="hs-identifier hs-var"
+ >quotePat</span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >String -&gt; Q Pat
+forall a. String -&gt; Q a
+</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >invalidDomain</span
+ ></a
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-11"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >quoteType :: String -&gt; Q Type
+</span
+ ><span class="hs-identifier hs-var"
+ >quoteType</span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >String -&gt; Q Type
+forall a. String -&gt; Q a
+</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >invalidDomain</span
+ ></a
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-12"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >quoteDec :: String -&gt; Q [Dec]
+</span
+ ><span class="hs-identifier hs-var"
+ >quoteDec</span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >String -&gt; Q [Dec]
+forall a. String -&gt; Q a
+</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >invalidDomain</span
+ ></a
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-13"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >}</span
+ ><span
+ >
+</span
+ ><span id="line-14"
+ ></span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >where</span
+ ><span
+ >
+</span
+ ><span id="line-15"
+ ></span
+ ><span
+ > </span
+ ><span id=""
+ ><span class="annot"
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >invalidDomain</span
+ ></a
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-identifier hs-type"
+ >String</span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-identifier hs-type"
+ >Q</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ></span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-16"
+ ></span
+ ><span
+ > </span
+ ><span id=""
+ ><span class="annot"
+ ><span class="annottext"
+ >invalidDomain :: String -&gt; Q a
+</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var hs-var"
+ >invalidDomain</span
+ ></a
+ ></span
+ ></span
+ ><span
+ > </span
+ ><span class="hs-identifier"
+ >_</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="annottext"
+ >String -&gt; Q a
+forall (m :: * -&gt; *) a. MonadFail m =&gt; String -&gt; m a
+</span
+ ><span class="hs-identifier hs-var"
+ >fail</span
+ ></span
+ ><span
+ > </span
+ ><span class="annot"
+ ><span class="hs-string"
+ >&quot;stringQuoter: only valid in expression context&quot;</span
+ ></span
+ ><span
+ >
+</span
+ ><span id="line-17"
+ ></span
+ ></pre
+ ></body
+ ></html
+> \ No newline at end of file