dhall-docs 1.0.7 → 1.0.8
raw patch · 57 files changed
+443/−440 lines, 57 filesdep +base16-bytestringdep +cryptohash-sha256dep −cryptonitedep −hashabledep −memorydep ~doctestdep ~luciddep ~megaparsecPVP ok
version bump matches the API change (PVP)
Dependencies added: base16-bytestring, cryptohash-sha256
Dependencies removed: cryptonite, hashable, memory
Dependency ranges changed: doctest, lucid, megaparsec, optparse-applicative, path-io, prettyprinter, text
API changes (from Hackage documentation)
Files
- CHANGELOG.md +8/−0
- dhall-docs.cabal +11/−12
- src/Dhall/Docs.hs +1/−1
- src/Dhall/Docs/CodeRenderer.hs +11/−11
- src/Dhall/Docs/Comment.hs +5/−5
- src/Dhall/Docs/Core.hs +1/−1
- src/Dhall/Docs/Markdown.hs +1/−1
- src/Dhall/Docs/Store.hs +10/−14
- tasty/data/golden/ImportAsType.dhall.html +6/−6
- tasty/data/golden/InvalidBlockComment.dhall.html +6/−6
- tasty/data/golden/InvalidConsecutiveComments.dhall.html +6/−6
- tasty/data/golden/InvalidMarkdown.dhall.html +9/−9
- tasty/data/golden/JumpToDefOnUnused.dhall.html +10/−10
- tasty/data/golden/JumpToHereImports.dhall.html +9/−9
- tasty/data/golden/JumpToLamBindingComplex.dhall.html +8/−8
- tasty/data/golden/JumpToLamBindingSimple.dhall.html +9/−9
- tasty/data/golden/JumpToLamBindingWithIndex.dhall.html +9/−9
- tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html +9/−9
- tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html +9/−9
- tasty/data/golden/JumpToLetBindingSimple.dhall.html +8/−8
- tasty/data/golden/JumpToLetBindingWithIndex.dhall.html +8/−8
- tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html +9/−9
- tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html +8/−8
- tasty/data/golden/JumpToLetbindingComplex.dhall.html +10/−10
- tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html +9/−9
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html +7/−7
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html +8/−8
- tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html +11/−11
- tasty/data/golden/JumpToSelf.dhall.html +8/−8
- tasty/data/golden/JumpToUrls.dhall.html +8/−8
- tasty/data/golden/MarkdownExample.dhall.html +6/−6
- tasty/data/golden/MultilineIndentationExample.dhall.html +6/−6
- tasty/data/golden/NoDoc.dhall.html +6/−6
- tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html +6/−6
- tasty/data/golden/OrdinaryAnnotation.dhall.html +6/−6
- tasty/data/golden/Pair.dhall.html +9/−9
- tasty/data/golden/RenderTypeIndexesExample.dhall.html +8/−8
- tasty/data/golden/TwoAnnotations.dhall.html +9/−9
- tasty/data/golden/a/JumpToParent.dhall.html +9/−9
- tasty/data/golden/a/b.dhall.html +8/−8
- tasty/data/golden/a/b/JumpToGrandfather.dhall.html +10/−10
- tasty/data/golden/a/b/c.dhall.html +9/−9
- tasty/data/golden/a/b/c/a.dhall.html +10/−10
- tasty/data/golden/a/b/c/index.html +8/−8
- tasty/data/golden/a/b/index.html +7/−7
- tasty/data/golden/a/index.html +6/−6
- tasty/data/golden/deep/nested/folder/index.html +8/−8
- tasty/data/golden/deep/nested/folder/my-even.dhall.html +13/−13
- tasty/data/golden/deep/nested/index.html +7/−7
- tasty/data/golden/index.html +6/−6
- tasty/data/golden/package.dhall.html +6/−6
CHANGELOG.md view
@@ -1,3 +1,11 @@+1.0.8++* [Support GHC 9.2](https://github.com/dhall-lang/dhall-haskell/pull/2328)+* [Build against `tasty-silver-3.3`](https://github.com/dhall-lang/dhall-haskell/pull/2307)+* [Build against `megaparsec-9.2`](https://github.com/dhall-lang/dhall-haskell/pull/2311)+* [Build against `lucid-2.11`](https://github.com/dhall-lang/dhall-haskell/pull/2327)+* [Build against `doctest-0.19`](https://github.com/dhall-lang/dhall-haskell/pull/2331)+ 1.0.7 * [Add `--base-import-url` flag](https://github.com/dhall-lang/dhall-haskell/pull/2215)
dhall-docs.cabal view
@@ -1,5 +1,5 @@ Name: dhall-docs-Version: 1.0.7+Version: 1.0.8 Cabal-Version: >=1.10 Build-Type: Simple License: BSD3@@ -62,21 +62,22 @@ Hs-Source-Dirs: src Build-Depends: base >= 4.11.0.0 && < 5 ,+ base16-bytestring >= 1.0.0.0 , bytestring < 0.12, containers ,- cryptonite < 0.30,+ cryptohash-sha256 , directory >= 1.3.0.0 && < 1.4 , dhall >= 1.38.0 && < 1.41, file-embed >= 0.0.10.0 , filepath >= 1.4 && < 1.5 , lens-family-core >= 1.0.0 && < 2.2 ,- lucid >= 2.9.12 && < 2.10,+ lucid >= 2.9.12 && < 2.12, mmark >= 0.0.7.0 && < 0.8 ,- megaparsec >= 7 && < 9.2 ,- memory < 0.17,+ -- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469+ megaparsec >= 7 && < 10 , path >= 0.7.0 && < 0.10, path-io >= 1.6.0 && < 1.7 ,- prettyprinter >= 1.5.1 && < 1.8 ,+ prettyprinter >= 1.7.0 && < 1.8 , text >= 0.11.1.0 && < 1.3 , transformers >= 0.2.0.0 && < 0.6 , mtl >= 2.2.1 && < 2.3 ,@@ -121,7 +122,7 @@ base , directory, filepath < 1.5 ,- doctest >= 0.7.0 && < 0.19+ doctest >= 0.7.0 Other-Extensions: OverloadedStrings RecordWildCards Default-Language: Haskell2010 @@ -137,16 +138,14 @@ dhall-docs , foldl < 1.5 , - -- hashable isn't used directly, but lucid's rendering output depends- -- on the Hashable Text instance defined in hashable.- -- See https://github.com/chrisdone/lucid/issues/107.- hashable < 1.3.1 ,+ -- lucid preserves input attribute order since v2.11.0+ lucid >= 2.11.0 , path , path-io , pretty >= 1.1.1.1 , tasty < 1.5 ,- tasty-silver < 3.3 ,+ tasty-silver < 3.4 , tasty-hunit >= 0.10 && < 0.11, turtle < 1.6 , text
src/Dhall/Docs.hs view
@@ -19,8 +19,8 @@ import Control.Applicative (optional, (<|>)) import Data.Text (Text) import Data.Version (showVersion)-import Dhall.Pretty (CharacterSet(..)) import Dhall.Docs.Core+import Dhall.Pretty (CharacterSet (..)) import Options.Applicative (Parser, ParserInfo) import Path (Abs, Dir, Path)
src/Dhall/Docs/CodeRenderer.hs view
@@ -54,20 +54,20 @@ import Lucid import Text.Megaparsec.Pos (SourcePos (..)) -import qualified Control.Monad.Trans.Writer.Strict as Writer-import qualified Data.Maybe as Maybe+import qualified Control.Monad.Trans.Writer.Strict as Writer import qualified Data.List-import qualified Data.Set as Set-import qualified Data.Text as Text-import qualified Data.Text.Prettyprint.Doc as Pretty-import qualified Data.Text.Prettyprint.Doc.Render.Text as Pretty.Text-import qualified Dhall.Context as Context-import qualified Dhall.Core as Core-import qualified Dhall.Map as Map+import qualified Data.Maybe as Maybe+import qualified Data.Set as Set+import qualified Data.Text as Text+import qualified Dhall.Context as Context+import qualified Dhall.Core as Core+import qualified Dhall.Map as Map import qualified Dhall.Parser import qualified Dhall.Pretty-import qualified Lens.Family as Lens-import qualified Text.Megaparsec.Pos as SourcePos+import qualified Lens.Family as Lens+import qualified Prettyprinter as Pretty+import qualified Prettyprinter.Render.Text as Pretty.Text+import qualified Text.Megaparsec.Pos as SourcePos -- $setup -- >>> :set -XOverloadedStrings
src/Dhall/Docs/Comment.hs view
@@ -24,12 +24,12 @@ import qualified Data.Either import qualified Data.Foldable-import qualified Data.List.NonEmpty as NonEmpty-import qualified Data.Maybe as Maybe+import qualified Data.List.NonEmpty as NonEmpty+import qualified Data.Maybe as Maybe import qualified Data.Text-import qualified Dhall.Parser.Token as Token+import qualified Dhall.Parser.Token as Token import qualified Text.Megaparsec-import qualified Text.Megaparsec.Pos as Megaparsec.Pos+import qualified Text.Megaparsec.Pos as Megaparsec.Pos -- | For explanation of this data-type see 'DhallComment' data CommentType = DhallDocsComment | MarkedComment | RawComment@@ -189,7 +189,7 @@ Just e -> DhallDocsText e where joinedText = Data.Text.strip $ Data.Text.unlines reIndentedLines- (_ : commentLines) = Data.Text.lines blockComment+ commentLines = tail $ Data.Text.lines blockComment leadingSpaces = Data.Text.takeWhile isSpace where
src/Dhall/Docs/Core.hs view
@@ -60,8 +60,8 @@ import qualified Data.ByteString import qualified Data.List import qualified Data.List.NonEmpty as NonEmpty-import qualified Data.Map.Strict as Map import qualified Data.Map.Merge.Strict as Map.Merge+import qualified Data.Map.Strict as Map import qualified Data.Maybe import qualified Data.Maybe as Maybe import qualified Data.Text
src/Dhall/Docs/Markdown.hs view
@@ -8,8 +8,8 @@ import Data.Text (Text) import Lucid import Path (File, Path, Rel)-import Text.Megaparsec (ParseErrorBundle (..)) import Text.MMark (MMarkErr)+import Text.Megaparsec (ParseErrorBundle (..)) import qualified Path import qualified Text.MMark as MMark
src/Dhall/Docs/Store.hs view
@@ -5,17 +5,16 @@ module Dhall.Docs.Store (getDocsHomeDirectory, makeHashForDirectory) where -import Crypto.Hash (Digest, SHA256) import Dhall.Crypto (SHA256Digest (..)) import Path (Abs, Dir, Path, Rel, (</>)) import Path.IO (XdgDirectory (..)) -import qualified Control.Monad as Monad-import qualified Crypto.Hash as Hash-import qualified Data.ByteArray as ByteArray-import qualified Data.ByteString as ByteString-import qualified Data.ByteString.Char8 as ByteString.Char8-import qualified Data.List as List+import qualified Control.Monad as Monad+import qualified Crypto.Hash.SHA256+import qualified Data.ByteString as ByteString+import qualified Data.ByteString.Base16 as Base16+import qualified Data.ByteString.Char8 as ByteString.Char8+import qualified Data.List as List import qualified Path import qualified Path.IO @@ -41,12 +40,12 @@ makeHashForDirectory dir = do (dirs, files) <- Path.IO.listDirRecurRel dir - let context0 = Hash.hashInit+ let context0 = Crypto.Hash.SHA256.init let addDir context directory = do let nameBytes = ByteString.Char8.pack (Path.toFilePath directory) - return $! Hash.hashUpdate context nameBytes+ return $! Crypto.Hash.SHA256.update context nameBytes context1 <- Monad.foldM addDir context0 (List.sort dirs) @@ -55,11 +54,8 @@ contentBytes <- ByteString.readFile (Path.toFilePath (dir </> file)) - return $! Hash.hashUpdates context [ nameBytes, contentBytes ]+ return $! Crypto.Hash.SHA256.updates context [ nameBytes, contentBytes ] context2 <- Monad.foldM addFile context1 (List.sort files) - let digest :: Digest SHA256- digest = Hash.hashFinalize context2-- return (SHA256Digest (ByteArray.convert digest))+ return (SHA256Digest (Crypto.Hash.SHA256.finalize context2))
tasty/data/golden/ImportAsType.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/ImportAsType.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">ImportAsType.dhall</span>+<span class="title-crumb" href="index.html">ImportAsType.dhall</span> </h2>-<a data-path="/ImportAsType.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/ImportAsType.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/InvalidBlockComment.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/InvalidBlockComment.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">InvalidBlockComment.dhall</span>+<span class="title-crumb" href="index.html">InvalidBlockComment.dhall</span> </h2>-<a data-path="/InvalidBlockComment.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/InvalidBlockComment.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/InvalidConsecutiveComments.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/InvalidConsecutiveComments.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">InvalidConsecutiveComments.dhall</span>+<span class="title-crumb" href="index.html">InvalidConsecutiveComments.dhall</span> </h2>-<a data-path="/InvalidConsecutiveComments.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/InvalidConsecutiveComments.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/InvalidMarkdown.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/InvalidMarkdown.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">InvalidMarkdown.dhall</span>+<span class="title-crumb" href="index.html">InvalidMarkdown.dhall</span> </h2>-<a data-path="/InvalidMarkdown.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/InvalidMarkdown.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -35,10 +35,10 @@ <h3>Source</h3> <div class="source-code"> <pre>--| This file contains a markdown error right here `<br>-- did you notice it?<br>-<br>let <span data-name="var4-5" id="var4-5" class="name-decl">Pair</span> = <a href="./Pair.dhall.html">./Pair.dhall</a>+<br>let <span id="var4-5" class="name-decl" data-name="var4-5">Pair</span> = <a href="./Pair.dhall.html">./Pair.dhall</a> <br>-<br>let <span data-name="var6-5" id="var6-5" class="name-decl">DeliveryStatus</span> =<br> < Sent: <a href="#var4-5" data-name="var4-5" class="name-use">Pair</a> Natural Text {-| Message has been _sent_. It carries a ./Pair.dhall reference<br> containing on the `first` field number of retries<br> and on the `second` field the delivered text<br> -}<br> | InProgress -- | Message is on the way!<br> | InQueue -- | Delivery for this message **hasn't** started<br> ><br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">DeliveryStatus</a>+<br>let <span id="var6-5" class="name-decl" data-name="var6-5">DeliveryStatus</span> =<br> < Sent: <a href="#var4-5" class="name-use" data-name="var4-5">Pair</a> Natural Text {-| Message has been _sent_. It carries a ./Pair.dhall reference<br> containing on the `first` field number of retries<br> and on the `second` field the delivered text<br> -}<br> | InProgress -- | Message is on the way!<br> | InQueue -- | Delivery for this message **hasn't** started<br> ><br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">DeliveryStatus</a> <br> </pre> </div>
tasty/data/golden/JumpToDefOnUnused.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToDefOnUnused.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToDefOnUnused.dhall</span>+<span class="title-crumb" href="index.html">JumpToDefOnUnused.dhall</span> </h2>-<a data-path="/JumpToDefOnUnused.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToDefOnUnused.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,11 +37,11 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>`dhall-docs` will detect some names (record fields, let-bindings and lam-bindings)<br>are unused and therefore won't be highlighted<br>-}<br>-<br>let unused = 1<br>let <span data-name="var7-5" id="var7-5" class="name-decl">used</span> = 3<br>-<br>let unusedRecord = { foo = 1 }<br>let <span data-name="var10-5" id="var10-5" class="name-decl">usedRecord</span> = { <span data-name="var10-20" id="var10-20" class="name-decl">foo</span> = 1 }<br>-<br>let <span data-name="var12-5" id="var12-5" class="name-decl">f</span> =<br> \(unused : Bool)<br> -> \(<span data-name="var14-10" id="var14-10" class="name-decl">used</span> : Natural)<br> -> \(<span data-name="var15-10" id="var15-10" class="name-decl">r</span> : { unused : Text, <span data-name="var15-31" id="var15-31" class="name-decl">used</span> : Natural}) -> <a href="#var14-10" data-name="var14-10" class="name-use">used</a> + <a href="#var15-10" data-name="var15-10" class="name-use">r</a>.<a href="#var15-31" data-name="var15-31" class="name-use">used</a>+<br>let unused = 1<br>let <span id="var7-5" class="name-decl" data-name="var7-5">used</span> = 3<br>+<br>let unusedRecord = { foo = 1 }<br>let <span id="var10-5" class="name-decl" data-name="var10-5">usedRecord</span> = { <span id="var10-20" class="name-decl" data-name="var10-20">foo</span> = 1 }<br>+<br>let <span id="var12-5" class="name-decl" data-name="var12-5">f</span> =<br> \(unused : Bool)<br> -> \(<span id="var14-10" class="name-decl" data-name="var14-10">used</span> : Natural)<br> -> \(<span id="var15-10" class="name-decl" data-name="var15-10">r</span> : { unused : Text, <span id="var15-31" class="name-decl" data-name="var15-31">used</span> : Natural}) -> <a href="#var14-10" class="name-use" data-name="var14-10">used</a> + <a href="#var15-10" class="name-use" data-name="var15-10">r</a>.<a href="#var15-31" class="name-use" data-name="var15-31">used</a> <br>-<br>in <a href="#var7-5" data-name="var7-5" class="name-use">used</a> + <a href="#var10-5" data-name="var10-5" class="name-use">usedRecord</a>.<a href="#var10-20" data-name="var10-20" class="name-use">foo</a> + <a href="#var12-5" data-name="var12-5" class="name-use">f</a> True 1 { unused = "foo", used = 3 }<br>+<br>in <a href="#var7-5" class="name-use" data-name="var7-5">used</a> + <a href="#var10-5" class="name-use" data-name="var10-5">usedRecord</a>.<a href="#var10-20" class="name-use" data-name="var10-20">foo</a> + <a href="#var12-5" class="name-use" data-name="var12-5">f</a> True 1 { unused = "foo", used = 3 }<br> </pre> </div> </div>
tasty/data/golden/JumpToHereImports.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToHereImports.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToHereImports.dhall</span>+<span class="title-crumb" href="index.html">JumpToHereImports.dhall</span> </h2>-<a data-path="/JumpToHereImports.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToHereImports.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -33,12 +33,12 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>let <span data-name="var1-5" id="var1-5" class="name-decl">relatives</span> =<br> [ <a href="./IndexesExample.dhall.html">./IndexesExample.dhall</a>+<pre>let <span id="var1-5" class="name-decl" data-name="var1-5">relatives</span> =<br> [ <a href="./IndexesExample.dhall.html">./IndexesExample.dhall</a> <br> , <a href="./MarkdownExample.dhall.html">./MarkdownExample.dhall</a> <br> , <a href="./NoDoc.dhall.html">./NoDoc.dhall</a> <br> ]<br>-<br>let <span data-name="var7-5" id="var7-5" class="name-decl">moreRelatives</span> =<br> [ <a href="./OrdinaryAnnotation.dhall.html">./OrdinaryAnnotation.dhall</a> , <a href="./TwoAnnotations.dhall.html">./TwoAnnotations.dhall</a> ]<br>-<br>in <a href="#var1-5" data-name="var1-5" class="name-use">relatives</a> # <a href="#var7-5" data-name="var7-5" class="name-use">moreRelatives</a>+<br>let <span id="var7-5" class="name-decl" data-name="var7-5">moreRelatives</span> =<br> [ <a href="./OrdinaryAnnotation.dhall.html">./OrdinaryAnnotation.dhall</a> , <a href="./TwoAnnotations.dhall.html">./TwoAnnotations.dhall</a> ]<br>+<br>in <a href="#var1-5" class="name-use" data-name="var1-5">relatives</a> # <a href="#var7-5" class="name-use" data-name="var7-5">moreRelatives</a> <br> </pre> </div>
tasty/data/golden/JumpToLamBindingComplex.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLamBindingComplex.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLamBindingComplex.dhall</span>+<span class="title-crumb" href="index.html">JumpToLamBindingComplex.dhall</span> </h2>-<a data-path="/JumpToLamBindingComplex.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLamBindingComplex.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -34,8 +34,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>A complex example of jump-to-definition on let-bindings<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">fun</span> =<br> λ(<span data-name="var5-7" id="var5-7" class="name-decl">a</span> : Text) -><br> λ(<span data-name="var6-7" id="var6-7" class="name-decl">b</span> : Text) -><br> λ(<span data-name="var7-7" id="var7-7" class="name-decl">c</span> : Text) -><br> λ(<span data-name="var8-7" id="var8-7" class="name-decl">d</span> : Text) -><br> [ <a href="#var5-7" data-name="var5-7" class="name-use">a</a> ++ <a href="#var6-7" data-name="var6-7" class="name-use">b</a>, <a href="#var6-7" data-name="var6-7" class="name-use">b</a> ++ <a href="#var7-7" data-name="var7-7" class="name-use">c</a>, <a href="#var7-7" data-name="var7-7" class="name-use">c</a> ++ <a href="#var8-7" data-name="var8-7" class="name-use">d</a>, <a href="#var8-7" data-name="var8-7" class="name-use">d</a> ++ <a href="#var5-7" data-name="var5-7" class="name-use">a</a> ]<br>-<br>in <a href="#var4-5" data-name="var4-5" class="name-use">fun</a>+<pre>{-|<br>A complex example of jump-to-definition on let-bindings<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">fun</span> =<br> λ(<span id="var5-7" class="name-decl" data-name="var5-7">a</span> : Text) -><br> λ(<span id="var6-7" class="name-decl" data-name="var6-7">b</span> : Text) -><br> λ(<span id="var7-7" class="name-decl" data-name="var7-7">c</span> : Text) -><br> λ(<span id="var8-7" class="name-decl" data-name="var8-7">d</span> : Text) -><br> [ <a href="#var5-7" class="name-use" data-name="var5-7">a</a> ++ <a href="#var6-7" class="name-use" data-name="var6-7">b</a>, <a href="#var6-7" class="name-use" data-name="var6-7">b</a> ++ <a href="#var7-7" class="name-use" data-name="var7-7">c</a>, <a href="#var7-7" class="name-use" data-name="var7-7">c</a> ++ <a href="#var8-7" class="name-use" data-name="var8-7">d</a>, <a href="#var8-7" class="name-use" data-name="var8-7">d</a> ++ <a href="#var5-7" class="name-use" data-name="var5-7">a</a> ]<br>+<br>in <a href="#var4-5" class="name-use" data-name="var4-5">fun</a> <br> </pre> </div>
tasty/data/golden/JumpToLamBindingSimple.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLamBindingSimple.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLamBindingSimple.dhall</span>+<span class="title-crumb" href="index.html">JumpToLamBindingSimple.dhall</span> </h2>-<a data-path="/JumpToLamBindingSimple.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLamBindingSimple.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -39,7 +39,7 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>This examples shows a demo of jumping to a let-binding definition. If you hover<br>the `a` paramter, the front-end will highlight all of its usages and if you<br>click it you will navigate to its definition.<br>-<br>The amount of empty lines left are intentional to show you how the browser jumps<br>to the declaration of a<br>-}<br>let <span data-name="var9-5" id="var9-5" class="name-decl">fun</span> = \(<span data-name="var9-13" id="var9-13" class="name-decl">v</span> : Text) -><br>+<br>The amount of empty lines left are intentional to show you how the browser jumps<br>to the declaration of a<br>-}<br>let <span id="var9-5" class="name-decl" data-name="var9-5">fun</span> = \(<span id="var9-13" class="name-decl" data-name="var9-13">v</span> : Text) -><br> <br> <br> <br>@@ -92,11 +92,11 @@ <br> <br> <br>-<br> <a href="#var9-13" data-name="var9-13" class="name-use">v</a>+<br> <a href="#var9-13" class="name-use" data-name="var9-13">v</a> <br> <br> <br>-<br>in <a href="#var9-5" data-name="var9-5" class="name-use">fun</a>+<br>in <a href="#var9-5" class="name-use" data-name="var9-5">fun</a> <br> </pre> </div>
tasty/data/golden/JumpToLamBindingWithIndex.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLamBindingWithIndex.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLamBindingWithIndex.dhall</span>+<span class="title-crumb" href="index.html">JumpToLamBindingWithIndex.dhall</span> </h2>-<a data-path="/JumpToLamBindingWithIndex.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLamBindingWithIndex.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -41,9 +41,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, we introduce the `a` variable in the two parameters of the<br>`fun` function and the jump-to-definition engine correctly highlights the usage<br>when indexes are used<br>-}<br>let <span data-name="var6-5" id="var6-5" class="name-decl">fun</span> =<br> λ(<span data-name="var7-7" id="var7-7" class="name-decl">a</span> : Text) -><br> λ(<span data-name="var8-7" id="var8-7" class="name-decl">a</span> : Text) -><br> [ <a href="#var7-7" data-name="var7-7" class="name-use">a@1</a> ++ <a href="#var8-7" data-name="var8-7" class="name-use">a@0</a> ]<br>-<br>let example0 = assert : <a href="#var6-5" data-name="var6-5" class="name-use">fun</a> "a" "b" === ["ab"]<br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">fun</a>+<pre>{-|<br>On this example, we introduce the `a` variable in the two parameters of the<br>`fun` function and the jump-to-definition engine correctly highlights the usage<br>when indexes are used<br>-}<br>let <span id="var6-5" class="name-decl" data-name="var6-5">fun</span> =<br> λ(<span id="var7-7" class="name-decl" data-name="var7-7">a</span> : Text) -><br> λ(<span id="var8-7" class="name-decl" data-name="var8-7">a</span> : Text) -><br> [ <a href="#var7-7" class="name-use" data-name="var7-7">a@1</a> ++ <a href="#var8-7" class="name-use" data-name="var8-7">a@0</a> ]<br>+<br>let example0 = assert : <a href="#var6-5" class="name-use" data-name="var6-5">fun</a> "a" "b" === ["ab"]<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">fun</a> <br> <br> </pre>
tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLamBindingWithQuotes.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLamBindingWithQuotes.dhall</span>+<span class="title-crumb" href="index.html">JumpToLamBindingWithQuotes.dhall</span> </h2>-<a data-path="/JumpToLamBindingWithQuotes.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLamBindingWithQuotes.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -40,9 +40,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>This tests shows that the feature works for quoted vars on function parameters<br>as well<br>-}<br>let <span data-name="var5-5" id="var5-5" class="name-decl">fun</span> =<br> λ(<span data-name="var6-7" id="var6-7" class="name-decl">`param 1`</span> : Text) -><br> λ(<span data-name="var7-7" id="var7-7" class="name-decl">`param 2`</span> : Text) -><br> [ <a href="#var6-7" data-name="var6-7" class="name-use">`param 1`</a> ++ <a href="#var7-7" data-name="var7-7" class="name-use">`param 2`</a> ]<br>-<br>let example0 = assert : <a href="#var5-5" data-name="var5-5" class="name-use">fun</a> "a" "b" === ["ab"]<br>-<br>in <a href="#var5-5" data-name="var5-5" class="name-use">fun</a>+<pre>{-|<br>This tests shows that the feature works for quoted vars on function parameters<br>as well<br>-}<br>let <span id="var5-5" class="name-decl" data-name="var5-5">fun</span> =<br> λ(<span id="var6-7" class="name-decl" data-name="var6-7">`param 1`</span> : Text) -><br> λ(<span id="var7-7" class="name-decl" data-name="var7-7">`param 2`</span> : Text) -><br> [ <a href="#var6-7" class="name-use" data-name="var6-7">`param 1`</a> ++ <a href="#var7-7" class="name-use" data-name="var7-7">`param 2`</a> ]<br>+<br>let example0 = assert : <a href="#var5-5" class="name-use" data-name="var5-5">fun</a> "a" "b" === ["ab"]<br>+<br>in <a href="#var5-5" class="name-use" data-name="var5-5">fun</a> <br> <br> </pre>
tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLamBindingWithShadowing.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLamBindingWithShadowing.dhall</span>+<span class="title-crumb" href="index.html">JumpToLamBindingWithShadowing.dhall</span> </h2>-<a data-path="/JumpToLamBindingWithShadowing.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLamBindingWithShadowing.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -41,9 +41,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, the first parameter `a` is shadowed with the second declaration.<br>The jump-to-definintion on the usage of `a` should not highlight the first declaration,<br>and interacting with the first declaration should not change the others<br>-}<br>let <span data-name="var6-5" id="var6-5" class="name-decl">fun</span> =<br> λ(a : Text) -><br> λ(<span data-name="var8-7" id="var8-7" class="name-decl">a</span> : Text) -><br> [ <a href="#var8-7" data-name="var8-7" class="name-use">a</a> ++ <a href="#var8-7" data-name="var8-7" class="name-use">a</a> ]<br>-<br>let example0 = assert : <a href="#var6-5" data-name="var6-5" class="name-use">fun</a> "a" "b" === ["bb"]<br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">fun</a>+<pre>{-|<br>On this example, the first parameter `a` is shadowed with the second declaration.<br>The jump-to-definintion on the usage of `a` should not highlight the first declaration,<br>and interacting with the first declaration should not change the others<br>-}<br>let <span id="var6-5" class="name-decl" data-name="var6-5">fun</span> =<br> λ(a : Text) -><br> λ(<span id="var8-7" class="name-decl" data-name="var8-7">a</span> : Text) -><br> [ <a href="#var8-7" class="name-use" data-name="var8-7">a</a> ++ <a href="#var8-7" class="name-use" data-name="var8-7">a</a> ]<br>+<br>let example0 = assert : <a href="#var6-5" class="name-use" data-name="var6-5">fun</a> "a" "b" === ["bb"]<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">fun</a> <br> <br> </pre>
tasty/data/golden/JumpToLetBindingSimple.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLetBindingSimple.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLetBindingSimple.dhall</span>+<span class="title-crumb" href="index.html">JumpToLetBindingSimple.dhall</span> </h2>-<a data-path="/JumpToLetBindingSimple.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLetBindingSimple.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -39,7 +39,7 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>This examples shows a demo of jumping to a let-binding definition. If you hover<br>the `a` variable, the front-end will highlight all of its usages and if you<br>click it you will navigate to its definition.<br>-<br>The amount of empty lines left are intentional to show you how the browser jumps<br>to the declaration of a<br>-}<br>let <span data-name="var9-5" id="var9-5" class="name-decl">a</span> = 1<br>+<br>The amount of empty lines left are intentional to show you how the browser jumps<br>to the declaration of a<br>-}<br>let <span id="var9-5" class="name-decl" data-name="var9-5">a</span> = 1<br> <br> <br> <br>@@ -81,7 +81,7 @@ <br> <br>in<br> <br>-<a href="#var9-5" data-name="var9-5" class="name-use">a</a>+<a href="#var9-5" class="name-use" data-name="var9-5">a</a> <br> </pre> </div>
tasty/data/golden/JumpToLetBindingWithIndex.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLetBindingWithIndex.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLetBindingWithIndex.dhall</span>+<span class="title-crumb" href="index.html">JumpToLetBindingWithIndex.dhall</span> </h2>-<a data-path="/JumpToLetBindingWithIndex.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLetBindingWithIndex.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -35,9 +35,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),<br>this example showcases the jump-to-definition feature when indexes are used.<br>-}<br>let <span data-name="var5-5" id="var5-5" class="name-decl">a</span> = 1<br>+<pre>{-|<br>Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),<br>this example showcases the jump-to-definition feature when indexes are used.<br>-}<br>let <span id="var5-5" class="name-decl" data-name="var5-5">a</span> = 1<br> <br>let a = 2<br>-<br>in <a href="#var5-5" data-name="var5-5" class="name-use">a@1</a>+<br>in <a href="#var5-5" class="name-use" data-name="var5-5">a@1</a> <br> </pre> </div>
tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLetBindingWithQuotes.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLetBindingWithQuotes.dhall</span>+<span class="title-crumb" href="index.html">JumpToLetBindingWithQuotes.dhall</span> </h2>-<a data-path="/JumpToLetBindingWithQuotes.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLetBindingWithQuotes.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -34,9 +34,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>This test cases shows that the feature works with quoted variables<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">`quoted variable`</span> = 1<br>-<br>let <span data-name="var6-5" id="var6-5" class="name-decl">nonQuoted</span> = 2<br>-<br>in <a href="#var4-5" data-name="var4-5" class="name-use">`quoted variable`</a> + <a href="#var6-5" data-name="var6-5" class="name-use">`nonQuoted`</a>+<pre>{-|<br>This test cases shows that the feature works with quoted variables<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">`quoted variable`</span> = 1<br>+<br>let <span id="var6-5" class="name-decl" data-name="var6-5">nonQuoted</span> = 2<br>+<br>in <a href="#var4-5" class="name-use" data-name="var4-5">`quoted variable`</a> + <a href="#var6-5" class="name-use" data-name="var6-5">`nonQuoted`</a> <br> </pre> </div>
tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLetBindingWithShadowing.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLetBindingWithShadowing.dhall</span>+<span class="title-crumb" href="index.html">JumpToLetBindingWithShadowing.dhall</span> </h2>-<a data-path="/JumpToLetBindingWithShadowing.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLetBindingWithShadowing.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -38,8 +38,8 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>On this example, the first declaration of variable `a` is shadowed with the<br>later declaration. The jump-to-definintion on the usage of `a`<br>should not highlight the first declaration, and interacting with the first<br>declaration should not change the others<br>-}<br>let a = 1<br>-<br>let <span data-name="var9-5" id="var9-5" class="name-decl">a</span> = 2<br>-<br>in <a href="#var9-5" data-name="var9-5" class="name-use">a</a>+<br>let <span id="var9-5" class="name-decl" data-name="var9-5">a</span> = 2<br>+<br>in <a href="#var9-5" class="name-use" data-name="var9-5">a</a> <br> </pre> </div>
tasty/data/golden/JumpToLetbindingComplex.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToLetbindingComplex.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToLetbindingComplex.dhall</span>+<span class="title-crumb" href="index.html">JumpToLetbindingComplex.dhall</span> </h2>-<a data-path="/JumpToLetbindingComplex.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToLetbindingComplex.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -34,11 +34,11 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>A complex example of jump-to-definition on let-bindings<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">f</span> = \(<span data-name="var4-11" id="var4-11" class="name-decl">f</span> : Natural) -><br> let <span data-name="var5-9" id="var5-9" class="name-decl">a</span> = 1 in <a href="#var4-11" data-name="var4-11" class="name-use">f</a> + <a href="#var5-9" data-name="var5-9" class="name-use">a</a>+<pre>{-|<br>A complex example of jump-to-definition on let-bindings<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">f</span> = \(<span id="var4-11" class="name-decl" data-name="var4-11">f</span> : Natural) -><br> let <span id="var5-9" class="name-decl" data-name="var5-9">a</span> = 1 in <a href="#var4-11" class="name-use" data-name="var4-11">f</a> + <a href="#var5-9" class="name-use" data-name="var5-9">a</a> <br>-<br>let <span data-name="var7-5" id="var7-5" class="name-decl">a</span> = <a href="#var4-5" data-name="var4-5" class="name-use">f</a> 1<br>-<br>let <span data-name="var9-5" id="var9-5" class="name-decl">b</span> = <a href="#var7-5" data-name="var7-5" class="name-use">a</a> + <a href="#var4-5" data-name="var4-5" class="name-use">f</a> 3<br>-<br>in <a href="#var9-5" data-name="var9-5" class="name-use">b</a>+<br>let <span id="var7-5" class="name-decl" data-name="var7-5">a</span> = <a href="#var4-5" class="name-use" data-name="var4-5">f</a> 1<br>+<br>let <span id="var9-5" class="name-decl" data-name="var9-5">b</span> = <a href="#var7-5" class="name-use" data-name="var7-5">a</a> + <a href="#var4-5" class="name-use" data-name="var4-5">f</a> 3<br>+<br>in <a href="#var9-5" class="name-use" data-name="var9-5">b</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenFieldDoesNotExist.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenFieldDoesNotExist.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenFieldDoesNotExist.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenFieldDoesNotExist.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenFieldDoesNotExist.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,8 +37,8 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` and `b` is of<br>record-type. If on a selector-expression the field is not found on the type,<br>no-link will be created<br>-<br>-}<br>let <span data-name="var7-5" id="var7-5" class="name-decl">a</span> = { x = "foo" }<br>let <span data-name="var8-5" id="var8-5" class="name-decl">b</span> = False<br>-<br>in <a href="#var7-5" data-name="var7-5" class="name-use">a</a>.y + <a href="#var8-5" data-name="var8-5" class="name-use">b</a>.`does not exist`<br>+<br>-}<br>let <span id="var7-5" class="name-decl" data-name="var7-5">a</span> = { x = "foo" }<br>let <span id="var8-5" class="name-decl" data-name="var8-5">b</span> = False<br>+<br>in <a href="#var7-5" class="name-use" data-name="var7-5">a</a>.y + <a href="#var8-5" class="name-use" data-name="var8-5">b</a>.`does not exist`<br> </pre> </div> </div>
tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -38,8 +38,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is annotated<br>with a type, but it will ignore it anyways. On let-bindings, `dhall-docs` infers<br>the type of the variable from the bounded expression. As a consequence, on<br>this example, hovering the `x` on the selector-expression will highlight the<br>`x` label on the record-literal<br>-}<br>let <span data-name="var8-5" id="var8-5" class="name-decl">a</span> : Bool = { <span data-name="var8-18" id="var8-18" class="name-decl">x</span> = "foo" }<br>-<br>in <a href="#var8-5" data-name="var8-5" class="name-use">a</a>.<a href="#var8-18" data-name="var8-18" class="name-use">x</a>+<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is annotated<br>with a type, but it will ignore it anyways. On let-bindings, `dhall-docs` infers<br>the type of the variable from the bounded expression. As a consequence, on<br>this example, hovering the `x` on the selector-expression will highlight the<br>`x` label on the record-literal<br>-}<br>let <span id="var8-5" class="name-decl" data-name="var8-5">a</span> : Bool = { <span id="var8-18" class="name-decl" data-name="var8-18">x</span> = "foo" }<br>+<br>in <a href="#var8-5" class="name-use" data-name="var8-5">a</a>.<a href="#var8-18" class="name-use" data-name="var8-18">x</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -39,8 +39,8 @@ <div class="source-code"> <pre>{-|<br>On this example, even when the variable `a` is annotated with a record-type,<br>`dhall-docs` will infer the actual type from the bounded value.<br> <br>All interactions with fields on selector-expressions won't affect the rendered-type.<br>-<br>(The example is intended to not type-check as a Dhall expression)<br>-}<br>let <span data-name="var9-5" id="var9-5" class="name-decl">a</span> : { x : Text } = { <span data-name="var9-26" id="var9-26" class="name-decl">x</span> = "foo", <span data-name="var9-37" id="var9-37" class="name-decl">y</span> = "bar" }<br>-<br>in <a href="#var9-5" data-name="var9-5" class="name-use">a</a>.<a href="#var9-26" data-name="var9-26" class="name-use">x</a> ++ <a href="#var9-5" data-name="var9-5" class="name-use">a</a>.<a href="#var9-37" data-name="var9-37" class="name-use">y</a>+<br>(The example is intended to not type-check as a Dhall expression)<br>-}<br>let <span id="var9-5" class="name-decl" data-name="var9-5">a</span> : { x : Text } = { <span id="var9-26" class="name-decl" data-name="var9-26">x</span> = "foo", <span id="var9-37" class="name-decl" data-name="var9-37">y</span> = "bar" }<br>+<br>in <a href="#var9-5" class="name-use" data-name="var9-5">a</a>.<a href="#var9-26" class="name-use" data-name="var9-26">x</a> ++ <a href="#var9-5" class="name-use" data-name="var9-5">a</a>.<a href="#var9-37" class="name-use" data-name="var9-37">y</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordType.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordType.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordType.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordType.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordType.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,8 +37,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record-literal. When the user clicks on the `field` in the `a.field`, it<br>will jump to the definition of that field in the source code i.e. to the `field`<br>key in the record literal<br>-}<br>let <span data-name="var7-5" id="var7-5" class="name-decl">a</span> = { <span data-name="var7-11" id="var7-11" class="name-decl">field</span> = "foo" }<br>-<br>in Text/show <a href="#var7-5" data-name="var7-5" class="name-use">a</a>.<a href="#var7-11" data-name="var7-11" class="name-use">field</a>+<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record-literal. When the user clicks on the `field` in the `a.field`, it<br>will jump to the definition of that field in the source code i.e. to the `field`<br>key in the record literal<br>-}<br>let <span id="var7-5" class="name-decl" data-name="var7-5">a</span> = { <span id="var7-11" class="name-decl" data-name="var7-11">field</span> = "foo" }<br>+<br>in Text/show <a href="#var7-5" class="name-use" data-name="var7-5">a</a>.<a href="#var7-11" class="name-use" data-name="var7-11">field</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -34,9 +34,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>A complex example of the jump-to-definition feature on record literals.<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">a</span> =<br> { <span data-name="var5-7" id="var5-7" class="name-decl">foo</span> = "bar", <span data-name="var5-20" id="var5-20" class="name-decl">number</span> = +1 }<br>-<br>let <span data-name="var7-5" id="var7-5" class="name-decl">b</span> =<br> { <span data-name="var8-7" id="var8-7" class="name-decl">foo</span> = "bar", <span data-name="var8-20" id="var8-20" class="name-decl">number</span> = +1 }<br>-<br>in <a href="#var4-5" data-name="var4-5" class="name-use">a</a>.<a href="#var5-7" data-name="var5-7" class="name-use">foo</a> ++ Integer/show <a href="#var4-5" data-name="var4-5" class="name-use">a</a>.<a href="#var5-20" data-name="var5-20" class="name-use">number</a> ++ <a href="#var7-5" data-name="var7-5" class="name-use">b</a>.<a href="#var8-7" data-name="var8-7" class="name-use">foo</a> ++ Integer/show <a href="#var7-5" data-name="var7-5" class="name-use">b</a>.<a href="#var8-20" data-name="var8-20" class="name-use">number</a>+<pre>{-|<br>A complex example of the jump-to-definition feature on record literals.<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">a</span> =<br> { <span id="var5-7" class="name-decl" data-name="var5-7">foo</span> = "bar", <span id="var5-20" class="name-decl" data-name="var5-20">number</span> = +1 }<br>+<br>let <span id="var7-5" class="name-decl" data-name="var7-5">b</span> =<br> { <span id="var8-7" class="name-decl" data-name="var8-7">foo</span> = "bar", <span id="var8-20" class="name-decl" data-name="var8-20">number</span> = +1 }<br>+<br>in <a href="#var4-5" class="name-use" data-name="var4-5">a</a>.<a href="#var5-7" class="name-use" data-name="var5-7">foo</a> ++ Integer/show <a href="#var4-5" class="name-use" data-name="var4-5">a</a>.<a href="#var5-20" class="name-use" data-name="var5-20">number</a> ++ <a href="#var7-5" class="name-use" data-name="var7-5">b</a>.<a href="#var8-7" class="name-use" data-name="var8-7">foo</a> ++ Integer/show <a href="#var7-5" class="name-use" data-name="var7-5">b</a>.<a href="#var8-20" class="name-use" data-name="var8-20">number</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -38,8 +38,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record literal. It will also detect that the `field` key from the record<br>literal is another record literal. When the user clicks `deep` from the<br>`a.field.deep`, it will jump to the definition of that variable in the source<br>code.<br>-}<br>let <span data-name="var8-5" id="var8-5" class="name-decl">a</span> = { <span data-name="var8-11" id="var8-11" class="name-decl">field</span> = { <span data-name="var8-21" id="var8-21" class="name-decl">deep</span> = "bar" } }<br>-<br>in Text/show <a href="#var8-5" data-name="var8-5" class="name-use">a</a>.<a href="#var8-11" data-name="var8-11" class="name-use">field</a>.<a href="#var8-21" data-name="var8-21" class="name-use">deep</a>+<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record literal. It will also detect that the `field` key from the record<br>literal is another record literal. When the user clicks `deep` from the<br>`a.field.deep`, it will jump to the definition of that variable in the source<br>code.<br>-}<br>let <span id="var8-5" class="name-decl" data-name="var8-5">a</span> = { <span id="var8-11" class="name-decl" data-name="var8-11">field</span> = { <span id="var8-21" class="name-decl" data-name="var8-21">deep</span> = "bar" } }<br>+<br>in Text/show <a href="#var8-5" class="name-use" data-name="var8-5">a</a>.<a href="#var8-11" class="name-use" data-name="var8-11">field</a>.<a href="#var8-21" class="name-use" data-name="var8-21">deep</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -42,7 +42,7 @@ <div class="source-code"> <pre>{-|<br>On this example, `dhall-docs` will detect that the argument `a` of the only<br>function in this file is of record type. Therefore, any interactions on selector<br>expressions over the `a` variable will interact with the fields on the record-type.<br> <br>Note that the treatment for `Lam` variables is different from `Let` bindings:<br>the annotation doesn't affect on the later case. This can be seen in the<br>[test case for let bindings](./JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall)<br>-}<br>-<br>λ(<span data-name="var11-3" id="var11-3" class="name-decl">b</span> : Type) →<br>λ(<span data-name="var12-3" id="var12-3" class="name-decl">c</span> : Type) →<br>λ(<span data-name="var13-3" id="var13-3" class="name-decl">a</span> : { <span data-name="var13-9" id="var13-9" class="name-decl">list</span> : List <a href="#var11-3" data-name="var11-3" class="name-use">b</a>, <span data-name="var13-24" id="var13-24" class="name-decl">cons</span> : <a href="#var11-3" data-name="var11-3" class="name-use">b</a> → <a href="#var12-3" data-name="var12-3" class="name-use">c</a> → <a href="#var12-3" data-name="var12-3" class="name-use">c</a>, <span data-name="var13-42" id="var13-42" class="name-decl">nil</span> : <a href="#var12-3" data-name="var12-3" class="name-use">c</a> }) →<br> List/fold <a href="#var11-3" data-name="var11-3" class="name-use">b</a> <a href="#var13-3" data-name="var13-3" class="name-use">a</a>.<a href="#var13-9" data-name="var13-9" class="name-use">list</a> <a href="#var12-3" data-name="var12-3" class="name-use">c</a> <a href="#var13-3" data-name="var13-3" class="name-use">a</a>.<a href="#var13-24" data-name="var13-24" class="name-use">cons</a> <a href="#var13-3" data-name="var13-3" class="name-use">a</a>.<a href="#var13-42" data-name="var13-42" class="name-use">nil</a>+<br>λ(<span id="var11-3" class="name-decl" data-name="var11-3">b</span> : Type) →<br>λ(<span id="var12-3" class="name-decl" data-name="var12-3">c</span> : Type) →<br>λ(<span id="var13-3" class="name-decl" data-name="var13-3">a</span> : { <span id="var13-9" class="name-decl" data-name="var13-9">list</span> : List <a href="#var11-3" class="name-use" data-name="var11-3">b</a>, <span id="var13-24" class="name-decl" data-name="var13-24">cons</span> : <a href="#var11-3" class="name-use" data-name="var11-3">b</a> → <a href="#var12-3" class="name-use" data-name="var12-3">c</a> → <a href="#var12-3" class="name-use" data-name="var12-3">c</a>, <span id="var13-42" class="name-decl" data-name="var13-42">nil</span> : <a href="#var12-3" class="name-use" data-name="var12-3">c</a> }) →<br> List/fold <a href="#var11-3" class="name-use" data-name="var11-3">b</a> <a href="#var13-3" class="name-use" data-name="var13-3">a</a>.<a href="#var13-9" class="name-use" data-name="var13-9">list</a> <a href="#var12-3" class="name-use" data-name="var12-3">c</a> <a href="#var13-3" class="name-use" data-name="var13-3">a</a>.<a href="#var13-24" class="name-use" data-name="var13-24">cons</a> <a href="#var13-3" class="name-use" data-name="var13-3">a</a>.<a href="#var13-42" class="name-use" data-name="var13-42">nil</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -36,8 +36,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record literal. It will also be aware that that the attribute `x`. When<br>the user clicks the `x` from `a.x`, it will jump to the `x` punned-entry<br>-}<br>let x = 1<br>let <span data-name="var7-5" id="var7-5" class="name-decl">a</span> = { <span data-name="var7-11" id="var7-11" class="name-decl">x</span> }<br>-<br>in <a href="#var7-5" data-name="var7-5" class="name-use">a</a>.<a href="#var7-11" data-name="var7-11" class="name-use">x</a>+<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record literal. It will also be aware that that the attribute `x`. When<br>the user clicks the `x` from `a.x`, it will jump to the `x` punned-entry<br>-}<br>let x = 1<br>let <span id="var7-5" class="name-decl" data-name="var7-5">a</span> = { <span id="var7-11" class="name-decl" data-name="var7-11">x</span> }<br>+<br>in <a href="#var7-5" class="name-use" data-name="var7-5">a</a>.<a href="#var7-11" class="name-use" data-name="var7-11">x</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,9 +37,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `b` is bounded<br>to the value of `a`, and the later is bounded to a record-literal. All selector<br>expressions over `b` will interact with the record-literal assigned to `a`, since<br>that is the actual definition of the fields.<br>-}<br>let <span data-name="var7-5" id="var7-5" class="name-decl">a</span> = { <span data-name="var7-11" id="var7-11" class="name-decl">x</span> = 1 }<br>let <span data-name="var8-5" id="var8-5" class="name-decl">b</span> = <a href="#var7-5" data-name="var7-5" class="name-use">a</a>+<pre>{-|<br>On this example, `dhall-docs` will detect that the variable `b` is bounded<br>to the value of `a`, and the later is bounded to a record-literal. All selector<br>expressions over `b` will interact with the record-literal assigned to `a`, since<br>that is the actual definition of the fields.<br>-}<br>let <span id="var7-5" class="name-decl" data-name="var7-5">a</span> = { <span id="var7-11" class="name-decl" data-name="var7-11">x</span> = 1 }<br>let <span id="var8-5" class="name-decl" data-name="var8-5">b</span> = <a href="#var7-5" class="name-use" data-name="var7-5">a</a> <br>-<br>in <a href="#var7-5" data-name="var7-5" class="name-use">a</a>.<a href="#var7-11" data-name="var7-11" class="name-use">x</a> + <a href="#var8-5" data-name="var8-5" class="name-use">b</a>.<a href="#var7-11" data-name="var7-11" class="name-use">x</a>+<br>in <a href="#var7-5" class="name-use" data-name="var7-5">a</a>.<a href="#var7-11" class="name-use" data-name="var7-11">x</a> + <a href="#var8-5" class="name-use" data-name="var8-5">b</a>.<a href="#var7-11" class="name-use" data-name="var7-11">x</a> <br> </pre> </div>
tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall</span>+<span class="title-crumb" href="index.html">JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall</span> </h2>-<a data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -38,12 +38,12 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>On this example, `dhall-docs` will detect that the variable `a` is bounded<br>to a record literal and it will be aware that it uses dot-syntax.<br>-<br>When the user clicks `x` from `a.x`, it will jump to the `x` on the record-literal.<br>The same applies for each other field.<br>-}<br>let <span data-name="var8-5" id="var8-5" class="name-decl">a</span> = { <span data-name="var8-11" id="var8-11" class="name-decl">x</span>.<span data-name="var8-13" id="var8-13" class="name-decl">y</span>.<span data-name="var8-15" id="var8-15" class="name-decl">z</span> = 1 }<br>-<br>let <span data-name="var10-5" id="var10-5" class="name-decl">ax</span> = <a href="#var8-5" data-name="var8-5" class="name-use">a</a>.<a href="#var8-11" data-name="var8-11" class="name-use">x</a>-<br>let <span data-name="var11-5" id="var11-5" class="name-decl">axy</span> = <a href="#var8-5" data-name="var8-5" class="name-use">a</a>.<a href="#var8-11" data-name="var8-11" class="name-use">x</a>.<a href="#var8-13" data-name="var8-13" class="name-use">y</a>-<br>let <span data-name="var12-5" id="var12-5" class="name-decl">axyz</span> = <a href="#var8-5" data-name="var8-5" class="name-use">a</a>.<a href="#var8-11" data-name="var8-11" class="name-use">x</a>.<a href="#var8-13" data-name="var8-13" class="name-use">y</a>.<a href="#var8-15" data-name="var8-15" class="name-use">z</a>+<br>When the user clicks `x` from `a.x`, it will jump to the `x` on the record-literal.<br>The same applies for each other field.<br>-}<br>let <span id="var8-5" class="name-decl" data-name="var8-5">a</span> = { <span id="var8-11" class="name-decl" data-name="var8-11">x</span>.<span id="var8-13" class="name-decl" data-name="var8-13">y</span>.<span id="var8-15" class="name-decl" data-name="var8-15">z</span> = 1 }<br>+<br>let <span id="var10-5" class="name-decl" data-name="var10-5">ax</span> = <a href="#var8-5" class="name-use" data-name="var8-5">a</a>.<a href="#var8-11" class="name-use" data-name="var8-11">x</a>+<br>let <span id="var11-5" class="name-decl" data-name="var11-5">axy</span> = <a href="#var8-5" class="name-use" data-name="var8-5">a</a>.<a href="#var8-11" class="name-use" data-name="var8-11">x</a>.<a href="#var8-13" class="name-use" data-name="var8-13">y</a>+<br>let <span id="var12-5" class="name-decl" data-name="var12-5">axyz</span> = <a href="#var8-5" class="name-use" data-name="var8-5">a</a>.<a href="#var8-11" class="name-use" data-name="var8-11">x</a>.<a href="#var8-13" class="name-use" data-name="var8-13">y</a>.<a href="#var8-15" class="name-use" data-name="var8-15">z</a> <br>-<br>in <a href="#var10-5" data-name="var10-5" class="name-use">ax</a>.<a href="#var8-13" data-name="var8-13" class="name-use">y</a>.<a href="#var8-15" data-name="var8-15" class="name-use">z</a> + <a href="#var11-5" data-name="var11-5" class="name-use">axy</a>.<a href="#var8-15" data-name="var8-15" class="name-use">z</a> + <a href="#var12-5" data-name="var12-5" class="name-use">axyz</a>+<br>in <a href="#var10-5" class="name-use" data-name="var10-5">ax</a>.<a href="#var8-13" class="name-use" data-name="var8-13">y</a>.<a href="#var8-15" class="name-use" data-name="var8-15">z</a> + <a href="#var11-5" class="name-use" data-name="var11-5">axy</a>.<a href="#var8-15" class="name-use" data-name="var8-15">z</a> + <a href="#var12-5" class="name-use" data-name="var12-5">axyz</a> <br> </pre> </div>
tasty/data/golden/JumpToSelf.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToSelf.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToSelf.dhall</span>+<span class="title-crumb" href="index.html">JumpToSelf.dhall</span> </h2>-<a data-path="/JumpToSelf.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToSelf.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -34,8 +34,8 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>Althtough Dhall forbids cyclic imports, `dhall-docs` can handle them properly<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">selfs</span> =<br> [ <a href="./JumpToSelf.dhall.html">./JumpToSelf.dhall</a>-<br> , <a href="../package/JumpToSelf.dhall.html">../package/JumpToSelf.dhall</a> ]<br>in <a href="#var4-5" data-name="var4-5" class="name-use">selfs</a>+<pre>{-|<br>Althtough Dhall forbids cyclic imports, `dhall-docs` can handle them properly<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">selfs</span> =<br> [ <a href="./JumpToSelf.dhall.html">./JumpToSelf.dhall</a>+<br> , <a href="../package/JumpToSelf.dhall.html">../package/JumpToSelf.dhall</a> ]<br>in <a href="#var4-5" class="name-use" data-name="var4-5">selfs</a> <br> </pre> </div>
tasty/data/golden/JumpToUrls.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/JumpToUrls.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToUrls.dhall</span>+<span class="title-crumb" href="index.html">JumpToUrls.dhall</span> </h2>-<a data-path="/JumpToUrls.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/JumpToUrls.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,9 +37,9 @@ <div class="source-code"> <pre>{-|<br>Example taken from [dhall documentation](https://docs.dhall-lang.org/tutorials/Language-Tour.html#prelude)<br>-}<br> <br>-<br>let <span data-name="var6-5" id="var6-5" class="name-decl">List/generate</span> = <a href="https://prelude.dhall-lang.org/v15.0.0/List/generate" target="_blank">https://prelude.dhall-lang.org/v15.0.0/List/generate</a>+<br>let <span id="var6-5" class="name-decl" data-name="var6-5">List/generate</span> = <a href="https://prelude.dhall-lang.org/v15.0.0/List/generate" target="_blank">https://prelude.dhall-lang.org/v15.0.0/List/generate</a> <br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">List/generate</a> 10 Text (\(<span data-name="var8-29" id="var8-29" class="name-decl">n</span> : Natural) -> "Result #${Natural/show <a href="#var8-29" data-name="var8-29" class="name-use">n</a>}")<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">List/generate</a> 10 Text (\(<span id="var8-29" class="name-decl" data-name="var8-29">n</span> : Natural) -> "Result #${Natural/show <a href="#var8-29" class="name-use" data-name="var8-29">n</a>}")<br> <br> </pre> </div>
tasty/data/golden/MarkdownExample.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/MarkdownExample.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">MarkdownExample.dhall</span>+<span class="title-crumb" href="index.html">MarkdownExample.dhall</span> </h2>-<a data-path="/MarkdownExample.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/MarkdownExample.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/MultilineIndentationExample.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/MultilineIndentationExample.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">MultilineIndentationExample.dhall</span>+<span class="title-crumb" href="index.html">MultilineIndentationExample.dhall</span> </h2>-<a data-path="/MultilineIndentationExample.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/MultilineIndentationExample.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/NoDoc.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/NoDoc.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">NoDoc.dhall</span>+<span class="title-crumb" href="index.html">NoDoc.dhall</span> </h2>-<a data-path="/NoDoc.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/NoDoc.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/NonDhallDocsCommentAfterValid.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">NonDhallDocsCommentAfterValid.dhall</span>+<span class="title-crumb" href="index.html">NonDhallDocsCommentAfterValid.dhall</span> </h2>-<a data-path="/NonDhallDocsCommentAfterValid.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/NonDhallDocsCommentAfterValid.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/OrdinaryAnnotation.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/OrdinaryAnnotation.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">OrdinaryAnnotation.dhall</span>+<span class="title-crumb" href="index.html">OrdinaryAnnotation.dhall</span> </h2>-<a data-path="/OrdinaryAnnotation.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/OrdinaryAnnotation.dhall"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/Pair.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/Pair.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">Pair.dhall</span>+<span class="title-crumb" href="index.html">Pair.dhall</span> </h2>-<a data-path="/Pair.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/Pair.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -36,9 +36,9 @@ <div class="source-code"> <pre> <br>{-|<br>Just a *Pair* right here<br>-}<br>-<br>let <span data-name="var6-5" id="var6-5" class="name-decl">Pair</span>-<br> : forall(A: Type) -- | Type of first position<br> -> forall(B: Type) -- | Type of second position<br> -> Type<br> = λ(<span data-name="var10-7" id="var10-7" class="name-decl">A</span>: Type) -> λ(<span data-name="var10-21" id="var10-21" class="name-decl">B</span>: Type) -> {first: <a href="#var10-7" data-name="var10-7" class="name-use">A</a>, second: <a href="#var10-21" data-name="var10-21" class="name-use">B</a>}<br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">Pair</a>+<br>let <span id="var6-5" class="name-decl" data-name="var6-5">Pair</span>+<br> : forall(A: Type) -- | Type of first position<br> -> forall(B: Type) -- | Type of second position<br> -> Type<br> = λ(<span id="var10-7" class="name-decl" data-name="var10-7">A</span>: Type) -> λ(<span id="var10-21" class="name-decl" data-name="var10-21">B</span>: Type) -> {first: <a href="#var10-7" class="name-use" data-name="var10-7">A</a>, second: <a href="#var10-21" class="name-use" data-name="var10-21">B</a>}<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">Pair</a> <br> </pre> </div>
tasty/data/golden/RenderTypeIndexesExample.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/RenderTypeIndexesExample.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">RenderTypeIndexesExample.dhall</span>+<span class="title-crumb" href="index.html">RenderTypeIndexesExample.dhall</span> </h2>-<a data-path="/RenderTypeIndexesExample.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/RenderTypeIndexesExample.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -36,8 +36,8 @@ <h3>Source</h3> <div class="source-code"> <pre>{-|<br>This example shows that `dhall-docs` will find render the correct type on the<br>index respecting variable indices<br>-}<br>-<br>let <span data-name="var6-5" id="var6-5" class="name-decl">x</span> : Bool = True<br>let x : Natural = 1<br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">x@1</a>+<br>let <span id="var6-5" class="name-decl" data-name="var6-5">x</span> : Bool = True<br>let x : Natural = 1<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">x@1</a> <br> </pre> </div>
tasty/data/golden/TwoAnnotations.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/TwoAnnotations.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">TwoAnnotations.dhall</span>+<span class="title-crumb" href="index.html">TwoAnnotations.dhall</span> </h2>-<a data-path="/TwoAnnotations.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/TwoAnnotations.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -36,9 +36,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-|<br>This expression contains type annotations on both the `let` binding and on the<br>body of the `let` expression. The documentation generator prefers to use the<br>latter annotation.<br>-}<br>let <span data-name="var6-5" id="var6-5" class="name-decl">x</span> = 1<br>-<br>let <span data-name="var8-5" id="var8-5" class="name-decl">y</span> = Natural<br>-<br>in <a href="#var6-5" data-name="var6-5" class="name-use">x</a> : <a href="#var8-5" data-name="var8-5" class="name-use">y</a>+<pre>{-|<br>This expression contains type annotations on both the `let` binding and on the<br>body of the `let` expression. The documentation generator prefers to use the<br>latter annotation.<br>-}<br>let <span id="var6-5" class="name-decl" data-name="var6-5">x</span> = 1<br>+<br>let <span id="var8-5" class="name-decl" data-name="var8-5">y</span> = Natural<br>+<br>in <a href="#var6-5" class="name-use" data-name="var6-5">x</a> : <a href="#var8-5" class="name-use" data-name="var8-5">y</a> <br> </pre> </div>
tasty/data/golden/a/JumpToParent.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/JumpToParent.dhall</title>-<link href="../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,11 +21,11 @@ <span class="crumb-divider">/</span> <a href="../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">a</a>+<a class="title-crumb" href="index.html">a</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToParent.dhall</span>+<span class="title-crumb" href="index.html">JumpToParent.dhall</span> </h2>-<a data-path="/a/JumpToParent.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/JumpToParent.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -35,9 +35,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>let <span data-name="var1-5" id="var1-5" class="name-decl">parents</span> =<br> [ <a href="../IndexesExample.dhall.html">../IndexesExample.dhall</a>+<pre>let <span id="var1-5" class="name-decl" data-name="var1-5">parents</span> =<br> [ <a href="../IndexesExample.dhall.html">../IndexesExample.dhall</a> <br> ]<br>-<br>in <a href="#var1-5" data-name="var1-5" class="name-use">parents</a>+<br>in <a href="#var1-5" class="name-use" data-name="var1-5">parents</a> <br> </pre> </div>
tasty/data/golden/a/b.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b.dhall</title>-<link href="../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,11 +21,11 @@ <span class="crumb-divider">/</span> <a href="../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">a</a>+<a class="title-crumb" href="index.html">a</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">b.dhall</span>+<span class="title-crumb" href="index.html">b.dhall</span> </h2>-<a data-path="/a/b.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -36,7 +36,7 @@ <h3>Source</h3> <div class="source-code"> <pre>{-<br>Hi there boys<br>-}<br>-<br>let <span data-name="var5-5" id="var5-5" class="name-decl">b</span> = 1 in <a href="#var5-5" data-name="var5-5" class="name-use">b</a>+<br>let <span id="var5-5" class="name-decl" data-name="var5-5">b</span> = 1 in <a href="#var5-5" class="name-use" data-name="var5-5">b</a> <br> </pre> </div>
tasty/data/golden/a/b/JumpToGrandfather.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b/JumpToGrandfather.dhall</title>-<link href="../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,13 +21,13 @@ <span class="crumb-divider">/</span> <a href="../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">a</a>+<a class="title-crumb" href="../index.html">a</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">b</a>+<a class="title-crumb" href="index.html">b</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">JumpToGrandfather.dhall</span>+<span class="title-crumb" href="index.html">JumpToGrandfather.dhall</span> </h2>-<a data-path="/a/b/JumpToGrandfather.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b/JumpToGrandfather.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -37,9 +37,9 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>let <span data-name="var1-5" id="var1-5" class="name-decl">parents</span> =<br> [ <a href="../../IndexesExample.dhall.html">../../IndexesExample.dhall</a>+<pre>let <span id="var1-5" class="name-decl" data-name="var1-5">parents</span> =<br> [ <a href="../../IndexesExample.dhall.html">../../IndexesExample.dhall</a> <br> ]<br>-<br>in <a href="#var1-5" data-name="var1-5" class="name-use">parents</a>+<br>in <a href="#var1-5" class="name-use" data-name="var1-5">parents</a> <br> </pre> </div>
tasty/data/golden/a/b/c.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b/c.dhall</title>-<link href="../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,13 +21,13 @@ <span class="crumb-divider">/</span> <a href="../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">a</a>+<a class="title-crumb" href="../index.html">a</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">b</a>+<a class="title-crumb" href="index.html">b</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">c.dhall</span>+<span class="title-crumb" href="index.html">c.dhall</span> </h2>-<a data-path="/a/b/c.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b/c.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -38,7 +38,7 @@ <h3>Source</h3> <div class="source-code"> <pre>{-<br>Hi there boys<br>-}<br>-<br>let <span data-name="var5-5" id="var5-5" class="name-decl">c</span> = 1 in <a href="#var5-5" data-name="var5-5" class="name-use">c</a>+<br>let <span id="var5-5" class="name-decl" data-name="var5-5">c</span> = 1 in <a href="#var5-5" class="name-use" data-name="var5-5">c</a> <br> </pre> </div>
tasty/data/golden/a/b/c/a.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b/c/a.dhall</title>-<link href="../../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,15 +21,15 @@ <span class="crumb-divider">/</span> <a href="../../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../../index.html" class="title-crumb">a</a>+<a class="title-crumb" href="../../index.html">a</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">b</a>+<a class="title-crumb" href="../index.html">b</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">c</a>+<a class="title-crumb" href="index.html">c</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">a.dhall</span>+<span class="title-crumb" href="index.html">a.dhall</span> </h2>-<a data-path="/a/b/c/a.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b/c/a.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -40,7 +40,7 @@ <h3>Source</h3> <div class="source-code"> <pre>{-<br>Hi there boys<br>-}<br>-<br>let <span data-name="var5-5" id="var5-5" class="name-decl">a</span> = 1 in <a href="#var5-5" data-name="var5-5" class="name-use">a</a>+<br>let <span id="var5-5" class="name-decl" data-name="var5-5">a</span> = 1 in <a href="#var5-5" class="name-use" data-name="var5-5">a</a> <br> </pre> </div>
tasty/data/golden/a/b/c/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b/c</title>-<link href="../../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,13 +21,13 @@ <span class="crumb-divider">/</span> <a href="../../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../../index.html" class="title-crumb">a</a>+<a class="title-crumb" href="../../index.html">a</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">b</a>+<a class="title-crumb" href="../index.html">b</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">c</span>+<span class="title-crumb" href="index.html">c</span> </h2>-<a data-path="/a/b/c" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b/c"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/a/b/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a/b</title>-<link href="../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,11 +21,11 @@ <span class="crumb-divider">/</span> <a href="../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">a</a>+<a class="title-crumb" href="../index.html">a</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">b</span>+<span class="title-crumb" href="index.html">b</span> </h2>-<a data-path="/a/b" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a/b"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/a/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/a</title>-<link href="../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="../index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">a</span>+<span class="title-crumb" href="index.html">a</span> </h2>-<a data-path="/a" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/a"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/deep/nested/folder/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/deep/nested/folder</title>-<link href="../../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,13 +21,13 @@ <span class="crumb-divider">/</span> <a href="../../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../../index.html" class="title-crumb">deep</a>+<a class="title-crumb" href="../../index.html">deep</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">nested</a>+<a class="title-crumb" href="../index.html">nested</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">folder</span>+<span class="title-crumb" href="index.html">folder</span> </h2>-<a data-path="/deep/nested/folder" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/deep/nested/folder"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/deep/nested/folder/my-even.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/deep/nested/folder/my-even.dhall</title>-<link href="../../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,15 +21,15 @@ <span class="crumb-divider">/</span> <a href="../../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../../index.html" class="title-crumb">deep</a>+<a class="title-crumb" href="../../index.html">deep</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">nested</a>+<a class="title-crumb" href="../index.html">nested</a> <span class="crumb-divider">/</span>-<a href="index.html" class="title-crumb">folder</a>+<a class="title-crumb" href="index.html">folder</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">my-even.dhall</span>+<span class="title-crumb" href="index.html">my-even.dhall</span> </h2>-<a data-path="/deep/nested/folder/my-even.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/deep/nested/folder/my-even.dhall"> <i> <small>Copy path to clipboard</small> </i>@@ -46,10 +46,10 @@ </div> <h3>Source</h3> <div class="source-code">-<pre>{-<br>Check if a natural is even or not returning an union data-type<br>-}<br>let <span data-name="var4-5" id="var4-5" class="name-decl">my-even</span>-<br> : Natural → < even | odd ><br> = λ(<span data-name="var6-9" id="var6-9" class="name-decl">n</span> : Natural) →<br> if Natural/even <a href="#var6-9" data-name="var6-9" class="name-use">n</a> then < even | odd>.even else < even | odd >.odd<br>-<br>let example0 = assert : <a href="#var4-5" data-name="var4-5" class="name-use">my-even</a> 1 === <even | odd>.odd<br>let example0 = assert : <a href="#var4-5" data-name="var4-5" class="name-use">my-even</a> 2 === <even | odd>.even<br>-<br>in <a href="#var4-5" data-name="var4-5" class="name-use">my-even</a>+<pre>{-<br>Check if a natural is even or not returning an union data-type<br>-}<br>let <span id="var4-5" class="name-decl" data-name="var4-5">my-even</span>+<br> : Natural → < even | odd ><br> = λ(<span id="var6-9" class="name-decl" data-name="var6-9">n</span> : Natural) →<br> if Natural/even <a href="#var6-9" class="name-use" data-name="var6-9">n</a> then < even | odd>.even else < even | odd >.odd<br>+<br>let example0 = assert : <a href="#var4-5" class="name-use" data-name="var4-5">my-even</a> 1 === <even | odd>.odd<br>let example0 = assert : <a href="#var4-5" class="name-use" data-name="var4-5">my-even</a> 2 === <even | odd>.even<br>+<br>in <a href="#var4-5" class="name-use" data-name="var4-5">my-even</a> <br> </pre> </div>
tasty/data/golden/deep/nested/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/deep/nested</title>-<link href="../../index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="../../index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="../../index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="../../index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="../../dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="../../dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,11 +21,11 @@ <span class="crumb-divider">/</span> <a href="../../index.html">test-package</a> <span class="crumb-divider">/</span>-<a href="../index.html" class="title-crumb">deep</a>+<a class="title-crumb" href="../index.html">deep</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">nested</span>+<span class="title-crumb" href="index.html">nested</span> </h2>-<a data-path="/deep/nested" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/deep/nested"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/index.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,10 +21,10 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">+<span class="title-crumb" href="index.html"> </span> </h2>-<a data-path="/" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/"> <i> <small>Copy path to clipboard</small> </i>
tasty/data/golden/package.dhall.html view
@@ -2,15 +2,15 @@ <html> <head> <title>/package.dhall</title>-<link href="index.css" type="text/css" rel="stylesheet">-<link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap" type="text/css" rel="stylesheet">-<script src="index.js" type="text/javascript">+<link rel="stylesheet" type="text/css" href="index.css">+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">+<script type="text/javascript" src="index.js"> </script> <meta charset="UTF-8"> </head> <body> <div class="nav-bar">-<img src="dhall-icon.svg" class="dhall-icon">+<img class="dhall-icon" src="dhall-icon.svg"> <p class="package-title">test-package</p> <div class="nav-bar-content-divider"> </div>@@ -21,9 +21,9 @@ <span class="crumb-divider">/</span> <a href="index.html">test-package</a> <span class="crumb-divider">/</span>-<span href="index.html" class="title-crumb">package.dhall</span>+<span class="title-crumb" href="index.html">package.dhall</span> </h2>-<a data-path="/package.dhall" class="copy-to-clipboard">+<a class="copy-to-clipboard" data-path="/package.dhall"> <i> <small>Copy path to clipboard</small> </i>