Skip to content

Commit

Permalink
Deploying to gh-pages from @ e9a7f74 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
benjamin-hodgson committed Feb 26, 2024
1 parent 018c8f9 commit a233cb3
Show file tree
Hide file tree
Showing 54 changed files with 40,500 additions and 0 deletions.
513 changes: 513 additions & 0 deletions v3.2.3/Pidgin.Comment.CommentParser.html

Large diffs are not rendered by default.

243 changes: 243 additions & 0 deletions v3.2.3/Pidgin.Comment.html

Large diffs are not rendered by default.

399 changes: 399 additions & 0 deletions v3.2.3/Pidgin.Configuration.CharDefaultConfiguration.html

Large diffs are not rendered by default.

482 changes: 482 additions & 0 deletions v3.2.3/Pidgin.Configuration.Configuration.html

Large diffs are not rendered by default.

384 changes: 384 additions & 0 deletions v3.2.3/Pidgin.Configuration.DefaultArrayPoolProvider.html

Large diffs are not rendered by default.

444 changes: 444 additions & 0 deletions v3.2.3/Pidgin.Configuration.DefaultConfiguration-1.html

Large diffs are not rendered by default.

303 changes: 303 additions & 0 deletions v3.2.3/Pidgin.Configuration.IArrayPoolProvider.html

Large diffs are not rendered by default.

343 changes: 343 additions & 0 deletions v3.2.3/Pidgin.Configuration.IConfiguration-1.html

Large diffs are not rendered by default.

271 changes: 271 additions & 0 deletions v3.2.3/Pidgin.Configuration.html

Large diffs are not rendered by default.

1,010 changes: 1,010 additions & 0 deletions v3.2.3/Pidgin.Expected-1.html

Large diffs are not rendered by default.

276 changes: 276 additions & 0 deletions v3.2.3/Pidgin.Expression.BinaryOperatorType.html

Large diffs are not rendered by default.

1,041 changes: 1,041 additions & 0 deletions v3.2.3/Pidgin.Expression.ExpressionParser.html

Large diffs are not rendered by default.

1,149 changes: 1,149 additions & 0 deletions v3.2.3/Pidgin.Expression.Operator.html

Large diffs are not rendered by default.

638 changes: 638 additions & 0 deletions v3.2.3/Pidgin.Expression.OperatorTableRow-2.html

Large diffs are not rendered by default.

270 changes: 270 additions & 0 deletions v3.2.3/Pidgin.Expression.UnaryOperatorType.html

Large diffs are not rendered by default.

281 changes: 281 additions & 0 deletions v3.2.3/Pidgin.Expression.html

Large diffs are not rendered by default.

415 changes: 415 additions & 0 deletions v3.2.3/Pidgin.ITokenStream-1.html

Large diffs are not rendered by default.

1,306 changes: 1,306 additions & 0 deletions v3.2.3/Pidgin.Maybe-1.html

Large diffs are not rendered by default.

401 changes: 401 additions & 0 deletions v3.2.3/Pidgin.Maybe.html

Large diffs are not rendered by default.

957 changes: 957 additions & 0 deletions v3.2.3/Pidgin.ParseError-1.html

Large diffs are not rendered by default.

307 changes: 307 additions & 0 deletions v3.2.3/Pidgin.ParseException.html

Large diffs are not rendered by default.

698 changes: 698 additions & 0 deletions v3.2.3/Pidgin.ParseState-1.html

Large diffs are not rendered by default.

1,090 changes: 1,090 additions & 0 deletions v3.2.3/Pidgin.Parser-1.html

Large diffs are not rendered by default.

3,755 changes: 3,755 additions & 0 deletions v3.2.3/Pidgin.Parser-2.html

Large diffs are not rendered by default.

3,782 changes: 3,782 additions & 0 deletions v3.2.3/Pidgin.Parser.html

Large diffs are not rendered by default.

2,215 changes: 2,215 additions & 0 deletions v3.2.3/Pidgin.ParserExtensions.html

Large diffs are not rendered by default.

978 changes: 978 additions & 0 deletions v3.2.3/Pidgin.Permutation.PermutationParser-2.html

Large diffs are not rendered by default.

332 changes: 332 additions & 0 deletions v3.2.3/Pidgin.Permutation.PermutationParser.html

Large diffs are not rendered by default.

258 changes: 258 additions & 0 deletions v3.2.3/Pidgin.Permutation.html

Large diffs are not rendered by default.

1,145 changes: 1,145 additions & 0 deletions v3.2.3/Pidgin.PooledList-1.html

Large diffs are not rendered by default.

502 changes: 502 additions & 0 deletions v3.2.3/Pidgin.ReadOnlySpanFunc-3.html

Large diffs are not rendered by default.

1,056 changes: 1,056 additions & 0 deletions v3.2.3/Pidgin.Result-2.html

Large diffs are not rendered by default.

