Skip to content

Instantly share code, notes, and snippets.

@hdgarrood

hdgarrood/Main.html

Created May 8, 2020
Embed
What would you like to do?
polykinds HTML docs example
<!DOCTYPE HTML>
<html><head><meta charset="utf-8"><meta http-equiv="X-UA-Compatible" content="IE=edge"><meta name="viewport" content="width=device-width, initial-scale=1"><title>PureScript: Main</title><link href="https://fonts.googleapis.com/css?family=Roboto+Mono|Roboto:300,400,400i,700,700i" type="text/css" rel="stylesheet"><style type="text/css">/*! normalize.css v3.0.2 | MIT License | git.io/normalize */
/**
* 1. Set default font family to sans-serif.
* 2. Prevent iOS text size adjust after orientation change, without disabling
* user zoom.
*/
html {
font-family: sans-serif; /* 1 */
-ms-text-size-adjust: 100%; /* 2 */
-webkit-text-size-adjust: 100%; /* 2 */
}
/**
* Remove default margin.
*/
body {
margin: 0;
}
/* HTML5 display definitions
========================================================================== */
/**
* Correct `block` display not defined for any HTML5 element in IE 8/9.
* Correct `block` display not defined for `details` or `summary` in IE 10/11
* and Firefox.
* Correct `block` display not defined for `main` in IE 11.
*/
article,
aside,
details,
figcaption,
figure,
footer,
header,
hgroup,
main,
menu,
nav,
section,
summary {
display: block;
}
/**
* 1. Correct `inline-block` display not defined in IE 8/9.
* 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.
*/
audio,
canvas,
progress,
video {
display: inline-block; /* 1 */
vertical-align: baseline; /* 2 */
}
/**
* Prevent modern browsers from displaying `audio` without controls.
* Remove excess height in iOS 5 devices.
*/
audio:not([controls]) {
display: none;
height: 0;
}
/**
* Address `[hidden]` styling not present in IE 8/9/10.
* Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.
*/
[hidden],
template {
display: none;
}
/* Links
========================================================================== */
/**
* Remove the gray background color from active links in IE 10.
*/
a {
background-color: transparent;
}
/**
* Improve readability when focused and also mouse hovered in all browsers.
*/
a:active,
a:hover {
outline: 0;
}
/* Text-level semantics
========================================================================== */
/**
* Address styling not present in IE 8/9/10/11, Safari, and Chrome.
*/
abbr[title] {
border-bottom: 1px dotted;
}
/**
* Address style set to `bolder` in Firefox 4+, Safari, and Chrome.
*/
b,
strong {
font-weight: bold;
}
/**
* Address styling not present in Safari and Chrome.
*/
dfn {
font-style: italic;
}
/**
* Address variable `h1` font-size and margin within `section` and `article`
* contexts in Firefox 4+, Safari, and Chrome.
*/
h1 {
font-size: 2em;
margin: 0.67em 0;
}
/**
* Address styling not present in IE 8/9.
*/
mark {
background: #ff0;
color: #000;
}
/**
* Address inconsistent and variable font size in all browsers.
*/
small {
font-size: 80%;
}
/**
* Prevent `sub` and `sup` affecting `line-height` in all browsers.
*/
sub,
sup {
font-size: 75%;
line-height: 0;
position: relative;
vertical-align: baseline;
}
sup {
top: -0.5em;
}
sub {
bottom: -0.25em;
}
/* Embedded content
========================================================================== */
/**
* Remove border when inside `a` element in IE 8/9/10.
*/
img {
border: 0;
}
/**
* Correct overflow not hidden in IE 9/10/11.
*/
svg:not(:root) {
overflow: hidden;
}
/* Grouping content
========================================================================== */
/**
* Address margin not present in IE 8/9 and Safari.
*/
figure {
margin: 1em 40px;
}
/**
* Address differences between Firefox and other browsers.
*/
hr {
-moz-box-sizing: content-box;
box-sizing: content-box;
height: 0;
}
/**
* Contain overflow in all browsers.
*/
pre {
overflow: auto;
}
/**
* Address odd `em`-unit font size rendering in all browsers.
*/
code,
kbd,
pre,
samp {
font-family: monospace, monospace;
font-size: 1em;
}
/* Forms
========================================================================== */
/**
* Known limitation: by default, Chrome and Safari on OS X allow very limited
* styling of `select`, unless a `border` property is set.
*/
/**
* 1. Correct color not being inherited.
* Known issue: affects color of disabled elements.
* 2. Correct font properties not being inherited.
* 3. Address margins set differently in Firefox 4+, Safari, and Chrome.
*/
button,
input,
optgroup,
select,
textarea {
color: inherit; /* 1 */
font: inherit; /* 2 */
margin: 0; /* 3 */
}
/**
* Address `overflow` set to `hidden` in IE 8/9/10/11.
*/
button {
overflow: visible;
}
/**
* Address inconsistent `text-transform` inheritance for `button` and `select`.
* All other form control elements do not inherit `text-transform` values.
* Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.
* Correct `select` style inheritance in Firefox.
*/
button,
select {
text-transform: none;
}
/**
* 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`
* and `video` controls.
* 2. Correct inability to style clickable `input` types in iOS.
* 3. Improve usability and consistency of cursor style between image-type
* `input` and others.
*/
button,
html input[type="button"], /* 1 */
input[type="reset"],
input[type="submit"] {
-webkit-appearance: button; /* 2 */
cursor: pointer; /* 3 */
}
/**
* Re-set default cursor for disabled elements.
*/
button[disabled],
html input[disabled] {
cursor: default;
}
/**
* Remove inner padding and border in Firefox 4+.
*/
button::-moz-focus-inner,
input::-moz-focus-inner {
border: 0;
padding: 0;
}
/**
* Address Firefox 4+ setting `line-height` on `input` using `!important` in
* the UA stylesheet.
*/
input {
line-height: normal;
}
/**
* It's recommended that you don't attempt to style these elements.
* Firefox's implementation doesn't respect box-sizing, padding, or width.
*
* 1. Address box sizing set to `content-box` in IE 8/9/10.
* 2. Remove excess padding in IE 8/9/10.
*/
input[type="checkbox"],
input[type="radio"] {
box-sizing: border-box; /* 1 */
padding: 0; /* 2 */
}
/**
* Fix the cursor style for Chrome's increment/decrement buttons. For certain
* `font-size` values of the `input`, it causes the cursor style of the
* decrement button to change from `default` to `text`.
*/
input[type="number"]::-webkit-inner-spin-button,
input[type="number"]::-webkit-outer-spin-button {
height: auto;
}
/**
* 1. Address `appearance` set to `searchfield` in Safari and Chrome.
* 2. Address `box-sizing` set to `border-box` in Safari and Chrome
* (include `-moz` to future-proof).
*/
input[type="search"] {
-webkit-appearance: textfield; /* 1 */
-moz-box-sizing: content-box;
-webkit-box-sizing: content-box; /* 2 */
box-sizing: content-box;
}
/**
* Remove inner padding and search cancel button in Safari and Chrome on OS X.
* Safari (but not Chrome) clips the cancel button when the search input has
* padding (and `textfield` appearance).
*/
input[type="search"]::-webkit-search-cancel-button,
input[type="search"]::-webkit-search-decoration {
-webkit-appearance: none;
}
/**
* Define consistent border, margin, and padding.
*/
fieldset {
border: 1px solid #c0c0c0;
margin: 0 2px;
padding: 0.35em 0.625em 0.75em;
}
/**
* 1. Correct `color` not being inherited in IE 8/9/10/11.
* 2. Remove padding so people aren't caught out if they zero out fieldsets.
*/
legend {
border: 0; /* 1 */
padding: 0; /* 2 */
}
/**
* Remove default vertical scrollbar in IE 8/9/10/11.
*/
textarea {
overflow: auto;
}
/**
* Don't inherit the `font-weight` (applied by a rule above).
* NOTE: the default cannot safely be changed in Chrome and Safari on OS X.
*/
optgroup {
font-weight: bold;
}
/* Tables
========================================================================== */
/**
* Remove most spacing between table cells.
*/
table {
border-collapse: collapse;
border-spacing: 0;
}
td,
th {
padding: 0;
}
</style><style type="text/css">/** ************************************************************************* *
** CSS for HTML docs (e.g. Pursuit)
**
** STRUCTURE
**
** This CSS file is structured into several sections, from general to
** specific, and (mostly) alphabetically within the sections.
**
** Several global element styles are used. This is not encouraged and should
** be kept to a minimum. If you want to add new styles you'll most likely
** want to add a new CSS component. See the Components section for examples.
**
** CSS components use three simple naming ideas from the BEM system:
** - Block: `.my-component`
** - Element: `.my-component__item`
** - Modifier: `.my-component.my-component--highlighted`
**
** Example:
** <div .my-component>
** <div .my-component__item>
** <div .my-component__item>
** ...
** <div .my-component.my-component--highlighted>
** <div .my-component__item>
** <div .my-component__item>
**
** Components can be nested.
**
**
** TYPOGRAPHY
**
** Typographic choices for sizes, line-heights and margins are based on a
** musical major third scale (4:5). This gives us a way to find numbers
** and relationships between them that are perceived as harmonic.
**
** To make use of this modular scale, use a ratio of the form
** (5/4)^n
** where n ∈ ℤ, -6 ≤ n ≤ 8.
**
** LESS
**
** This CSS is generated by less. To compile it:
**
** npm install [-g] less
** lessc app/static/pursuit.less > app/static/pursuit.css
**
** ************************************************************************* */
/* Section: Variables
* ========================================================================== */
/* Section: Document Styles
* ========================================================================== */
html {
box-sizing: border-box;
/* This overflow rule prevents everything from shifting slightly to the side
when moving from a page which isn't large enough to generate a scrollbar
to one that is. */
overflow-y: scroll;
}
*,
*::before,
*::after {
box-sizing: inherit;
}
body {
background-color: #ffffff;
color: #000;
font-family: "Roboto", sans-serif;
font-size: 87.5%;
line-height: 1.563;
}
@media (min-width: 38em) {
body {
font-size: 100%;
}
}
/* Section: Utility Classes
* ========================================================================== */
.clear-floats {
clear: both;
}
.clearfix::before,
.clearfix::after {
content: " ";
display: table;
}
.clearfix::after {
clear: both;
}
/* Content hidden like this will still be read by a screen reader */
.hide-visually {
position: absolute;
left: -10000px;
top: auto;
width: 1px;
height: 1px;
overflow: hidden;
}
/* Section: Layout
* ========================================================================== */
.container {
display: block;
max-width: 66em;
margin-left: auto;
margin-right: auto;
padding-left: 20px;
padding-right: 20px;
}
.col {
display: block;
position: relative;
width: 100%;
}
.col.col--main {
margin-bottom: 3.08em;
}
.col.col--aside {
margin-bottom: 2.44em;
}
@media (min-width: 52em) {
.container {
padding-left: 30px;
padding-right: 30px;
}
.col.col--main {
float: left;
width: 63.655%;
/* 66.6…% - 30px */
}
.col.col--aside {
float: right;
font-size: 87.5%;
width: 33.333333%;
}
}
@media (min-width: 66em) {
.col.col--aside {
font-size: inherit;
}
}
/* Footer
* Based on http://www.lwis.net/journal/2008/02/08/pure-css-sticky-footer/
* Except we don't support IE6
* -------------------------------------------------------------------------- */
html,
body {
height: 100%;
}
.everything-except-footer {
min-height: 100%;
padding-bottom: 3em;
}
.footer {
position: relative;
height: 3em;
margin-top: -3em;
width: 100%;
text-align: center;
background-color: #1d222d;
color: #f0f0f0;
}
.footer * {
margin-bottom: 0;
}
/* Section: Element Styles
*
* Have as few of these as possible and keep them general, because they will
* influence every component hereafter.
* ========================================================================== */
:target {
background-color: #f1f5f9;
}
a,
a:visited {
color: #c4953a;
text-decoration: none;
font-weight: bold;
}
a:hover {
color: #7b5904;
text-decoration: none;
}
code,
pre {
background-color: #f1f5f9;
border-radius: 3px;
color: #194a5b;
font-family: "Roboto Mono", monospace;
font-size: 87.5%;
}
:target code,
:target pre {
background-color: #dfe8f1;
}
code {
padding: 0.2em 0;
margin: 0;
white-space: pre-wrap;
word-wrap: break-word;
}
code::before,
code::after {
letter-spacing: -0.2em;
content: "\00a0";
}
a > code {
font-weight: normal;
}
a > code::before {
content: "🡒";
letter-spacing: 0.33em;
}
a:hover > code {
color: #c4953a;
}
pre {
margin-top: 0;
margin-bottom: 0;
padding: 1em 1.25rem;
/* Using rem here to align with lists etc. */
overflow: auto;
white-space: pre;
word-wrap: normal;
}
pre code {
background-color: transparent;
border: 0;
font-size: 100%;
max-width: auto;
padding: 0;
margin: 0;
overflow: visible;
line-height: inherit;
white-space: pre;
word-break: normal;
word-wrap: normal;
}
pre code::before,
pre code::after {
content: normal;
}
h1 {
font-size: 3.052em;
font-weight: 300;
letter-spacing: -0.5px;
line-height: 1.125;
margin-top: 1.563rem;
margin-bottom: 1.25rem;
}
@media (min-width: 52em) {
h1 {
font-size: 3.814em;
margin-top: 5.96rem;
}
}
h2 {
font-size: 1.953em;
font-weight: normal;
line-height: 1.250;
margin-top: 3.052rem;
margin-bottom: 1rem;
}
h3 {
font-size: 1.563em;
font-weight: normal;
line-height: 1.250;
margin-top: 2.441rem;
margin-bottom: 1rem;
}
h4 {
font-size: 1.25em;
font-weight: normal;
margin-top: 2.441rem;
margin-bottom: 1rem;
}
h1 + h2,
h1 + h3,
h1 + h4,
h2 + h3,
h2 + h4,
h3 + h4 {
margin-top: 1rem;
}
hr {
border: none;
height: 1px;
background-color: #cccccc;
}
img {
border-style: none;
max-width: 100%;
}
p {
font-size: 1em;
margin-top: 1rem;
margin-bottom: 1rem;
}
table {
border-bottom: 1px solid #cccccc;
border-collapse: collapse;
border-spacing: 0;
margin-top: 1rem;
margin-bottom: 1rem;
width: 100%;
}
td,
th {
text-align: left;
padding: 0.41em 0.51em;
}
td {
border-top: 1px solid #cccccc;
}
td:first-child,
th:first-child {
padding-left: 0;
}
td:last-child,
th:last-child {
padding-right: 0;
}
ul {
list-style-type: none;
margin-top: 1rem;
margin-bottom: 1rem;
padding-left: 0;
}
ul li {
position: relative;
padding-left: 1.250em;
}
ul li::before {
position: absolute;
color: #a0a0a0;
content: "–";
display: inline-block;
margin-left: -1.25em;
width: 1.250em;
}
/* Tying this tightly to ul at the moment because it's a slight variation thereof */
ul.ul--search li::before {
content: "⚲";
top: -0.2em;
transform: rotate(-45deg);
}
ol {
margin-top: 1rem;
margin-bottom: 1rem;
padding-left: 1.250em;
}
ol li {
position: relative;
padding-left: 0;
}
/* Section: Components
* ========================================================================== */
/* Component: Badge
* -------------------------------------------------------------------------- */
.badge {
position: relative;
top: -0.1em;
display: inline-block;
background-color: #000;
border-radius: 1.3em;
color: #fff;
font-size: 77%;
font-weight: bold;
line-height: 1.563;
text-align: center;
height: 1.5em;
width: 1.5em;
}
.badge.badge--package {
background-color: #c4953a;
letter-spacing: -0.1em;
}
.badge.badge--module {
background-color: #75B134;
}
/* Component: Declarations
* -------------------------------------------------------------------------- */
.decl__title {
position: relative;
padding-bottom: 0.328em;
margin-bottom: 0.262em;
}
.decl__source {
display: block;
float: right;
font-size: 64%;
position: relative;
top: 0.57em;
}
.decl__anchor,
.decl__anchor:visited {
position: absolute;
left: -0.8em;
color: #bababa;
}
.decl__anchor:hover {
color: #c4953a;
}
.decl__signature {
background-color: transparent;
border-radius: 0;
border-top: 1px solid #cccccc;
border-bottom: 1px solid #cccccc;
padding: 0.328em 0;
}
.decl__signature code {
display: block;
padding-left: 2.441em;
text-indent: -2.441em;
white-space: normal;
}
:target .decl__signature,
:target .decl__signature code {
/* We want the background to be transparent, even when the parent is a target */
background-color: transparent;
}
.decl__body .keyword,
.decl__body .syntax {
color: #0B71B4;
}
.decl__child_comments {
margin-top: 1rem;
margin-bottom: 1rem;
}
/* Component: Dependency Link
* -------------------------------------------------------------------------- */
.deplink {
/* Currently no root styles, but keep the class as a namespace */
}
.deplink__link {
display: inline-block;
margin-right: 0.41em;
}
.deplink__version {
color: #666666;
display: inline-block;
font-size: 0.8em;
line-height: 1;
}
/* Component: Grouped List
* -------------------------------------------------------------------------- */
.grouped-list {
border-top: 1px solid #cccccc;
margin: 0 0 2.44em 0;
}
.grouped-list__title {
color: #666666;
font-size: 0.8em;
font-weight: 300;
letter-spacing: 1px;
margin: 0.8em 0 -0.1em 0;
text-transform: uppercase;
}
.grouped-list__item {
margin: 0;
}
/* Component: Message
* -------------------------------------------------------------------------- */
.message {
border: 5px solid;
border-radius: 5px;
padding: 1em !important;
}
.message.message--error {
background-color: #fff0f0;
border-color: #c85050;
}
.message.message--not-available {
background-color: #f0f096;
border-color: #e3e33d;
}
/* Component: Multi Col
* Multiple columns side by side
* -------------------------------------------------------------------------- */
.multi-col {
margin-bottom: 2.44em;
}
.multi-col__col {
display: block;
padding-right: 1em;
position: relative;
width: 100%;
}
@media (min-width: 38em) and (max-width: 51.999999em) {
.multi-col__col {
float: left;
width: 50%;
}
.multi-col__col:nth-child(2n+3) {
clear: both;
}
}
@media (min-width: 52em) {
.multi-col__col {
float: left;
width: 33.333333%;
}
.multi-col__col:nth-child(3n+4) {
clear: both;
}
}
/* Component: Page Title
* -------------------------------------------------------------------------- */
.page-title {
margin: 4.77em 0 1.56em;
padding-bottom: 1.25em;
position: relative;
}
.page-title__title {
margin: 0 0 0 -0.05em;
/* Visually align on left edge */
}
.page-title__label {
position: relative;
color: #666666;
font-size: 0.8rem;
font-weight: 300;
letter-spacing: 1px;
margin-bottom: -0.8em;
text-transform: uppercase;
z-index: 1;
}
/* Component: Top Banner
* -------------------------------------------------------------------------- */
.top-banner {
background-color: #1d222d;
color: #f0f0f0;
font-weight: normal;
}
.top-banner__logo,
.top-banner__logo:visited {
float: left;
color: #f0f0f0;
font-size: 2.44em;
font-weight: 300;
line-height: 90px;
margin: 0;
}
.top-banner__logo:hover {
color: #c4953a;
text-decoration: none;
}
.top-banner__form {
margin-bottom: 1.25em;
}
.top-banner__form input {
border: 1px solid #1d222d;
border-radius: 3px;
color: #1d222d;
font-weight: 300;
line-height: 2;
padding: 0.21em 0.512em;
width: 100%;
}
.top-banner__actions {
float: right;
text-align: right;
}
.top-banner__actions__item {
display: inline-block;
line-height: 90px;
margin: 0;
padding-left: 1.25em;
}
.top-banner__actions__item:first-child {
padding-left: 0;
}
.top-banner__actions__item a,
.top-banner__actions__item a:visited {
color: #f0f0f0;
}
.top-banner__actions__item a:hover {
color: #c4953a;
}
@media (min-width: 38em) {
.top-banner__logo {
float: left;
width: 25%;
}
.top-banner__form {
float: left;
line-height: 90px;
margin-bottom: 0;
width: 50%;
}
.top-banner__actions {
float: right;
width: 25%;
}
}
/* Component: Search Results
* -------------------------------------------------------------------------- */
.result.result--empty {
font-size: 1.25em;
}
.result__title {
font-size: 1.25em;
margin-bottom: 0.2rem;
}
.result__badge {
margin-left: -0.1em;
}
.result__body > *:first-child {
margin-top: 0!important;
}
.result__body > *:last-child {
margin-bottom: 0!important;
}
.result__signature {
background-color: transparent;
border-radius: 0;
border-top: 1px solid #cccccc;
border-bottom: 1px solid #cccccc;
padding: 0.328em 0;
}
.result__signature code {
display: block;
padding-left: 2.441em;
text-indent: -2.441em;
white-space: normal;
}
.result__actions {
margin-top: 0.2rem;
}
.result__actions__item {
font-size: 80%;
}
.result__actions__item + .result__actions__item {
margin-left: 0.65em;
}
/* Component: Version Selector
* -------------------------------------------------------------------------- */
.version-selector {
margin-bottom: 0.8em;
}
@media (min-width: 38em) {
.version-selector {
position: absolute;
top: 0.8em;
right: 0;
margin-bottom: 0;
}
}
/* Section: FIXME
* These styles should be cleaned up
* ========================================================================== */
/* Help paragraphs */
.help {
padding: 5px 0;
}
.help h3 {
/* FIXME: target with class */
margin-top: 16px;
}
/* Section: Markdown
* Github rendered README
* ========================================================================== */
.markdown-body {
/*
Useful for narrow screens, such as mobiles. Documentation often contains URLs
which would otherwise force the page to become wider, and force creation of
horizontal scrollbars. Yuck.
*/
word-wrap: break-word;
}
.markdown-body > *:first-child {
margin-top: 0 !important;
}
.markdown-body > *:last-child {
margin-bottom: 0 !important;
}
.markdown-body a:not([href]) {
color: inherit;
text-decoration: none;
}
.markdown-body blockquote {
margin: 0;
padding: 0 1em;
color: #777;
border-left: 0.25em solid #ddd;
}
.markdown-body blockquote > :first-child {
margin-top: 0;
}
.markdown-body blockquote > :last-child {
margin-bottom: 0;
}
.markdown-body .anchor {
/* We hide the anchor because the link doesn't point to a valid location */
display: none;
}
.markdown-body .pl-k {
/* Keyword */
color: #a0a0a0;
}
.markdown-body .pl-c1,
.markdown-body .pl-en {
/* Not really sure what this is */
color: #39d;
}
.markdown-body .pl-s {
/* String literals */
color: #1a1;
}
.markdown-body .pl-cce {
/* String literal escape sequences */
color: #921;
}
.markdown-body .pl-smi {
/* type variables? */
color: #62b;
}
</style></head><body><div class="everything-except-footer"><div class="top-banner clearfix"><div class="container clearfix"><div style="float: left; font-size: 2.44em; font-weight: 300; line-height: 90px; margin: 0">PureScript API documentation</div><div class="top-banner__actions"><div class="top-banner__actions__item"><a href="index.html">Index</a></div></div></div></div><main class="container clearfix" role="main"><div class="page-title clearfix"><div class="page-title__label">Module</div><h1 class="page-title__title">Main</h1></div><div class="col col--main"><div class="decl" id="t:PolyProxy"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:PolyProxy">#</a><span>PolyProxy</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:PolyProxy" title="Main.PolyProxy"><span class="ctor">PolyProxy</span></a> a</code></pre><h4>Constructors</h4><ul><li id="v:PolyProxy"><code><a href="Main.html#v:PolyProxy" title="Main.PolyProxy"><span class="ctor">PolyProxy</span></a></code></li></ul></div></div><div class="decl" id="t:ProxyType1"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:ProxyType1">#</a><span>ProxyType1</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:ProxyType1" title="Main.ProxyType1"><span class="ctor">ProxyType1</span></a> <span class="syntax">(</span>a <span class="syntax">::</span> <a href="Prim.html#t:Type" title="Prim.Type"><span class="ctor">Type</span></a><span class="syntax">)</span></code></pre><h4>Constructors</h4><ul><li id="v:ProxyType1"><code><a href="Main.html#v:ProxyType1" title="Main.ProxyType1"><span class="ctor">ProxyType1</span></a></code></li></ul></div></div><div class="decl" id="t:ProxyType2"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:ProxyType2">#</a><span>ProxyType2</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:ProxyType2" title="Main.ProxyType2"><span class="ctor">ProxyType2</span></a> a</code></pre><h4>Constructors</h4><ul><li id="v:ProxyType2"><code><a href="Main.html#v:ProxyType2" title="Main.ProxyType2"><span class="ctor">ProxyType2</span></a></code></li></ul></div></div><div class="decl" id="t:C1"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C1">#</a><span>C1</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C1" title="Main.C1"><span class="ctor">C1</span></a> a </code></pre></div></div><div class="decl" id="t:C2"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C2">#</a><span>C2</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C2" title="Main.C2"><span class="ctor">C2</span></a> a </code></pre></div></div><div class="decl" id="t:C3"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C3">#</a><span>C3</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C3" title="Main.C3"><span class="ctor">C3</span></a> a </code></pre></div></div></div><div class="col col--aside"><h3>Modules</h3><ul><li><a href="Main.html">Main</a></li><li><a href="Prim.html">Prim</a></li><li><a href="Prim.Boolean.html">Prim.Boolean</a></li><li><a href="Prim.Coerce.html">Prim.Coerce</a></li><li><a href="Prim.Ordering.html">Prim.Ordering</a></li><li><a href="Prim.Row.html">Prim.Row</a></li><li><a href="Prim.RowList.html">Prim.RowList</a></li><li><a href="Prim.Symbol.html">Prim.Symbol</a></li><li><a href="Prim.TypeError.html">Prim.TypeError</a></li></ul></div></main></div><div class="footer clearfix"><p>Generated by purs 0.13.6 [development build; commit: df3170f5bb0ba21517e2ca72db6aee5c479c99df]</p></div></body></html>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment