1// Generated by purs version 0.13.6
3var Control_Applicative = require("../Control.Applicative/index.js");
4var Control_Bind = require("../Control.Bind/index.js");
5var Data_Array = require("../Data.Array/index.js");
6var Data_Eq = require("../Data.Eq/index.js");
7var Data_Foldable = require("../Data.Foldable/index.js");
8var Data_Functor = require("../Data.Functor/index.js");
9var Data_HeytingAlgebra = require("../Data.HeytingAlgebra/index.js");
10var Data_Int = require("../Data.Int/index.js");
11var Data_Maybe = require("../Data.Maybe/index.js");
12var Data_Monoid = require("../Data.Monoid/index.js");
13var Data_Ord = require("../Data.Ord/index.js");
14var Data_Semigroup = require("../Data.Semigroup/index.js");
15var Data_Show = require("../Data.Show/index.js");
16var Data_String_CodePoints = require("../Data.String.CodePoints/index.js");
17var Data_String_Common = require("../Data.String.Common/index.js");
18var Data_Symbol = require("../Data.Symbol/index.js");
19var JSS = require("../JSS/index.js");
20var Random_LCG = require("../Random.LCG/index.js");
21var Random_PseudoRandom = require("../Random.PseudoRandom/index.js");
22var React_Basic = require("../React.Basic/index.js");
23var React_Basic_DOM = require("../React.Basic.DOM/index.js");
24var React_Basic_DOM_Internal = require("../React.Basic.DOM.Internal/index.js");
25var React_Basic_DOM_SVG = require("../React.Basic.DOM.SVG/index.js");
26var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
27var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
28var Record_Extra = require("../Record.Extra/index.js");
29var Type_Equality = require("../Type.Equality/index.js");
30var Yoga_DOM_Hook = require("../Yoga.DOM.Hook/index.js");
31var Yoga_Scroll_Hook = require("../Yoga.Scroll.Hook/index.js");
32var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
33var textToTspans = function (classes) {
34 return function (scrolled) {
36 return function (str) {
37 var words = function (line) {
38 var split = Data_String_Common.split(" ")(line);
41 var scrolledString = (function () {
42 var len = Data_Int.toNumber(Data_String_CodePoints.length(str));
43 var charactersToTake = Data_Int.round(scrolled * (1.0 / 0.5) * len);
44 return Data_String_CodePoints.take(charactersToTake)(str);
46 var lines = Data_String_Common.split("\x0a")(scrolledString);
47 var keywords = [ "module", "\u2237", "::", "forall", "\u2200", "do", "where", "let", "in", "instance", "class", "data", "=", "|", "type", "newtype", "derive", "if", "then", "else", "import" ];
48 var isTypeName = function (s) {
49 var inRange = function (c1) {
50 return function (c2) {
51 return Data_Ord.between(Data_String_CodePoints.ordCodePoint)(Data_String_CodePoints.codePointFromChar(c1))(Data_String_CodePoints.codePointFromChar(c2));
54 var isLetter = (function () {
55 var $539 = Data_Maybe.maybe(false)(Data_HeytingAlgebra.disj(Data_HeytingAlgebra.heytingAlgebraFunction(Data_HeytingAlgebra.heytingAlgebraBoolean))(inRange("a")("z"))(inRange("A")("Z")));
56 return function ($540) {
57 return $539(Data_Array.head(Data_String_CodePoints.toCodePointArray($540)));
60 var firstLetter = Data_String_CodePoints.take(1)(s);
61 return Data_String_Common.toUpper(firstLetter) === firstLetter && isLetter(firstLetter);
63 var cursor = React_Basic_DOM_SVG.tspan()({
66 children: [ React_Basic_DOM.text("\u2588") ],
67 className: classes.cursor,
68 id: "landing-page-cursor"
70 var classNameForWord = function (v) {
71 if (Data_Foldable.elem(Data_Foldable.foldableArray)(Data_Eq.eqString)(v)(keywords)) {
72 return classes.keyword;
75 return classes.typeName;
79 var toTspan = function (v) {
80 return function (line) {
81 var v1 = Data_Array.uncons(words(line));
82 if (v1 instanceof Data_Maybe.Nothing) {
84 distance: v.distance + 1.2,
88 if (v1 instanceof Data_Maybe.Just && (v1.value0.head === "" && v1.value0.tail.length === 0)) {
90 distance: v.distance + 1.2,
94 if (v1 instanceof Data_Maybe.Just) {
95 var mkNewElems = function (v2) {
96 return function (v3) {
99 prefix: v2.prefix + " ",
105 spans: Data_Array.snoc(v2.spans)(React_Basic_DOM_SVG.tspan()({
106 children: [ React_Basic_DOM.text(v2.prefix + v3) ],
107 className: classNameForWord(v3)
112 var newElems = (function (v2) {
114 })(Data_Foldable.foldl(Data_Foldable.foldableArray)(mkNewElems)({
118 var first = React_Basic_DOM_SVG.tspan()({
119 x: Data_Show.show(Data_Show.showNumber)(x),
120 dy: Data_Show.show(Data_Show.showNumber)(v.distance) + "em",
121 children: [ React_Basic_DOM.text(v1.value0.head) ]
123 var pimped = Data_Array.cons(first)(newElems);
126 acc: Data_Semigroup.append(Data_Semigroup.semigroupArray)(v.acc)(pimped)
129 throw new Error("Failed pattern match at Yoga.SVG.Image (line 399, column 36 - line 429, column 44): " + [ v1.constructor.name ]);
132 return Data_Semigroup.append(Data_Semigroup.semigroupArray)((Data_Foldable.foldl(Data_Foldable.foldableArray)(toTspan)({
135 })(lines)).acc)([ cursor ]);
140var stars = function (className) {
141 return function (classes) {
142 var opacities = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.5)(0.9)(30)(Random_LCG.mkSeed(92));
143 var radiuses = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.1)(1.3)(30)(Random_LCG.mkSeed(15));
144 var xs = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(0.0)(800.0)(30)(Random_LCG.mkSeed(84));
145 var ys = Random_PseudoRandom.randomRs(Random_PseudoRandom.randomNumber)(-20.0)(200.0)(30)(Random_LCG.mkSeed(4398));
146 var classNames = Data_Functor.mapFlipped(Data_Functor.functorArray)(Random_PseudoRandom.randomRs(Random_PseudoRandom.randomInt)(1)(50)(30)(Random_LCG.mkSeed(3)))(function (v) {
148 return classes.twinklingStar1;
151 return classes.twinklingStar2;
154 return classes.twinklingStar2;
158 var zipped = Data_Array.zip(xs)(Data_Array.zip(ys)(Data_Array.zip(radiuses)(Data_Array.zip(classNames)(opacities))));
159 var children = Control_Bind.bind(Control_Bind.bindArray)(zipped)(function (v) {
160 return Control_Applicative.pure(Control_Applicative.applicativeArray)(React_Basic_DOM_SVG.circle()({
161 cx: Data_Show.show(Data_Show.showNumber)(v.value0),
162 cy: Data_Show.show(Data_Show.showNumber)(v.value1.value0),
163 r: Data_Show.show(Data_Show.showNumber)(v.value1.value1.value0),
165 className: v.value1.value1.value1.value0,
166 opacity: Data_Show.show(Data_Show.showNumber)(v.value1.value1.value1.value1 - v.value1.value0 / 200.0)
169 return React_Basic_DOM_SVG.g()({
176var mountains = function (isLight) {
177 return function (scrolled) {
178 return React_Basic_DOM_SVG.g()({
179 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 70.0) + ")"),
180 children: [ React_Basic_DOM_SVG.path()({
181 d: "M476.098 218.299l81.644 216.765H352.334l123.764-216.765z",
188 }), React_Basic_DOM_SVG.path()({
189 d: "M476.098 218.299l21.823 203.477 81.177-8.706-103-194.771z",
196 }), React_Basic_DOM_SVG.path()({
197 d: "M369.627 308.648l88.326 125.788H252.546l117.081-125.788z",
204 }), React_Basic_DOM_SVG.path()({
205 d: "M326.11 338.332l68.193 96.732H188.896l137.214-96.732zM508.168 243.792l163.526 204.747H415.051l93.117-204.747z",
212 }), React_Basic_DOM_SVG.path()({
213 d: "M508.168 245.355l63.395 75.115-54.953 46.379-8.442-121.494zM369.612 308.648l54.182 77.687-58.981 41.135 4.799-118.822zM326.184 338.326l16.813 23.99-16.887 11.835.074-35.825z",
220 }), React_Basic_DOM_SVG.path()({
221 d: "M633.647 230.42L809.34 435.064H457.953L633.647 230.42z",
228 }), React_Basic_DOM_SVG.path()({
229 d: "M633.647 230.42L735.22 475.549l86.041-35.653L633.647 230.42z",
236 }), React_Basic_DOM_SVG.path()({
237 d: "M643.625 254.384c-.571.219-.745.283-1.863.82-2.864 1.395-6.079 3.209-9.184 2.64-6.187-1.134-10.854-6.283-16.725-6.738l17.786-20.729 9.986 24.007z",
244 }), React_Basic_DOM_SVG.path()({
245 d: "M654.229 253.4c-.494-.028-.875-.013-.875-.013-3.255-.486-6.617-.192-9.677.982l-.052.02-9.978-23.97 20.582 22.981z",
256var lightDefs = React_Basic_DOM_SVG.defs()({
257 children: [ React_Basic_DOM_SVG.linearGradient()({
263 gradientUnits: "userSpaceOnUse",
264 gradientTransform: "matrix(0 451.564 -803.856 0 398.9 -3.513)",
265 children: [ React_Basic_DOM_SVG.stop()({
268 }), React_Basic_DOM_SVG.stop()({
271 }), React_Basic_DOM_SVG.stop()({
275 }), React_Basic_DOM_SVG.linearGradient()({
281 gradientUnits: "userSpaceOnUse",
282 gradientTransform: "scale(293.8304) rotate(83.86 -.11 .484)",
283 children: [ React_Basic_DOM_SVG.stop()({
286 }), React_Basic_DOM_SVG.stop()({
290 }), React_Basic_DOM_SVG.linearGradient()({
296 gradientUnits: "userSpaceOnUse",
297 gradientTransform: "scale(219.3256) rotate(84.988 -.028 1.133)",
298 children: [ React_Basic_DOM_SVG.stop()({
301 }), React_Basic_DOM_SVG.stop()({
305 }), React_Basic_DOM_SVG.linearGradient()({
311 gradientUnits: "userSpaceOnUse",
312 gradientTransform: "rotate(90 -6.304 321.409) scale(123.585)",
313 children: [ React_Basic_DOM_SVG.stop()({
316 }), React_Basic_DOM_SVG.stop()({
320 }), React_Basic_DOM_SVG.linearGradient()({
326 gradientUnits: "userSpaceOnUse",
327 gradientTransform: "scale(132.4342) rotate(68.9 -1.112 2.415)",
328 children: [ React_Basic_DOM_SVG.stop()({
331 }), React_Basic_DOM_SVG.stop()({
335 }), React_Basic_DOM_SVG.linearGradient()({
341 gradientUnits: "userSpaceOnUse",
342 gradientTransform: "rotate(90 -88.788 166.635) scale(190.951)",
343 children: [ React_Basic_DOM_SVG.stop()({
346 }), React_Basic_DOM_SVG.stop()({
350 }), React_Basic_DOM_SVG.linearGradient()({
356 gradientUnits: "userSpaceOnUse",
357 gradientTransform: "matrix(314.21 0 0 9.97478 340.83 431.758)",
358 children: [ React_Basic_DOM_SVG.stop()({
361 }), React_Basic_DOM_SVG.stop()({
364 }), React_Basic_DOM_SVG.stop()({
367 }), React_Basic_DOM_SVG.stop()({
370 }), React_Basic_DOM_SVG.stop()({
374 }), React_Basic_DOM_SVG.radialGradient()({
379 gradientUnits: "userSpaceOnUse",
380 gradientTransform: "matrix(647.316 0 0 309.935 720.558 355.142)",
381 children: [ React_Basic_DOM_SVG.stop()({
383 stopColor: "#cfcfcf",
385 }), React_Basic_DOM_SVG.stop()({
387 stopColor: "#fff552",
392var laptop = function (classes) {
393 return function (scrolled) {
394 return React_Basic_DOM_SVG.g()({
395 children: [ React_Basic_DOM_SVG.path()({
396 d: "M606.064 273.603c0-6.261-5.076-11.337-11.337-11.337H399.673c-6.261 0-11.337 5.076-11.337 11.337v151.521a5.001 5.001 0 005 5h207.728a5.004 5.004 0 003.536-1.464 5.004 5.004 0 001.464-3.536V273.603z",
398 }), React_Basic_DOM_SVG.path()({
399 d: "M606.064 273.603c0-6.261-5.076-11.337-11.337-11.337H399.673c-6.261 0-11.337 5.076-11.337 11.337v151.521a5.001 5.001 0 005 5h207.728a5.004 5.004 0 003.536-1.464 5.004 5.004 0 001.464-3.536V273.603z",
401 }), React_Basic_DOM_SVG.path()({
402 d: "M599.193 275.905a5.528 5.528 0 00-5.526-5.526H400.604a5.528 5.528 0 00-5.526 5.526v141.039a5.528 5.528 0 005.526 5.526h193.063a5.528 5.528 0 005.526-5.526V275.905z",
404 className: classes.laptopBackground
405 }), React_Basic_DOM_SVG.path()({
406 d: "M655.04 427.228a.458.458 0 00-.457-.457H340.83v4.975a5 5 0 005 5h304.21a5 5 0 005-5v-4.518z",
407 className: classes.laptopBody
408 }), React_Basic_DOM_SVG.circle()({
413 }), React_Basic_DOM_SVG.circle()({
418 }), React_Basic_DOM_SVG.circle()({
424 }), React_Basic_DOM_SVG.text()({
427 className: classes.screenText,
428 children: textToTspans(classes)(scrolled)(407.0)(Data_Foldable.intercalate(Data_Foldable.foldableArray)(Data_Monoid.monoidString)("\x0a")([ "hoistJoker ", "\x09\u2237 \u2200 f g a b", "\x09. (f ~> g)", "\x09-> Joker f a b", "\x09-> Joker g a b", "hoistJoker f (Joker a) =", "\x09 Joker (f a)" ]))
433var darkDefs = React_Basic_DOM_SVG.defs()({
434 children: [ React_Basic_DOM_SVG.linearGradient()({
440 gradientUnits: "userSpaceOnUse",
441 gradientTransform: "matrix(0 451.564 -803.856 0 398.9 -3.513)",
442 children: [ React_Basic_DOM_SVG.stop()({
445 }), React_Basic_DOM_SVG.stop()({
448 }), React_Basic_DOM_SVG.stop()({
451 }), React_Basic_DOM_SVG.stop()({
455 }), React_Basic_DOM_SVG.linearGradient()({
461 gradientUnits: "userSpaceOnUse",
462 gradientTransform: "matrix(-.53832 -17.3125 1.44013 -.04478 749.812 228.864)",
463 children: [ React_Basic_DOM_SVG.stop()({
466 }), React_Basic_DOM_SVG.stop()({
469 }), React_Basic_DOM_SVG.stop()({
473 }), React_Basic_DOM_SVG.linearGradient()({
479 gradientUnits: "userSpaceOnUse",
480 gradientTransform: "scale(293.8304) rotate(83.86 -.11 .484)",
481 children: [ React_Basic_DOM_SVG.stop()({
484 }), React_Basic_DOM_SVG.stop()({
488 }), React_Basic_DOM_SVG.linearGradient()({
494 gradientUnits: "userSpaceOnUse",
495 gradientTransform: "scale(219.3256) rotate(84.988 -.028 1.133)",
496 children: [ React_Basic_DOM_SVG.stop()({
499 }), React_Basic_DOM_SVG.stop()({
503 }), React_Basic_DOM_SVG.linearGradient()({
509 gradientUnits: "userSpaceOnUse",
510 gradientTransform: "matrix(46.7869 123.585 -71.5547 27.0893 259.972 327.713)",
511 children: [ React_Basic_DOM_SVG.stop()({
514 }), React_Basic_DOM_SVG.stop()({
518 }), React_Basic_DOM_SVG.linearGradient()({
524 gradientUnits: "userSpaceOnUse",
525 gradientTransform: "rotate(90 -6.304 321.409) scale(123.585)",
526 children: [ React_Basic_DOM_SVG.stop()({
529 }), React_Basic_DOM_SVG.stop()({
533 }), React_Basic_DOM_SVG.linearGradient()({
539 gradientUnits: "userSpaceOnUse",
540 gradientTransform: "scale(101.643) rotate(28.107 -6.187 4.945)",
541 children: [ React_Basic_DOM_SVG.stop()({
544 }), React_Basic_DOM_SVG.stop()({
548 }), React_Basic_DOM_SVG.linearGradient()({
554 gradientUnits: "userSpaceOnUse",
555 gradientTransform: "scale(-106.68957) rotate(-86.136 -1.645 -.807)",
556 children: [ React_Basic_DOM_SVG.stop()({
559 }), React_Basic_DOM_SVG.stop()({
563 }), React_Basic_DOM_SVG.linearGradient()({
569 gradientUnits: "userSpaceOnUse",
570 gradientTransform: "matrix(20.5602 0 -184.503 0 11.25 272.442)",
571 children: [ React_Basic_DOM_SVG.stop()({
574 }), React_Basic_DOM_SVG.stop()({
578 }), React_Basic_DOM_SVG.linearGradient()({
584 gradientUnits: "userSpaceOnUse",
585 gradientTransform: "matrix(314.21 0 0 9.97478 340.83 431.758)",
586 children: [ React_Basic_DOM_SVG.stop()({
589 }), React_Basic_DOM_SVG.stop()({
592 }), React_Basic_DOM_SVG.stop()({
595 }), React_Basic_DOM_SVG.stop()({
598 }), React_Basic_DOM_SVG.stop()({
602 }), React_Basic_DOM_SVG.radialGradient()({
607 gradientUnits: "userSpaceOnUse",
608 gradientTransform: "matrix(330.479 0 0 252.189 174.599 310.24)",
609 children: [ React_Basic_DOM_SVG.stop()({
613 }), React_Basic_DOM_SVG.stop()({
615 stopColor: "#fff552",
620var defs = function (v) {
626var buildings = function (isLight) {
627 return function (scrolled) {
628 return React_Basic_DOM_SVG.g()({
629 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 30.0) + ")"),
630 children: [ React_Basic_DOM_SVG.path()({
631 d: "M195.171 451.298V159.153H92.709v292.145h102.462z",
634 return "url(#_Linear4)";
636 return "url(#_Linear5)";
638 }), React_Basic_DOM_SVG.path()({
639 d: "M289.755 451.298V232.811h-57.232v218.487h57.232z",
642 return "url(#_Linear5)";
644 return "url(#_Linear6)";
646 }), React_Basic_DOM_SVG.path()({
647 d: "M207.557 451.298V232.811h25.314v218.487h-25.314zM92.709 451.298V159.153h25.314v292.145H92.709z",
654 }), React_Basic_DOM_SVG.path()({
655 d: "M323.451 451.298V327.713h-71.555v123.585h71.555z",
658 return "url(#_Linear6)";
660 return "url(#_Linear7)";
662 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 60.0) + ")")
663 }), React_Basic_DOM_SVG.path()({
664 d: "M323.451 451.298V327.713h-16.692v123.585h16.692z",
667 return "url(#_Linear7)";
669 return "url(#_Linear8)";
671 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 60.0) + ")")
672 }), React_Basic_DOM_SVG.path()({
673 d: "M272.498 451.298v-95.771H135.943v95.771h136.555z",
676 return "url(#_Linear8)";
678 return "url(#_Linear9)";
680 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
681 }), React_Basic_DOM_SVG.path()({
682 d: "M173.526 451.298v-95.771h-37.583v95.771h37.583z",
689 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
690 }), React_Basic_DOM_SVG.path()({
691 d: "M85.122 451.298V272.442h-97.675v178.856h97.675z",
696 return "url(#_Linear10)";
698 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
699 }), React_Basic_DOM_SVG.path()({
700 d: "M66.649 456.944V272.442H-3.028v184.502h69.677z",
705 return "url(#_Linear11)";
707 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 100.0) + ")")
712var mkLandingPageBackground = function __do() {
713 var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
714 return "@keyframes animatedCursor";
715 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
716 return "@keyframes movingCloud1";
717 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
718 return "@keyframes movingCloud2";
719 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
720 return "@keyframes rotateStars";
721 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
722 return "@keyframes twinkle";
723 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
724 return "@keyframes twinkleFast";
725 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
727 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
729 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
730 return "laptopBackground";
731 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
733 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
734 return "lightEllipsis";
735 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
736 return "movingCloud1";
737 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
738 return "movingCloud2";
739 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
740 return "movingCloud3";
741 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
743 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
745 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
746 return "twinklingStar1";
747 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
748 return "twinklingStar2";
749 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
750 return "twinklingStar3";
751 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
753 }))()(Record_Extra.mapRecordNil)()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())()())(JSS.jssClasses()(function (v) {
755 laptopBackground: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
757 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
758 fill: v.backgroundColour
760 lightEllipsis: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
762 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
764 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
766 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
768 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))()())({
794 laptopBody: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
796 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
799 return "url(#_Linear9)";
801 return "url(#_Linear12)";
804 screenText: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
806 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
808 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
810 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
811 fontFamily: v.codeFontFamily,
815 keyword: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
817 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
820 typeName: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
822 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
825 "@keyframes animatedCursor": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
827 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
829 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
831 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
833 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
841 cursor: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
843 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
844 return "animationDirection";
845 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
846 animation: "$animatedCursor 0.5s linear infinite",
847 animationDirection: "alternate"
849 "@keyframes movingCloud1": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
851 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
853 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
855 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
857 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
859 transform: "translate3d(-140%, 4%, 0)"
862 transform: "translate3d(70%, -4%, 0)"
865 movingCloud1: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
867 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
868 return "animationDelay";
869 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
870 animation: "$movingCloud1 200s linear infinite",
871 animationDelay: "-150s"
873 "@keyframes movingCloud2": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
875 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
877 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
879 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
881 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
883 transform: "translate3d(-10%, 0%, 0)"
886 transform: "translate3d(10%, 0%, 0)"
889 movingCloud2: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
891 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
892 return "animationDirection";
893 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
894 animation: "$movingCloud2 120s linear infinite",
895 animationDirection: "alternate"
897 movingCloud3: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
899 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
900 return "animationDelay";
901 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
902 return "animationDirection";
903 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
904 animation: "$movingCloud2 120s linear infinite",
905 animationDelay: "-120s",
906 animationDirection: "alternate"
908 "@keyframes twinkle": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
910 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
912 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
914 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
916 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
918 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
920 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
922 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
924 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))))()())({
926 fill: "rgba(250, 250, 250, 0.2)"
929 fill: "rgba(250, 250, 250, 0.7)"
932 fill: "rgba(250, 250, 250, 0.4)"
935 fill: "rgba(250, 250, 250, 1.0)"
938 "@keyframes twinkleFast": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
940 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
942 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
944 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
946 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
948 fill: "rgba(250, 250, 250, 0.7)"
951 fill: "rgba(250, 250, 250, 0.78)"
954 twinklingStar1: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
956 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
957 return "animationDirection";
958 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
959 animation: "$twinkleFast 0.2s ease-in-out infinite",
960 animationDirection: "alternate"
962 twinklingStar2: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
964 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
965 return "animationDelay";
966 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
967 return "animationDirection";
968 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
969 animation: "$twinkle 8s ease-in-out infinite",
970 animationDelay: "4s",
971 animationDirection: "alternate"
973 twinklingStar3: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
975 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
976 return "animationDelay";
977 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
978 return "animationDirection";
979 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
980 animation: "$twinkle 4s ease-in-out infinite",
981 animationDelay: "3s",
982 animationDirection: "alternate"
984 "@keyframes rotateStars": JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
986 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
988 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
990 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
992 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsNil)))()())({
994 transform: "rotate(0deg) scale(1,1)"
997 transform: "rotate(1deg) scale(1.01, 1.01)"
1000 stars: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1002 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1003 return "animationDirection";
1004 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
1005 return "transformOrigin";
1006 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
1007 animation: "$rotateStars 30s linear infinite",
1008 transformOrigin: "top center",
1009 animationDirection: "alternate"
1013 return React_Basic_Hooks.component()()()("LandingPageBackground")(function (v) {
1014 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Theme_Styles.useTheme)(function (theme) {
1015 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
1016 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Scroll_Hook.useScrollYPosition)(function (scrollY) {
1017 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_DOM_Hook.useBoundingBox)(function (v1) {
1018 var scrolled = (function () {
1019 if (v1.value0 instanceof Data_Maybe.Nothing) {
1022 if (v1.value0 instanceof Data_Maybe.Just) {
1023 return scrollY / v1.value0.value0.height;
1025 throw new Error("Failed pattern match at Yoga.SVG.Image (line 140, column 18 - line 142, column 39): " + [ v1.value0.constructor.name ]);
1027 return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic.element(React_Basic_DOM_Internal.unsafeCreateDOMComponent("svg"))({
1029 viewBox: "0 0 800 447",
1030 preserveAspectRatio: "xMidYMax slice",
1031 xmlns: "http://www.w3.org/2000/svg",
1032 fillRule: "evenodd",
1033 clipRule: "evenodd",
1034 strokeLinejoin: "round",
1035 strokeMiterlimit: "2",
1036 className: v.className,
1037 children: [ React_Basic_DOM_SVG.path()({
1039 d: "M0 0h800v447H0z"
1040 }), React_Basic_DOM_SVG.clipPath()({
1042 children: [ React_Basic_DOM_SVG.path()({
1043 d: "M0 0h800v447H0z"
1045 }), React_Basic_DOM_SVG.g()({
1046 clipPath: "url(#a)",
1047 children: [ React_Basic_DOM_SVG.path()({
1048 d: "M800.828 448.051V-3.513H-3.028v451.564h803.856z",
1049 fill: "url(#_Linear2)"
1050 }), React_Basic_DOM_SVG.ellipse()({
1051 className: classes.lightEllipsis,
1052 fill: "url(#_Radial3)"
1053 }), stars(classes.stars)(classes), React_Basic_DOM_SVG.path()({
1054 d: "M610.291 177.316c-35.879-.428-84.67-.691-138.392-.689-38.684.002-74.811.141-105.402.38-49.14-2.745-80.877-9.954-80.877-14.718 0-1.333 2.655.335 7.294-.896 96.772-.175 171.302-1.213 171.302-2.464 0-1.107-59.462-3.372-140.106-3.687 38.487-2.059 102.543-4.972 173.823-4.972 11.996 0 23.761.07 35.216.206 20.76-4.638 60.945-2.784 107.07-2.784 36.08 0 68.525-.075 90.882 2.983 32.491.899 72.142-1.186 114.922-.379 38.68.729 74.805 1.273 105.395 1.613 49.101 3.673 80.599 8.516 80.54 13.279-.016 1.334-2.504 2.58-7.158 3.723-96.763-1.654-171.297-2.024-171.312-.774-.013 1.108 58.473 3.15 139.105 4.989-38.514 3.085-101.653 4.38-172.925 3.033-11.995-.227-23.757-.52-35.209-.872-20.815 4.245-61.034 6.631-107.154 5.759-24.754-.468-47.786-1.809-67.014-3.73z",
1055 fill: (function () {
1056 if (theme.isLight) {
1061 className: classes.movingCloud1,
1062 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1063 }), React_Basic_DOM_SVG.path()({
1064 d: "M609.299 171.607c-35.88-.338-84.67-.545-138.392-.543-38.684.001-74.812.111-105.402.299-49.141-2.166-80.694-5.519-80.694-9.279 0-1.052 2.472-2.073 7.111-3.045 96.772-.137 171.302-.957 171.302-1.944-.001-.874-58.506-1.614-139.15-1.862 38.471-3.009 101.587-4.973 172.867-4.973 11.996 0 23.761.055 35.216.162 20.76-3.66 60.945-6.143 107.07-6.143 36.08 0 68.525 1.519 90.882 3.933 32.491.709 72.142 1.432 114.922 2.069 38.68.575 74.805 1.005 105.395 1.272 49.101 2.9 80.598 6.722 80.54 10.482-.017 1.052-2.505 2.036-7.158 2.938-96.763-1.305-171.297-1.597-171.312-.611-.014.875 58.473 2.486 139.104 3.938-38.514 2.435-101.653 3.457-172.924 2.394a3771.84 3771.84 0 01-35.21-.688c-20.814 3.35-61.033 5.234-107.153 4.545-24.754-.369-47.786-1.428-67.014-2.944z",
1065 fill: (function () {
1066 if (theme.isLight) {
1071 className: classes.movingCloud1,
1072 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1073 }), React_Basic_DOM_SVG.path()({
1074 d: "M684.234 222.269c-12.108-1.642-29.721-2.832-29.76-5.218-.063-3.861 34.226-4.225 76.6-3.504 42.375.721 75.9-2.707 76.956 1.008 2.476 8.704-12.549 8.552-32.56 10.141-12.403-.58-28.24.216-44.434.479-16.193.263-35.197-1.331-46.802-2.906z",
1075 fill: (function () {
1076 if (theme.isLight) {
1079 return "url(#_Linear4)";
1081 className: classes.movingCloud2,
1082 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1083 }), React_Basic_DOM_SVG.path()({
1084 d: "M130.064 213.821c42.381 0 76.789.237 76.789 4.224 0 3.986-14.408 4.223-56.789 4.223-42.38 0-96.788.208-96.788-4.223s34.408-4.224 76.788-4.224z",
1085 fill: (function () {
1086 if (theme.isLight) {
1091 className: classes.movingCloud3,
1092 transform: "translate(0 " + (Data_Show.show(Data_Show.showNumber)(scrolled * 20.0) + ")")
1093 }), mountains(theme.isLight)(scrolled), buildings(theme.isLight)(scrolled), React_Basic_DOM_SVG.path()({
1094 fill: theme.backgroundColour,
1095 d: "M-3.028 431.298h826.844v20.006H-3.028z"
1096 }), laptop(classes)(scrolled) ]
1097 }), defs(theme.isLight) ]
1106 mkLandingPageBackground: mkLandingPageBackground,
1108 buildings: buildings,
1109 mountains: mountains,
1110 textToTspans: textToTspans,
1112 lightDefs: lightDefs,
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list