1,198 changes: 1,198 additions & 0 deletions v3.2.3/Pidgin.SourcePos.html

Large diffs are not rendered by default.

1,228 changes: 1,228 additions & 0 deletions v3.2.3/Pidgin.SourcePosDelta.html

Large diffs are not rendered by default.

454 changes: 454 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.EnumeratorTokenStream-1.html

Large diffs are not rendered by default.

451 changes: 451 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.ListTokenStream-1.html

Large diffs are not rendered by default.

451 changes: 451 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.ReadOnlyListTokenStream-1.html

Large diffs are not rendered by default.

438 changes: 438 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.ReaderTokenStream.html

Large diffs are not rendered by default.

514 changes: 514 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.ResumableTokenStream-1.html

Large diffs are not rendered by default.

438 changes: 438 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.StreamTokenStream.html

Large diffs are not rendered by default.

264 changes: 264 additions & 0 deletions v3.2.3/Pidgin.TokenStreams.html

Large diffs are not rendered by default.

313 changes: 313 additions & 0 deletions v3.2.3/Pidgin.Unit.html

Large diffs are not rendered by default.

347 changes: 347 additions & 0 deletions v3.2.3/Pidgin.html

Large diffs are not rendered by default.

164 changes: 164 additions & 0 deletions v3.2.3/css/highlight.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,164 @@
.hljs {
/* https://github.com/highlightjs/highlight.js/blob/3209cca58146c1287123c3d3bb3eb982174d64fd/src/styles/github.css */
/* prettylights-syntax-keyword */
--keyword: #d73a49;
/* prettylights-syntax-entity */
--entity: #6f42c1;
/* prettylights-syntax-constant */
--constant: #005cc5;
/* prettylights-syntax-string */
--string: #032f62;
/* prettylights-syntax-variable */
--variable: #e36209;
/* prettylights-syntax-comment */
--comment: #6a737d;
/* prettylights-syntax-entity-tag */
--entity-tag: #22863a;
/* prettylights-syntax-storage-modifier-import */
--storage-modifier-import: #24292e;
/* prettylights-syntax-markup-heading */
--markup-heading: #005cc5;
/* prettylights-syntax-markup-list */
--markup-list: #735c0f;
/* prettylights-syntax-markup-italic */
--markup-italic: #24292e;
/* prettylights-syntax-markup-bold */
--markup-bold: #24292e;
/* prettylights-syntax-markup-inserted */
--markup-inserted: #22863a;
--markup-inserted-bg: #f0fff4;
/* prettylights-syntax-markup-deleted */
--markup-deleted: #b31d28;
--markup-deleted-bg: #ffeef0;
}

@media (prefers-color-scheme: dark) {
.hljs {
/* https://github.com/highlightjs/highlight.js/blob/3209cca58146c1287123c3d3bb3eb982174d64fd/src/styles/github-dark.css */
/* prettylights-syntax-keyword */
--keyword: #ff7b72;
/* prettylights-syntax-entity */
--entity: #d2a8ff;
/* prettylights-syntax-constant */
--constant: #79c0ff;
/* prettylights-syntax-string */
--string: #a5d6ff;
/* prettylights-syntax-variable */
--variable: #ffa657;
/* prettylights-syntax-comment */
--comment: #8b949e;
/* prettylights-syntax-entity-tag */
--entity-tag: #7ee787;
/* prettylights-syntax-storage-modifier-import */
--storage-modifier-import: #c9d1d9;
/* prettylights-syntax-markup-heading */
--markup-heading: #1f6feb;
/* prettylights-syntax-markup-list */
--markup-list: #f2cc60;
/* prettylights-syntax-markup-italic */
--markup-italic: #c9d1d9;
/* prettylights-syntax-markup-bold */
--markup-bold: #c9d1d9;
/* prettylights-syntax-markup-inserted */
--markup-inserted: #aff5b4;
--markup-inserted-bg: #033a16;
/* prettylights-syntax-markup-deleted */
--markup-deleted: #ffdcd7;
--markup-deleted-bg: #67060c;
}
}

.hljs-doctag,
.hljs-keyword,
.hljs-meta .hljs-keyword,
.hljs-template-tag,
.hljs-template-variable,
.hljs-type,
.hljs-variable.language_ {
color: var(--keyword);
}

.hljs-title,
.hljs-title.class_,
.hljs-title.class_.inherited__,
.hljs-title.function_ {
color: var(--entity);
}

.hljs-attr,
.hljs-attribute,
.hljs-literal,
.hljs-meta,
.hljs-number,
.hljs-operator,
.hljs-variable,
.hljs-selector-attr,
.hljs-selector-class,
.hljs-selector-id {
color: var(--constant);
}

.hljs-regexp,
.hljs-string,
.hljs-meta .hljs-string {
color: var(--string);
}

.hljs-built_in,
.hljs-symbol {
color: var(--variable);
}

