Skip to content

Commit 8a3b160

Browse files
author
IOHK
committed
Update gh-pages for 0256345 
1 parent f42e55d commit 8a3b160

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

59 files changed

+6930
-5251
lines changed

‎404.html

Lines changed: 73 additions & 40 deletions
Original file line numberDiff line numberDiff line change
@@ -1,44 +1,53 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="sidebar-visible no-js light">
2+
<html lang="en" class="light sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
6-
<title>Page not found - Alternative Haskell Infrastructure for Nixpkgs</title>
6+
<title>Page not found - Haskell.nix</title>
77
<base href="/">
8+
9+
810
<!-- Custom HTML head -->
9-
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
11+
1012
<meta name="description" content="">
1113
<meta name="viewport" content="width=device-width, initial-scale=1">
12-
<meta name="theme-color" content="#ffffff" />
14+
<meta name="theme-color" content="#ffffff">
1315

1416
<link rel="icon" href="favicon.svg">
1517
<link rel="shortcut icon" href="favicon.png">
1618
<link rel="stylesheet" href="css/variables.css">
1719
<link rel="stylesheet" href="css/general.css">
1820
<link rel="stylesheet" href="css/chrome.css">
1921
<link rel="stylesheet" href="css/print.css" media="print">
22+
2023
<!-- Fonts -->
2124
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
2225
<link rel="stylesheet" href="fonts/fonts.css">
26+
2327
<!-- Highlight.js Stylesheets -->
24-
<link rel="stylesheet" href="highlight.css">
25-
<link rel="stylesheet" href="tomorrow-night.css">
26-
<link rel="stylesheet" href="ayu-highlight.css">
28+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
29+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
30+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
2731

2832
<!-- Custom theme stylesheets -->
33+
34+
35+
<!-- Provide site root and default themes to javascript -->
36+
<script>
37+
const path_to_root = "";
38+
const default_light_theme = "light";
39+
const default_dark_theme = "navy";
40+
</script>
41+
<!-- Start loading toc.js asap -->
42+
<script src="toc.js"></script>
2943
</head>
3044
<body>
31-
<!-- Provide site root to javascript -->
32-
<script type="text/javascript">
33-
var path_to_root = "";
34-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
35-
</script>
36-
45+
<div id="body-container">
3746
<!-- Work around some values being stored in localStorage wrapped in quotes -->
38-
<script type="text/javascript">
47+
<script>
3948
try {
40-
var theme = localStorage.getItem('mdbook-theme');
41-
var sidebar = localStorage.getItem('mdbook-sidebar');
49+
let theme = localStorage.getItem('mdbook-theme');
50+
let sidebar = localStorage.getItem('mdbook-sidebar');
4251

4352
if (theme.startsWith('"') && theme.endsWith('"')) {
4453
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
@@ -51,50 +60,60 @@
5160
</script>
5261

5362
<!-- Set the theme before any content is loaded, prevents flash -->
54-
<script type="text/javascript">
55-
var theme;
63+
<script>
64+
const default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? default_dark_theme : default_light_theme;
65+
let theme;
5666
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
5767
if (theme === null || theme === undefined) { theme = default_theme; }
58-
var html = document.querySelector('html');
59-
html.classList.remove('no-js')
68+
const html = document.documentElement;
6069
html.classList.remove('light')
6170
html.classList.add(theme);
62-
html.classList.add('js');
71+
html.classList.add("js");
6372
</script>
6473

74+
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
75+
6576
<!-- Hide / unhide sidebar before it is displayed -->
66-
<script type="text/javascript">
67-
var html = document.querySelector('html');
68-
var sidebar = 'hidden';
77+
<script>
78+
let sidebar = null;
79+
const sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
6980
if (document.body.clientWidth >= 1080) {
7081
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
7182
sidebar = sidebar || 'visible';
83+
} else {
84+
sidebar = 'hidden';
7285
}
86+
sidebar_toggle.checked = sidebar === 'visible';
7387
html.classList.remove('sidebar-visible');
7488
html.classList.add("sidebar-" + sidebar);
7589
</script>
7690

7791
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
78-
<div class="sidebar-scrollbox">
79-
<ol class="chapter"><li class="chapter-item expanded "><a href="index.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="motivation.html"><strong aria-hidden="true">2.</strong> Motivation</a></li><li class="chapter-item expanded "><a href="architecture.html"><strong aria-hidden="true">3.</strong> Architecture</a></li><li class="chapter-item expanded "><a href="tutorials/index.html"><strong aria-hidden="true">4.</strong> Tutorials</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="tutorials/getting-started.html"><strong aria-hidden="true">4.1.</strong> Getting started</a></li><li class="chapter-item expanded "><a href="tutorials/getting-started-flakes.html"><strong aria-hidden="true">4.2.</strong> Getting started with Flakes</a></li><li class="chapter-item expanded "><a href="tutorials/getting-started-hix.html"><strong aria-hidden="true">4.3.</strong> Getting started with Hix</a></li><li class="chapter-item expanded "><a href="tutorials/development.html"><strong aria-hidden="true">4.4.</strong> Creating a development environment</a></li><li class="chapter-item expanded "><a href="tutorials/clean-git.html"><strong aria-hidden="true">4.5.</strong> Sourcing files only part of git repository using cleanGit</a></li><li class="chapter-item expanded "><a href="tutorials/source-repository-hashes.html"><strong aria-hidden="true">4.6.</strong> Handling git repositories in projects</a></li><li class="chapter-item expanded "><a href="tutorials/pkg-map.html"><strong aria-hidden="true">4.7.</strong> Mapping non-Haskell dependencies to Nixpkgs</a></li><li class="chapter-item expanded "><a href="tutorials/hackage-stackage.html"><strong aria-hidden="true">4.8.</strong> Bumping Hackage and Stackage snapshots</a></li><li class="chapter-item expanded "><a href="tutorials/materialization.html"><strong aria-hidden="true">4.9.</strong> Materialization: Speeding up Nix evaluation</a></li><li class="chapter-item expanded "><a href="tutorials/cross-compilation.html"><strong aria-hidden="true">4.10.</strong> Cross-compiling your project</a></li><li class="chapter-item expanded "><a href="tutorials/coverage.html"><strong aria-hidden="true">4.11.</strong> Generating coverage information</a></li><li class="chapter-item expanded "><a href="tutorials/building-package-from-stackage-hackage.html"><strong aria-hidden="true">4.12.</strong> Build a specific package from Hackage or Stackage</a></li><li class="chapter-item expanded "><a href="tutorials/ca-derivations.html"><strong aria-hidden="true">4.13.</strong> Content addressed derivations</a></li></ol></li><li class="chapter-item expanded "><a href="reference/index.html"><strong aria-hidden="true">5.</strong> Reference</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="reference/supported-ghc-versions.html"><strong aria-hidden="true">5.1.</strong> Supported GHC versions</a></li><li class="chapter-item expanded "><a href="reference/commands.html"><strong aria-hidden="true">5.2.</strong> Command-line tools</a></li><li class="chapter-item expanded "><a href="reference/library.html"><strong aria-hidden="true">5.3.</strong> Haskell.nix Library</a></li><li class="chapter-item expanded "><a href="reference/modules.html"><strong aria-hidden="true">5.4.</strong> Module options</a></li><li class="chapter-item expanded "><a href="troubleshooting.html"><strong aria-hidden="true">5.5.</strong> Troubleshooting</a></li></ol></li><li class="chapter-item expanded "><a href="template/index.html"><strong aria-hidden="true">6.</strong> Templates / Abstraction</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="template/iohk-nix.html"><strong aria-hidden="true">6.1.</strong> IOHKs nix library</a></li></ol></li><li class="chapter-item expanded "><a href="dev/index.html"><strong aria-hidden="true">7.</strong> Dev Notes</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="dev/dev-architecture.html"><strong aria-hidden="true">7.1.</strong> Architecture</a></li><li class="chapter-item expanded "><a href="dev/installing-nix-tools.html"><strong aria-hidden="true">7.2.</strong> Installing nix-tools</a></li><li class="chapter-item expanded "><a href="dev/nix-tools-pin.html"><strong aria-hidden="true">7.3.</strong> How to update nix-tools</a></li><li class="chapter-item expanded "><a href="dev/manually-generating-nix-expressions.html"><strong aria-hidden="true">7.4.</strong> Manually generating Nix expressions</a></li><li class="chapter-item expanded "><a href="dev/maintainer-scripts.html"><strong aria-hidden="true">7.5.</strong> Maintainer Scripts</a></li><li class="chapter-item expanded "><a href="dev/nixpkgs-pin.html"><strong aria-hidden="true">7.6.</strong> Nixpkgs Pin</a></li><li class="chapter-item expanded "><a href="dev/removing-with-package-wrapper.html"><strong aria-hidden="true">7.7.</strong> Removing withPackage wrapper</a></li><li class="chapter-item expanded "><a href="dev/tests.html"><strong aria-hidden="true">7.8.</strong> Test Suite</a></li><li class="chapter-item expanded "><a href="dev/adding-new-ghc.html"><strong aria-hidden="true">7.9.</strong> Adding a new GHC version</a></li><li class="chapter-item expanded "><a href="dev/coverage.html"><strong aria-hidden="true">7.10.</strong> Coverage</a></li><li class="chapter-item expanded "><a href="dev/hix.html"><strong aria-hidden="true">7.11.</strong> Making changes to Hix</a></li><li class="chapter-item expanded "><a href="changelog.html"><strong aria-hidden="true">7.12.</strong> ChangeLog</a></li></ol></li></ol>
92+
<!-- populated by js -->
93+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
94+
<noscript>
95+
<iframe class="sidebar-iframe-outer" src="toc.html"></iframe>
96+
</noscript>
97+
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
98+
<div class="sidebar-resize-indicator"></div>
8099
</div>
81-
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
82100
</nav>
83101

84102
<div id="page-wrapper" class="page-wrapper">
85103

86104
<div class="page">
87105
<div id="menu-bar-hover-placeholder"></div>
88-
<div id="menu-bar" class="menu-bar sticky bordered">
106+
<div id="menu-bar" class="menu-bar sticky">
89107
<div class="left-buttons">
90-
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
108+
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
91109
<i class="fa fa-bars"></i>
92-
</button>
110+
</label>
93111
<button id="theme-toggle" class="icon-button" type="button" title="Change theme" aria-label="Change theme" aria-haspopup="true" aria-expanded="false" aria-controls="theme-list">
94112
<i class="fa fa-paint-brush"></i>
95113
</button>
96114
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
97-
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
115+
<li role="none"><button role="menuitem" class="theme" id="default_theme">Auto</button></li>
116+
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
98117
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
99118
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
100119
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -105,12 +124,13 @@
105124
</button>
106125
</div>
107126

108-
<h1 class="menu-title">Alternative Haskell Infrastructure for Nixpkgs</h1>
127+
<h1 class="menu-title">Haskell.nix</h1>
109128

110129
<div class="right-buttons">
111130
<a href="print.html" title="Print this book" aria-label="Print this book">
112131
<i id="print-button" class="fa fa-print"></i>
113132
</a>
133+
114134
</div>
115135
</div>
116136

@@ -124,8 +144,9 @@ <h1 class="menu-title">Alternative Haskell Infrastructure for Nixpkgs</h1>
124144
</ul>
125145
</div>
126146
</div>
147+
127148
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
128-
<script type="text/javascript">
149+
<script>
129150
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
130151
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
131152
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -142,26 +163,38 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
142163

143164
<nav class="nav-wrapper" aria-label="Page navigation">
144165
<!-- Mobile navigation buttons -->
166+
167+
145168
<div style="clear: both"></div>
146169
</nav>
147170
</div>
148171
</div>
149172

150173
<nav class="nav-wide-wrapper" aria-label="Page navigation">
174+
151175
</nav>
152176

153177
</div>
154178

155-
<script type="text/javascript">
179+
180+
181+
182+
<script>
156183
window.playground_copyable = true;
157184
</script>
158-
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
159-
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
160-
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
161-
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
162-
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
163-
<script src="book.js" type="text/javascript" charset="utf-8"></script>
185+
186+
187+
<script src="elasticlunr.min.js"></script>
188+
<script src="mark.min.js"></script>
189+
<script src="searcher.js"></script>
190+
191+
<script src="clipboard.min.js"></script>
192+
<script src="highlight.js"></script>
193+
<script src="book.js"></script>
164194

165195
<!-- Custom JS scripts -->
196+
197+
198+
</div>
166199
</body>
167200
</html>

0 commit comments

Comments
 (0)