Skip to content

Commit 34626f6

Browse files
gcantigcanti
committed
add playground
1 parent 589e445 commit 34626f6

File tree

10 files changed

+5296
-1552
lines changed

10 files changed

+5296
-1552
lines changed

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,4 @@ node_modules
33
lib
44
dev
55
coverage
6+
.cache

‎docs/bundle.js‎

Lines changed: 53 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎docs/index.html‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8" />
5+
<title>fp-ts-codegen playground</title>
6+
<link rel="stylesheet" href="./prism.css" />
7+
<link rel="stylesheet" href="./style.css" />
8+
</head>
9+
<body>
10+
<div id="main" class="main"></div>
11+
<script src="./bundle.js"></script>
12+
</body>
13+
</html>

‎docs/prism.css‎

Lines changed: 141 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,141 @@
1+
/* PrismJS 1.15.0
2+
https://prismjs.com/download.html#themes=prism&languages=clike+javascript+typescript */
3+
/**
4+
* prism.js default theme for JavaScript, CSS and HTML
5+
* Based on dabblet (http://dabblet.com)
6+
* @author Lea Verou
7+
*/
8+
9+
code[class*="language-"],
10+
pre[class*="language-"] {
11+
color: black;
12+
background: none;
13+
text-shadow: 0 1px white;
14+
font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
15+
text-align: left;
16+
white-space: pre;
17+
word-spacing: normal;
18+
word-break: normal;
19+
word-wrap: normal;
20+
line-height: 1.5;
21+
22+
-moz-tab-size: 4;
23+
-o-tab-size: 4;
24+
tab-size: 4;
25+
26+
-webkit-hyphens: none;
27+
-moz-hyphens: none;
28+
-ms-hyphens: none;
29+
hyphens: none;
30+
}
31+
32+
pre[class*="language-"]::-moz-selection, pre[class*="language-"] ::-moz-selection,
33+
code[class*="language-"]::-moz-selection, code[class*="language-"] ::-moz-selection {
34+
text-shadow: none;
35+
background: #b3d4fc;
36+
}
37+
38+
pre[class*="language-"]::selection, pre[class*="language-"] ::selection,
39+
code[class*="language-"]::selection, code[class*="language-"] ::selection {
40+
text-shadow: none;
41+
background: #b3d4fc;
42+
}
43+
44+
@media print {
45+
code[class*="language-"],
46+
pre[class*="language-"] {
47+
text-shadow: none;
48+
}
49+
}
50+
51+
/* Code blocks */
52+
pre[class*="language-"] {
53+
padding: 1em;
54+
margin: .5em 0;
55+
overflow: auto;
56+
}
57+
58+
:not(pre) > code[class*="language-"],
59+
pre[class*="language-"] {
60+
background: #f5f2f0;
61+
}
62+
63+
/* Inline code */
64+
:not(pre) > code[class*="language-"] {
65+
padding: .1em;
66+
border-radius: .3em;
67+
white-space: normal;
68+
}
69+
70+
.token.comment,
71+
.token.prolog,
72+
.token.doctype,
73+
.token.cdata {
74+
color: slategray;
75+
}
76+
77+
.token.punctuation {
78+
color: #999;
79+
}
80+
81+
.namespace {
82+
opacity: .7;
83+
}
84+
85+
.token.property,
86+
.token.tag,
87+
.token.boolean,
88+
.token.number,
89+
.token.constant,
90+
.token.symbol,
91+
.token.deleted {
92+
color: #905;
93+
}
94+
95+
.token.selector,
96+
.token.attr-name,
97+
.token.string,
98+
.token.char,
99+
.token.builtin,
100+
.token.inserted {
101+
color: #690;
102+
}
103+
104+
.token.operator,
105+
.token.entity,
106+
.token.url,
107+
.language-css .token.string,
108+
.style .token.string {
109+
color: #9a6e3a;
110+
background: hsla(0, 0%, 100%, .5);
111+
}
112+
113+
.token.atrule,
114+
.token.attr-value,
115+
.token.keyword {
116+
color: #07a;
117+
}
118+
119+
.token.function,
120+
.token.class-name {
121+
color: #DD4A68;
122+
}
123+
124+
.token.regex,
125+
.token.important,
126+
.token.variable {
127+
color: #e90;
128+
}
129+
130+
.token.important,
131+
.token.bold {
132+
font-weight: bold;
133+
}
134+
.token.italic {
135+
font-style: italic;
136+
}
137+
138+
.token.entity {
139+
cursor: help;
140+
}
141+

‎docs/style.css‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
body {
2+
font-family: 'Fira code', monospace;
3+
}
4+
5+
table td {
6+
vertical-align: top;
7+
padding: 20px;
8+
}
9+
10+
table td.source {
11+
width: 40%;
12+
}
13+
14+
table td.code {
15+
width: 60%;
16+
}
17+
18+
textarea {
19+
font-family: 'Fira code', monospace;
20+
width: 100%;
21+
border: none;
22+
font-size: 16px;
23+
padding: 10px;
24+
}
25+
26+
select {
27+
font-size: 16px;
28+
}

0 commit comments

Comments
 (0)