.hljs-comment,
.hljs-code,
.hljs-formula {
color: var(--comment);
}

.hljs-name,
.hljs-quote,
.hljs-selector-tag,
.hljs-selector-pseudo {
color: var(--entity-tag);
}

.hljs-subst {
color: var(--storage-modifier-import);
}

.hljs-section {
color: var(--markup-heading);
font-weight: bold;
}

.hljs-bullet {
color: var(--markup-list);
}

.hljs-emphasis {
color: var(--markup-italic);
font-style: italic;
}

.hljs-strong {
color: var(--markup-bold);
font-weight: bold;
}

.hljs-addition {
color: var(--markup-inserted);
background-color: var(--markup-inserted-bg);
}

.hljs-deletion {
color: var(--markup-deleted);
background-color: var(--markup-deleted-bg);
}

.hljs-char.escape_,
.hljs-link,
.hljs-params,
.hljs-property,
.hljs-punctuation,
.hljs-tag {/* purposely ignored */
}
178 changes: 178 additions & 0 deletions v3.2.3/css/main.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,178 @@
body {
max-width: 1200px;
}

header {
border-bottom: 1px solid var(--border);
padding-bottom: 12px;
}
header .title {
margin: 0;
}
header .title a {
color: inherit;
}

#toc {
background-color: var(--background-alt);
padding: 8px;
}
#toc ul {
list-style: none;
display: none;
padding-left: 0;
margin: 0;
}
#toc ul.active {
display: block;
}
#toc ul ul {
padding-left: 24px;
}
#toc .expander {
color: var(--text-muted) !important;
}
#toc .expander::before {
content: '\1405';
}
#toc .expander.active::before {
content: '\1401';
}
#toc a.active {
color: var(--text-muted) !important;
}
#toc-filter {
width: 100%;
box-sizing: border-box;
}


#local-toc {
font-size: 0.76em;
}
#local-toc ul {
list-style: none;
padding-left: 4px;
margin: 0;
display: none;
}
#local-toc ul.active {
display: block;
}
#local-toc a.active {
color: var(--text-muted) !important;
}

#search-results {
max-width: 820px;
margin-left: auto;
margin-right: auto;
}
.search-results-list {
list-style: none;
padding: 0;
max-width: 900px;
}

.sticky {
position: sticky;
top: 24px;
margin-top: 24px;
max-height: 80vh;
overflow: auto;
}

button.link {
background: none !important;
border: none;
padding: 0 !important;
margin: 0 !important;
color: var(--links);
text-decoration: none;
cursor: pointer;
transform: none !important;
display: inline;
}

.centre {
margin-left: auto;
margin-right: auto;
}


.columns {
display: flex;
flex-direction: row;
gap: 16px;
}

.col {
flex: 1;
min-width: 0;
}

.col-md {
flex: 0 0 240px;
}

.col-sm {
flex: 0 0 160px;
}

.row-space {
display: flex;
flex-direction: row;
justify-content: space-between;
align-items: center;
}

.hide {
display: none;
}
.sm\:block {
display: none;
}

@media (max-width:900px) {
.md\:hide {
display: none;
}
}
@media (max-width: 600px) {
.columns, .row-space {
flex-direction: column;
}
.col-md, .col-sm {
flex: auto;
}

.sm\:block {
display: block;
}
.sm\:hide {
display: none;
}
.sm\:hide.active {
display: block;
}
.sticky {
position: static;
}
}


h1 a:not(.xref), h2 a:not(.xref), h3 a:not(.xref), h4 a:not(.xref), h5 a:not(.xref), h6 a:not(.xref) {
color: var(--text-bright);
}
h1 a:not(.xref)::after, h2 a:not(.xref)::after, h3 a:not(.xref)::after, h4 a:not(.xref)::after, h5 a:not(.xref)::after, h6 a:not(.xref)::after {
content: " §";
display: none;
font-weight: normal;
color: var(--text-muted);
}
h1 a:not(.xref):hover, h2 a:not(.xref):hover, h3 a:not(.xref):hover, h4 a:not(.xref):hover, h5 a:not(.xref):hover, h6 a:not(.xref):hover {
text-decoration: none;
}
h1:hover a:not(.xref)::after, h2:hover a:not(.xref)::after, h3:hover a:not(.xref)::after, h4:hover a:not(.xref)::after, h5:hover a:not(.xref)::after, h6:hover a:not(.xref)::after {
display: inline;
}
14 changes: 14 additions & 0 deletions v3.2.3/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
<!DOCTYPE HTML>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="refresh" content="0; url=Pidgin">
<script type="text/javascript">
window.location.href = "Pidgin"
</script>
<title>Page Redirection</title>
</head>
<body>
Taking you to <a href='Pidgin'>the docs</a>...
</body>
</html>
Loading

0 comments on commit a233cb3

Please sign in to comment.