Everything to 0.14

This commit is contained in:
Mark Eibes 2021-03-19 21:29:39 +01:00
parent 2001db5010
commit da9406d4e7
499 changed files with 2376 additions and 35577 deletions

1
blog/.gitignore vendored
View File

@ -71,3 +71,4 @@ yarn-error.log
# Purescript
.spago/
.psc-ide-port
output/

6127
blog/package-lock.json generated

File diff suppressed because it is too large Load Diff

View File

@ -38,7 +38,7 @@
"react-jss": "^10.1.1",
"react-monaco-editor": "^0.33.0",
"react-spring": "^8.0.0",
"react-syntax-highlighter": "^12.2.1"
"react-syntax-highlighter": "^15.4.3"
},
"keywords": [
"yoga",
@ -61,7 +61,7 @@
"@storybook/react": "^6.1.11",
"css-loader": "^3.4.2",
"prettier": "^1.18.2",
"purescript": "^0.13.8",
"purescript": "^0.14.0",
"style-loader": "^1.1.3"
},
"repository": {

View File

@ -116,18 +116,15 @@ let additions =
}
-------------------------------
-}
let upstream =
https://github.com/purescript/package-sets/releases/download/psc-0.13.8-20201223/packages.dhall sha256:a1a8b096175f841c4fef64c9b605fb0d691229241fd2233f6cf46e213de8a185
https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210318/packages.dhall sha256:98bbacd65191cef354ecbafa1610be13e183ee130491ab9c0ef6e3d606f781b5
let overrides =
{ css =
upstream.css
// { repo = "https://github.com/i-am-the-slime/purescript-css.git"
, version = "8ea0bab17c268d9c62a09892d7ba231dcbe6308b"
, version = "39c9a9d4344e97e561eeac26eb2ce065c12bfcb1"
}
, react-testing-library = upstream.react-testing-library ⫽ { version = "main" }
}
let additions =
@ -137,19 +134,10 @@ let additions =
, repo = "https://github.com/opyapeus/purescript-pseudo-random.git"
, version = "7715e8a2c096c480a093a5e0a6df1ece4df5ed2a"
}
, justifill =
{ dependencies = [ "record", "typelevel-prelude" ]
, repo = "https://github.com/i-am-the-slime/purescript-justifill.git"
, version = "master"
}
, matryoshka =
{ dependencies =
[ "prelude", "fixed-points", "free", "transformers", "profunctor" ]
, repo = "https://github.com/slamdata/purescript-matryoshka.git"
, version = "caaca2d836d52159ba7963333996286a00428394"
}
, yoga-components = ../components/spago.dhall as Location
, ry-blocks = ../../ry-blocks/spago.dhall as Location
, react-testing-library =
../../purescript-react-testing-library/spago.dhall as Location
}
in upstream // overrides // additions

View File

@ -2,23 +2,28 @@ module Landing where
import Prelude
import Data.Foldable (for_)
import Data.Maybe (Maybe(..))
import Data.Monoid (power)
import Data.Nullable (null)
import Effect (Effect)
import Effect.Uncurried (runEffectFn1)
import Icon.Logo (logo)
import React.Basic (Ref)
import React.Basic.DOM as R
import React.Basic.Emotion as E
import React.Basic.Events (handler_)
import React.Basic.Events (EventHandler, handler_)
import React.Basic.Helpers (jsx)
import React.Basic.Hooks (ReactComponent, reactComponent, readRefMaybe, useRef)
import React.Basic.Hooks as React
import Unsafe.Coerce (unsafeCoerce)
import Web.HTML (window)
import Web.HTML.HTMLElement (getBoundingClientRect)
import Web.HTML.HTMLElement as HTMLElement
import Yoga ((/>), (</*), (</*>), (</>))
import Yoga ((/>), (</), (</*), (</*>), (</>))
import Yoga.Block as Block
import Yoga.Block.Atom.Button.Types as ButtonType
import Yoga.Block.Container.Style (colour)
import Yoga.Block.Container.Style (DarkOrLightMode(..), colour)
import Yoga.Block.Internal (NodeRef)
import Yoga.SVG.Image (mkLandingPageBackground)
import Yoga.Scroll.Hook (useScrollYPosition)
@ -79,7 +84,7 @@ classes =
E.css
{ position: E.str "absolute"
, maxWidth: E.str "none"
, width: E.str "100%"
, width: E.str "min(100%, 1200px)"
, height: E.str "100%"
}
}
@ -90,54 +95,84 @@ mkLandingPage = do
reactComponent "LandingPage" \{} -> React.do
ref <- useRef null
scrollY <- useScrollYPosition
pure
$ E.element R.div'
let
themeVariant ∷ DarkOrLightMode
themeVariant = DarkMode -- [TODO]
backgroundImg =
E.element
backgroundImage
{ className: "landing-image"
, css: classes.landingImage
, themeVariant
}
button =
R.div'
</*> { css: classes.actionButton
, className: "action-button"
, children:
[ Block.button
</* { onClick: scrollTo ref
, buttonType: ButtonType.Primary
, css: classes.actualActionButton
, className: "lets-go-btn"
}
/> [ R.text buttonText ]
]
}
welcomeTitle =
R.div'
</*> { className: "welcome-text", css: classes.welcomeText, children: [ R.text welcomeText ] }
welcomeSubtitle =
R.div'
</*> { className: "welcome-copy", css: classes.welcomeCopy, children: [ R.text copyText ] }
upperBlock =
E.element R.div'
{ ref
, css: classes.landing
, className: "landing-page"
, children:
[ E.element backgroundImage { className: "landing-image", css: classes.landingImage }
[ backgroundImg
, E.element R.div'
{ className: "text-layer"
, css: classes.textLayer
, children:
[ E.element R.div'
{ className: "top-bar"
, css: classes.topBar
, children: [ Block.icon </*> { className: "logo", css: E.css { marginTop: E.var "--s0" }, size: E.var "--s3", icon: logo } ]
}
, E.element R.div' { className: "welcome-text", css: classes.welcomeText, children: [ R.text welcomeText ] }
, E.element R.div' { className: "welcome-copy", css: classes.welcomeCopy, children: [ R.text copyText ] }
, E.element R.div'
{ css: classes.actionButton
, className: "action-button"
, children:
[ Block.button
</* { onClick:
handler_ do
maybeNode <- readRefMaybe ref
for_ (maybeNode >>= HTMLElement.fromNode) \n -> do
height <- getBoundingClientRect n <#> _.height
win <- window
runEffectFn1 ((unsafeCoerce win).scrollTo)
{ top: height, left: 0, behavior: "smooth" }
, buttonType: ButtonType.Primary
, css: classes.actualActionButton
, className: "Heinzer"
}
/> [ R.text buttonText ]
[ R.div'
</*> { className: "top-bar"
, css: classes.topBar
, children: [ Block.icon </*> { className: "logo", css: E.css { marginTop: E.var "--s0" }, size: E.var "--s3", icon: logo } ]
}
, Block.stack
</ {}
/> [ welcomeTitle
, welcomeSubtitle
, button
]
}
]
}
]
}
textBlock = R.text placeholderText
content = Block.stack </ {}
pure $ Block.container </> { themeVariant: Just themeVariant, content: content [ upperBlock, textBlock ] }
welcomeText ∷ String
welcomeText = "Enter the college of Kleisli"
copyText ∷ String
copyText = "Learn how to tame and harness the compiler, whether you're a λ or a Λ"
copyText = "Let's go!"
buttonText ∷ String
buttonText = "I can't wait, let's go!"
placeholderText ∷ String
placeholderText = "Franz jagt im komplett verwahrlosten Taxi quer durch Bayern. " `power` 20
scrollTo ∷ NodeRef -> EventHandler
scrollTo ref =
handler_ do
maybeNode <- readRefMaybe ref
for_ (maybeNode >>= HTMLElement.fromNode) \n -> do
height <- getBoundingClientRect n <#> _.height
win <- window
runEffectFn1 ((unsafeCoerce win).scrollTo)
{ top: height, left: 0, behavior: "smooth" }

View File

@ -1,14 +0,0 @@
import { configure, forceReRender } from "@storybook/react";
const req = require.context("../src/", true, /Stories\.purs$/);
function loadStories() {
req.keys().forEach(filename => {
req(filename).stories();
});
}
configure(loadStories, module);
if (module.hot) {
forceReRender();
}

View File

@ -1,11 +0,0 @@
const express = require("express");
const request = require("request");
const expressMiddleWare = router => {
router.use("/api", (req, res) => {
var url = "http://localhost:14188" + req.url;
req.pipe(request({ qs: req.query, uri: url, json: true })).pipe(res);
});
};
module.exports = expressMiddleWare;

View File

@ -1,27 +0,0 @@
<link
href="https://fonts.googleapis.com/css?family=Rubik&display=swap"
rel="stylesheet"
/>
<link
rel="stylesheet"
href="https://cdnjs.cloudflare.com/ajax/libs/animate.css/3.7.2/animate.css"
integrity="sha256-a2tobsqlbgLsWs7ZVUGgP5IvWZsx8bTNQpzsqCSm5mk="
crossorigin="anonymous"
/>
<style>
html,
body,
#app {
margin: 0;
padding: 0;
overscroll-behavior: none;
background-color: black;
}
@font-face {
font-family: "PragmataPro";
src: url("./fonts/PragmataProLiga-Regular.woff2") format("woff2"),
url("./fonts/PragmataProLiga-Regular.woff") format("woff");
font-weight: normal;
font-style: normal;
}
</style>

View File

@ -1,12 +0,0 @@
const custom = require("../webpack.dev.js");
const path = require("path");
module.exports = async ({ config, mode }) => {
return {
...config,
module:
{ ...config.module
, rules: custom.module.rules
}
};
};

View File

@ -1,5 +0,0 @@
{
"editor.formatOnSave": true,
"purescript.buildCommand": "npx spago build --purs-args '--json-errors'",
"search.exclude": { "**/.history": true }
}

View File

@ -1,20 +0,0 @@
Copyright (c) 2016 Eric Thul
Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the
"Software"), in the Software without restriction, including without
limitation the rights to use, copy, modify, merge, publish, distribute,
sublicense, and/or sell copies of the Software, and to permit persons to
whom the Software is furnished to do so, subject to the following
conditions:
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

Binary file not shown.

View File

@ -1,6 +0,0 @@
@font-face {
font-family: "Rubik";
src: url("Rubik-Regular.woff2") format("woff2");
font-weight: normal;
font-style: normal;
}

Binary file not shown.

Before

Width:  |  Height:  |  Size: 28 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 15 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 35 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 37 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 81 KiB

File diff suppressed because one or more lines are too long

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g id="Alternative"><path d="M83.506,45.907l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/><path d="M36.924,34.346l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M53.013,18.146c0,-0.714 -0.579,-1.294 -1.293,-1.294l-2.588,0c-0.714,0 -1.294,0.58 -1.294,1.294l0,59.785c0,0.714 0.58,1.294 1.294,1.294l2.588,0c0.714,0 1.293,-0.58 1.293,-1.294l0,-59.785Z" style=""/></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.2 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="Ap"><g><path d="M90.506,47.156l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M29.924,35.595l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M47.276,31.405c0.168,-1.47 1.413,-2.58 2.893,-2.58c1.48,0 2.724,1.11 2.893,2.58l1.124,9.784l9.653,-1.954c1.451,-0.294 2.891,0.547 3.348,1.954c0.457,1.408 -0.214,2.934 -1.56,3.549l-8.958,4.093l4.842,8.576c0.727,1.289 0.373,2.918 -0.824,3.788c-1.198,0.87 -2.857,0.704 -3.858,-0.386l-6.66,-7.255l-6.661,7.255c-1,1.09 -2.66,1.256 -3.857,0.386c-1.197,-0.87 -1.552,-2.499 -0.824,-3.788l4.842,-8.576l-8.958,-4.093c-1.347,-0.615 -2.017,-2.141 -1.56,-3.549c0.457,-1.407 1.897,-2.248 3.348,-1.954l9.653,1.954l1.124,-9.784Z" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.5 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="append"><g><path d="M77.506,45.907l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M42.924,34.346l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.0 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:1.5;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="Apply"><g><path d="M37.344,58.583c0,5.756 5.739,10.422 12.819,10.422c7.075,0 12.818,-4.67 12.818,-10.422c0,-5.754 -5.733,-10.418 -12.807,-10.423l-0.013,0.002c-7.074,-0.005 -12.808,-4.67 -12.808,-10.423c0,-5.752 5.744,-10.423 12.819,-10.423c7.079,0 12.819,4.667 12.819,10.423" style="fill:none;stroke:#fff;stroke-width:6px;"/><path d="M53.012,18.146c0,-0.714 -0.58,-1.294 -1.294,-1.294l-2.588,0c-0.714,0 -1.293,0.58 -1.293,1.294l0,59.785c0,0.714 0.579,1.294 1.293,1.294l2.588,0c0.714,0 1.294,-0.58 1.294,-1.294l0,-59.785Z" style=""/></g></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.1 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="Map-Flipped" serif:id="Map Flipped"><path d="M48.556,27.619c0.113,-0.67 -0.34,-1.214 -1.01,-1.214l-2.429,0c-0.67,0 -1.306,0.544 -1.419,1.214l-6.89,40.839c-0.113,0.67 0.339,1.214 1.009,1.214l2.429,0c0.67,0 1.306,-0.544 1.419,-1.214l6.891,-40.839Z" style=""/><path d="M62.429,27.619c0.113,-0.67 -0.339,-1.214 -1.009,-1.214l-2.429,0c-0.67,0 -1.306,0.544 -1.419,1.214l-6.89,40.839c-0.113,0.67 0.339,1.214 1.009,1.214l2.429,0c0.67,0 1.306,-0.544 1.419,-1.214l6.89,-40.839Z" style=""/><path d="M67.974,43.53c0.69,0 1.341,-0.544 1.454,-1.214l0.41,-2.429c0.113,-0.67 -0.355,-1.214 -1.044,-1.214l-35.19,0c-0.69,0 -1.341,0.544 -1.454,1.214l-0.41,2.429c-0.113,0.67 0.355,1.214 1.044,1.214l35.19,0Z" style=""/><path d="M65.633,57.404c0.69,0 1.341,-0.544 1.454,-1.214l0.41,-2.429c0.113,-0.67 -0.355,-1.214 -1.044,-1.214l-35.19,0c-0.689,0 -1.341,0.544 -1.454,1.214l-0.41,2.429c-0.113,0.67 0.355,1.214 1.044,1.214l35.19,0Z" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.5 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="bind"><g><path d="M53.177,45.907l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M15.615,34.346l4.27,-4.27l15.83,15.829c0.568,0.568 0.882,1.328 0.88,2.134c0,0.807 -0.312,1.565 -0.88,2.133l-15.83,15.83l-4.27,-4.267l13.695,-13.696l-13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M59.808,43.694l24.911,0l0,-6.262l-31.146,0" style=""/><path d="M59.808,52.432l24.911,0l0,6.262l-31.146,0" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.1 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="compose"><g><path d="M21.829,45.907l15.824,-15.832l4.268,4.269l-13.688,13.696l13.688,13.695l-4.268,4.268l-15.824,-15.826c-0.57,-0.573 -0.885,-1.332 -0.885,-2.139c0.002,-0.807 0.315,-1.563 0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M79.391,34.346l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M60.656,34.346l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.2 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><clipPath id="_clip1"><rect id="Artboard11" serif:id="Artboard1" x="0" y="0" width="100" height="100"/></clipPath><g clip-path="url(#_clip1)"><rect id="Background" x="-0.264" y="0.156" width="100.061" height="99.786" style="fill:#1e223f;"/><g id="kleisli"><g><path d="M79.506,47.808l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M21.944,36.247l4.27,-4.27l15.83,15.829c0.568,0.568 0.882,1.328 0.88,2.134c0,0.807 -0.312,1.565 -0.88,2.133l-15.83,15.83l-4.27,-4.267l13.695,-13.696l-13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M40.679,36.247l4.27,-4.27l15.83,15.829c0.568,0.568 0.882,1.328 0.88,2.134c0,0.807 -0.312,1.565 -0.88,2.133l-15.83,15.83l-4.27,-4.267l13.695,-13.696l-13.695,-13.693Z" style="fill-rule:nonzero;"/></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.4 KiB

View File

@ -1,37 +0,0 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Document</title>
<script src="https://unpkg.com/spiritjs/dist/spirit.js"></script>
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg
width="400px"
height="400px"
viewBox="0 0 39 34"
version="1.1"
xmlns="http://www.w3.org/2000/svg"
xmlns:xlink="http://www.w3.org/1999/xlink"
xml:space="preserve"
xmlns:serif="http://www.serif.com/"
style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"
>
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path d="M3.379,6.769L9.165,16.789L-2.406,16.789L3.379,6.769Z" />
</g>
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path
d="M-3.26,-4.732L0.493,1.768L-8.179,16.789L-15.685,16.789L-3.26,-4.732Z"
/>
</g>
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path
d="M-0.373,-9.732L3.379,-16.231L22.444,16.789L14.938,16.789L-0.373,-9.732Z"
/>
</g>
</svg>
</head>
<body></body>
</html>

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="forall"><path d="M29.639,24.185l6.269,0l5.743,15.779l17.032,0l5.743,-15.779l6.27,0l-17.363,47.707l-6.331,0l-17.363,-47.707Zm13.872,20.89l6.656,18.287l6.656,-18.287l-13.312,0Z" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 775 B

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="kleisli"><g><path d="M86.006,45.907l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M13.444,34.346l4.27,-4.27l15.83,15.829c0.568,0.568 0.882,1.328 0.88,2.134c0,0.807 -0.312,1.565 -0.88,2.133l-15.83,15.83l-4.27,-4.267l13.695,-13.696l-13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M38.637,43.694l30.063,-0.014l-6.152,-6.248l-30.146,0" style=""/><path d="M38.637,52.432l30.063,0l-6.152,6.262l-30.146,0" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.1 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 31 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 31 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 9.0 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 101 72" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100.651" height="71.235" style="fill:none;"/><g id="Icon"><path d="M96.414,22.222l-18.005,-18.014l-4.857,4.857l15.576,15.585l-15.576,15.582l4.857,4.856l18.005,-18.007c0.649,-0.652 1.007,-1.516 1.007,-2.434c-0.003,-0.918 -0.358,-1.778 -1.007,-2.425" style="fill:#ccffd6;fill-rule:nonzero;"/><path d="M50.441,13.651c7.364,-7.356 19.315,-7.354 26.677,0.007c7.361,7.362 7.363,19.313 0.007,26.677l0.007,0.007l-26.684,26.684l-26.684,-26.684c-7.364,-7.363 -7.364,-19.32 0,-26.684c7.361,-7.361 19.312,-7.363 26.677,-0.007Z" style="fill:#c47dff;"/><path d="M27.102,26.276l-4.859,-4.858l-18.012,18.01c-0.647,0.647 -1.004,1.511 -1.002,2.428c0,0.919 0.355,1.781 1.002,2.428l18.012,18.012l4.859,-4.856l-15.583,-15.584l15.583,-15.58Z" style="fill:#ccffd6;fill-rule:nonzero;"/></g></svg>

Before

Width:  |  Height:  |  Size: 1.2 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g id="Map"><path d="M90.506,45.907l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/><path d="M29.924,34.346l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M51.304,22.848c0.484,0 0.878,0.393 0.878,0.878l0,4.969c5.339,0.735 10.415,4.272 10.951,10.001c0.027,0.289 0.039,0.579 0.041,0.869l-4.931,0.039c-0.023,-2.934 -2.79,-5.107 -6.061,-5.828l0,12.109c1.468,0.218 3.352,0.65 4.937,1.5c4.967,2.661 7.895,9.181 4.515,14.545c-1.991,3.157 -5.6,5.051 -9.452,5.574l0,4.847c0,0.485 -0.394,0.878 -0.878,0.878l-1.756,0c-0.485,0 -0.878,-0.393 -0.878,-0.878l0,-4.75c-4.77,-0.384 -9.281,-2.894 -10.969,-7.726c-0.351,-1.007 -0.529,-2.071 -0.537,-3.139l4.931,-0.039c0.024,3.085 3.085,5.33 6.575,5.927l0,-12.096c-0.618,-0.06 -1.308,-0.154 -1.945,-0.301c-5.207,-1.206 -10.046,-5.836 -9.512,-11.531c0.5,-5.342 5.647,-9.416 11.457,-10.055l0,-4.915c0,-0.485 0.393,-0.878 0.878,-0.878l1.756,0Zm0.878,27.969l0,11.83c2.136,-0.357 4.109,-1.432 5.32,-3.411c0.745,-1.22 0.945,-2.758 0.448,-4.118c-0.852,-2.328 -3.189,-3.791 -5.768,-4.301Zm-3.512,-17.235c-2.331,0.263 -4.527,1.346 -5.834,3.483c-0.745,1.22 -0.945,2.758 -0.448,4.118c0.908,2.482 3.504,3.981 6.282,4.389l0,-11.99Z" style=""/></g></g></svg>

Before

Width:  |  Height:  |  Size: 2.0 KiB

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 100 100" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><rect id="Artboard1" x="0" y="0" width="100" height="100" style="fill:none;"/><g id="Artboard11" serif:id="Artboard1"><g><g id="Map-Flipped" serif:id="Map Flipped"><g><path d="M90.506,47.151l-15.824,-15.832l-4.268,4.269l13.688,13.696l-13.688,13.695l4.268,4.268l15.824,-15.826c0.57,-0.573 0.885,-1.332 0.885,-2.139c-0.002,-0.807 -0.315,-1.563 -0.885,-2.131" style="fill-rule:nonzero;"/></g><path d="M29.924,35.59l-4.27,-4.27l-15.83,15.829c-0.568,0.568 -0.882,1.328 -0.88,2.134c0,0.807 0.312,1.565 0.88,2.133l15.83,15.83l4.27,-4.267l-13.695,-13.696l13.695,-13.693Z" style="fill-rule:nonzero;"/><path d="M48.556,27.619c0.113,-0.67 -0.34,-1.214 -1.01,-1.214l-2.429,0c-0.67,0 -1.306,0.544 -1.419,1.214l-6.89,40.839c-0.113,0.67 0.339,1.214 1.009,1.214l2.429,0c0.67,0 1.306,-0.544 1.419,-1.214l6.891,-40.839Z" style=""/><path d="M62.429,27.619c0.113,-0.67 -0.339,-1.214 -1.009,-1.214l-2.429,0c-0.67,0 -1.306,0.544 -1.419,1.214l-6.89,40.839c-0.113,0.67 0.339,1.214 1.009,1.214l2.429,0c0.67,0 1.306,-0.544 1.419,-1.214l6.89,-40.839Z" style=""/><path d="M67.974,43.53c0.69,0 1.341,-0.544 1.454,-1.214l0.41,-2.429c0.113,-0.67 -0.355,-1.214 -1.044,-1.214l-35.19,0c-0.69,0 -1.341,0.544 -1.454,1.214l-0.41,2.429c-0.113,0.67 0.355,1.214 1.044,1.214l35.19,0Z" style=""/><path d="M65.633,57.404c0.69,0 1.341,-0.544 1.454,-1.214l0.41,-2.429c0.113,-0.67 -0.355,-1.214 -1.044,-1.214l-35.19,0c-0.689,0 -1.341,0.544 -1.454,1.214l-0.41,2.429c-0.113,0.67 0.355,1.214 1.044,1.214l35.19,0Z" style=""/></g></g></g></svg>

Before

Width:  |  Height:  |  Size: 1.9 KiB

View File

@ -1 +0,0 @@
<svg xmlns="http://www.w3.org/2000/svg" width="100%" height="100%" viewBox="0 0 100 100" fill-rule="nonzero" stroke-linejoin="round" stroke-miterlimit="2"><path d="M28.72 46.524l8.94.26-7.843 7.388h40.97l-7.87 6.732H29.753l7.64 7.302-8.76.267-10.928-10.88 11.013-11.07zM17.493 57.806l.213-.213-.213.213z" fill="#fafafa"/><path d="M71.3 53.472l-8.94-.26 7.843-7.388H29.4l7.723-6.732h33.163l-7.64-7.302 8.758-.267 10.93 10.88L71.3 53.472zM82.536 42.2l-.213.213.213-.213z" fill="#fff" fill-opacity=".14"/></svg>

Before

Width:  |  Height:  |  Size: 508 B

View File

@ -1,28 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<svg width="90px" height="90px" viewBox="0 0 90 90" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Generator: Sketch 62 (91390) - https://sketch.com -->
<title>Play</title>
<desc>Created with Sketch.</desc>
<defs>
<linearGradient x1="0%" y1="0%" x2="100%" y2="100%" id="linearGradient-1">
<stop stop-color="#413F4E" stop-opacity="0.5" offset="0%"></stop>
<stop stop-color="#101215" offset="100%"></stop>
</linearGradient>
<linearGradient x1="0%" y1="0%" x2="100%" y2="100%" id="linearGradient-2">
<stop stop-color="#EF5BFF" offset="0%"></stop>
<stop stop-color="#DB2FFF" offset="100%"></stop>
</linearGradient>
<linearGradient x1="10.8727811%" y1="0%" x2="89.1272189%" y2="100%" id="linearGradient-3">
<stop stop-color="#EF5BFF" offset="0%"></stop>
<stop stop-color="#DB2FFF" offset="100%"></stop>
</linearGradient>
</defs>
<g id="Page-1" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd">
<rect id="Background" fill="#1F2228" x="-1064" y="-666" width="1600" height="2000"></rect>
<rect id="Rectangle" fill="#14161A" x="-650" y="-28" width="888" height="549" rx="36"></rect>
<g id="Play" stroke-width="3">
<circle id="Oval" stroke="url(#linearGradient-2)" fill="url(#linearGradient-1)" cx="45" cy="45" r="43.5"></circle>
<polygon id="Path" stroke="url(#linearGradient-3)" points="37 32 37 58 60 45"></polygon>
</g>
</g>
</svg>

Before

Width:  |  Height:  |  Size: 1.6 KiB

View File

@ -1,3 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.1//EN' 'http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd'>
<svg clip-rule="evenodd" fill-rule="evenodd" stroke-linejoin="round" stroke-miterlimit="2" version="1.1" viewBox="0 0 100 100" xml:space="preserve" xmlns="http://www.w3.org/2000/svg"><g fill-rule="nonzero"><path d="m69.418 69.64l-7.256-6.775h-31.862l7.256 6.775h31.862z"/><path d="m37.556 45.889l-7.256 6.775h31.863l7.255-6.775h-31.862z"/><path d="m69.416 35.686l-7.254-6.777h-31.86l7.254 6.777h31.86z"/><path d="m26.948 42.391l-4.794-4.793-17.772 17.77c-0.638 0.638-0.99 1.491-0.988 2.396 0 0.906 0.35 1.757 0.988 2.395l17.772 17.772 4.794-4.791-15.375-15.376 15.375-15.373z"/><path d="m95.336 38.392l-17.765-17.774-4.792 4.792 15.368 15.377-15.368 15.374 4.792 4.792 17.765-17.767c0.64-0.644 0.994-1.496 0.994-2.402-3e-3 -0.906-0.354-1.754-0.994-2.392"/></g></svg>

Before

Width:  |  Height:  |  Size: 907 B

View File

@ -1 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg width="100%" height="100%" viewBox="0 0 39 34" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;"><path d="M0,33.021l12.425,-21.521l3.753,6.5l-8.672,15.021l-7.506,0Zm24.85,0l-11.571,0l5.785,-10.021l5.786,10.021Zm13.279,0l-7.506,0l-15.311,-26.521l3.752,-6.5l19.065,33.021Z"/></svg>

Before

Width:  |  Height:  |  Size: 586 B

View File

@ -1,13 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="100%" height="100%" viewBox="0 0 39 34" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;">
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path d="M3.379,6.769L9.165,16.789L-2.406,16.789L3.379,6.769Z"/>
</g>
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path d="M-3.26,-4.732L0.493,1.768L-8.179,16.789L-15.685,16.789L-3.26,-4.732Z"/>
</g>
<g transform="matrix(1,0,0,1,15.6853,16.2316)">
<path d="M-0.373,-9.732L3.379,-16.231L22.444,16.789L14.938,16.789L-0.373,-9.732Z"/>
</g>
</svg>

Before

Width:  |  Height:  |  Size: 887 B

View File

@ -1,6 +0,0 @@
<svg width="100%" height="50%" viewBox="0 0 123 123" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;">
<g id="x-mark">
<path d="M101.703,36.06c2.054,-2.054 2.054,-5.388 0,-7.442l-7.441,-7.441c-2.054,-2.054 -5.388,-2.054 -7.442,0l-65.643,65.643c-2.054,2.054 -2.054,5.388 0,7.442l7.441,7.441c2.054,2.054 5.388,2.054 7.442,0l65.643,-65.643Z" style="fill:#02001e;" />
<path d="M86.82,101.703c2.054,2.054 5.388,2.054 7.442,0l7.441,-7.441c2.054,-2.054 2.054,-5.388 0,-7.442l-65.643,-65.643c-2.054,-2.054 -5.388,-2.054 -7.442,0l-7.441,7.441c-2.054,2.054 -2.054,5.388 0,7.442l65.643,65.643Z" style="fill:#02001e;" />
</g>
</svg>

Before

Width:  |  Height:  |  Size: 795 B

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 31 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 30 KiB

File diff suppressed because one or more lines are too long

View File

@ -1,533 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Data_Array_NonEmpty = require("../Data.Array.NonEmpty/index.js");
var Data_Boolean = require("../Data.Boolean/index.js");
var Data_Either = require("../Data.Either/index.js");
var Data_Foldable = require("../Data.Foldable/index.js");
var Data_Function = require("../Data.Function/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Int = require("../Data.Int/index.js");
var Data_Maybe = require("../Data.Maybe/index.js");
var Data_Ord = require("../Data.Ord/index.js");
var Data_String_CodePoints = require("../Data.String.CodePoints/index.js");
var Data_String_Regex = require("../Data.String.Regex/index.js");
var $$Math = require("../Math/index.js");
var UnclippedHue = function (x) {
return x;
};
var RGB = (function () {
function RGB() {
};
RGB.value = new RGB();
return RGB;
})();
var HSL = (function () {
function HSL() {
};
HSL.value = new HSL();
return HSL;
})();
var LCh = (function () {
function LCh() {
};
LCh.value = new LCh();
return LCh;
})();
var Lab = (function () {
function Lab() {
};
Lab.value = new Lab();
return Lab;
})();
var HSLA = (function () {
function HSLA(value0, value1, value2, value3) {
this.value0 = value0;
this.value1 = value1;
this.value2 = value2;
this.value3 = value3;
};
HSLA.create = function (value0) {
return function (value1) {
return function (value2) {
return function (value3) {
return new HSLA(value0, value1, value2, value3);
};
};
};
};
return HSLA;
})();
var modPos = function (x) {
return function (y) {
return $$Math.remainder($$Math.remainder(x)(y) + y)(y);
};
};
var rgba = function (red$prime) {
return function (green$prime) {
return function (blue$prime) {
return function (alpha) {
var red = Data_Ord.clamp(Data_Ord.ordInt)(0)(255)(red$prime);
var r = Data_Int.toNumber(red) / 255.0;
var green = Data_Ord.clamp(Data_Ord.ordInt)(0)(255)(green$prime);
var g = Data_Int.toNumber(green) / 255.0;
var blue = Data_Ord.clamp(Data_Ord.ordInt)(0)(255)(blue$prime);
var maxChroma = Data_Ord.max(Data_Ord.ordInt)(Data_Ord.max(Data_Ord.ordInt)(red)(green))(blue);
var minChroma = Data_Ord.min(Data_Ord.ordInt)(Data_Ord.min(Data_Ord.ordInt)(red)(green))(blue);
var chroma = maxChroma - minChroma | 0;
var chroma$prime = Data_Int.toNumber(chroma) / 255.0;
var lightness = Data_Int.toNumber(maxChroma + minChroma | 0) / (255.0 * 2.0);
var saturation = (function () {
if (chroma === 0) {
return 0.0;
};
if (Data_Boolean.otherwise) {
return chroma$prime / (1.0 - $$Math.abs(2.0 * lightness - 1.0));
};
throw new Error("Failed pattern match at Color (line 157, column 5 - line 158, column 75): " + [ ]);
})();
var b = Data_Int.toNumber(blue) / 255.0;
var hue$prime = function (v) {
if (v === 0) {
return 0.0;
};
if (maxChroma === red) {
return modPos((g - b) / chroma$prime)(6.0);
};
if (maxChroma === green) {
return (b - r) / chroma$prime + 2.0;
};
if (Data_Boolean.otherwise) {
return (r - g) / chroma$prime + 4.0;
};
throw new Error("Failed pattern match at Color (line 148, column 5 - line 148, column 17): " + [ v.constructor.name ]);
};
var hue = 60.0 * hue$prime(chroma);
return new HSLA(hue, saturation, lightness, alpha);
};
};
};
};
var rgb = function (r) {
return function (g) {
return function (b) {
return rgba(r)(g)(b)(1.0);
};
};
};
var rgba$prime = function (r) {
return function (g) {
return function (b) {
return function (a) {
return rgba(Data_Int.round(r * 255.0))(Data_Int.round(g * 255.0))(Data_Int.round(b * 255.0))(a);
};
};
};
};
var rgb$prime = function (r) {
return function (g) {
return function (b) {
return rgba$prime(r)(g)(b)(1.0);
};
};
};
var xyz = function (x) {
return function (y) {
return function (z) {
var f = function (c) {
if (c <= 3.1308e-3) {
return 12.92 * c;
};
if (Data_Boolean.otherwise) {
return 1.055 * $$Math.pow(c)(1.0 / 2.4) - 5.5e-2;
};
throw new Error("Failed pattern match at Color (line 224, column 5 - line 225, column 65): " + [ c.constructor.name ]);
};
var g = f(-0.9689 * x + 1.8758 * y + 4.15e-2 * z);
var r = f(3.2406 * x - 1.5372 * y - 0.4986 * z);
var b = f((5.57e-2 * x - 0.204 * y) + 1.057 * z);
return rgb$prime(r)(g)(b);
};
};
};
var interpolate = function (fraction) {
return function (a) {
return function (b) {
return a + fraction * (b - a);
};
};
};
var interpolateAngle = function (fraction) {
return function (a) {
return function (b) {
var paths = [ {
from: a,
to: b
}, {
from: a,
to: b + 360.0
}, {
from: a + 360.0,
to: b
} ];
var dist = function (v) {
return $$Math.abs(v.to - v.from);
};
var shortest = Data_Maybe.fromJust()(Data_Foldable.minimumBy(Data_Foldable.foldableArray)(Data_Ord.comparing(Data_Ord.ordNumber)(dist))(paths));
return interpolate(fraction)(shortest.from)(shortest.to);
};
};
};
var hsla = function (h) {
return function (s) {
return function (l) {
return function (a) {
var s$prime = Data_Ord.clamp(Data_Ord.ordNumber)(0.0)(1.0)(s);
var l$prime = Data_Ord.clamp(Data_Ord.ordNumber)(0.0)(1.0)(l);
var a$prime = Data_Ord.clamp(Data_Ord.ordNumber)(0.0)(1.0)(a);
return new HSLA(h, s$prime, l$prime, a$prime);
};
};
};
};
var lighten = function (f) {
return function (v) {
return hsla(v.value0)(v.value1)(v.value2 + f)(v.value3);
};
};
var rotateHue = function (angle) {
return function (v) {
return hsla(v.value0 + angle)(v.value1)(v.value2)(v.value3);
};
};
var hsl = function (h) {
return function (s) {
return function (l) {
return hsla(h)(s)(l)(1.0);
};
};
};
var fromHexString = function (str) {
var parseHex = (function () {
var $41 = Data_Maybe.fromMaybe(0);
var $42 = Data_Int.fromStringAs(Data_Int.hexadecimal);
return function ($43) {
return $41($42($43));
};
})();
var isShort = Data_String_CodePoints.length(str) === 4;
var hush = Data_Either.either(Data_Function["const"](Data_Maybe.Nothing.value))(Data_Maybe.Just.create);
var pair = "(" + ("[0-9a-f]" + ("[0-9a-f]" + ")"));
var single = "(" + ("[0-9a-f]" + ")");
var variant = (function () {
if (isShort) {
return single + (single + single);
};
return pair + (pair + pair);
})();
var mPattern = Data_String_Regex.regex("^#(?:" + (variant + ")$"))(Data_String_Regex.parseFlags("i"));
return Control_Bind.bind(Data_Maybe.bindMaybe)(hush(mPattern))(function (pattern) {
return Control_Bind.bind(Data_Maybe.bindMaybe)(Data_String_Regex.match(pattern)(str))(function (groups) {
return Control_Bind.bind(Data_Maybe.bindMaybe)(Data_Functor.map(Data_Maybe.functorMaybe)(parseHex)(Control_Bind.join(Data_Maybe.bindMaybe)(Data_Array_NonEmpty.index(groups)(1))))(function (r) {
return Control_Bind.bind(Data_Maybe.bindMaybe)(Data_Functor.map(Data_Maybe.functorMaybe)(parseHex)(Control_Bind.join(Data_Maybe.bindMaybe)(Data_Array_NonEmpty.index(groups)(2))))(function (g) {
return Control_Bind.bind(Data_Maybe.bindMaybe)(Data_Functor.map(Data_Maybe.functorMaybe)(parseHex)(Control_Bind.join(Data_Maybe.bindMaybe)(Data_Array_NonEmpty.index(groups)(3))))(function (b) {
if (isShort) {
return Control_Applicative.pure(Data_Maybe.applicativeMaybe)(rgb((16 * r | 0) + r | 0)((16 * g | 0) + g | 0)((16 * b | 0) + b | 0));
};
return Control_Applicative.pure(Data_Maybe.applicativeMaybe)(rgb(r)(g)(b));
});
});
});
});
});
};
var darken = function (f) {
return lighten(-f);
};
var d65 = {
xn: 0.95047,
yn: 1.0,
zn: 1.08883
};
var lab = function (l) {
return function (a) {
return function (b) {
var l$prime = (l + 16.0) / 116.0;
var delta = 6.0 / 29.0;
var finv = function (t) {
if (t > delta) {
return $$Math.pow(t)(3.0);
};
if (Data_Boolean.otherwise) {
return 3.0 * delta * delta * (t - 4.0 / 29.0);
};
throw new Error("Failed pattern match at Color (line 249, column 5 - line 250, column 64): " + [ t.constructor.name ]);
};
var x = d65.xn * finv(l$prime + a / 500.0);
var y = d65.yn * finv(l$prime);
var z = d65.zn * finv(l$prime - b / 200.0);
return xyz(x)(y)(z);
};
};
};
var lch = function (l) {
return function (c) {
return function (h) {
var deg2rad = $$Math.pi / 180.0;
var b = c * $$Math.sin(h * deg2rad);
var a = c * $$Math.cos(h * deg2rad);
return lab(l)(a)(b);
};
};
};
var clipHue = function (v) {
var $21 = 360.0 === v;
if ($21) {
return v;
};
return modPos(v)(360.0);
};
var toHSLA = function (v) {
return {
h: clipHue(v.value0),
s: v.value1,
l: v.value2,
a: v.value3
};
};
var toRGBA$prime = function (v) {
var h$prime = clipHue(v.value0) / 60.0;
var chr = (1.0 - $$Math.abs(2.0 * v.value2 - 1.0)) * v.value1;
var m = v.value2 - chr / 2.0;
var x = chr * (1.0 - $$Math.abs($$Math.remainder(h$prime)(2.0) - 1.0));
var col = (function () {
if (h$prime < 1.0) {
return {
r: chr,
g: x,
b: 0.0
};
};
if (1.0 <= h$prime && h$prime < 2.0) {
return {
r: x,
g: chr,
b: 0.0
};
};
if (2.0 <= h$prime && h$prime < 3.0) {
return {
r: 0.0,
g: chr,
b: x
};
};
if (3.0 <= h$prime && h$prime < 4.0) {
return {
r: 0.0,
g: x,
b: chr
};
};
if (4.0 <= h$prime && h$prime < 5.0) {
return {
r: x,
g: 0.0,
b: chr
};
};
if (Data_Boolean.otherwise) {
return {
r: chr,
g: 0.0,
b: x
};
};
throw new Error("Failed pattern match at Color (line 342, column 5 - line 347, column 61): " + [ ]);
})();
return {
r: col.r + m,
g: col.g + m,
b: col.b + m,
a: v.value3
};
};
var luminance = function (col) {
var val = toRGBA$prime(col);
var f = function (c) {
if (c <= 3.928e-2) {
return c / 12.92;
};
if (Data_Boolean.otherwise) {
return $$Math.pow((c + 5.5e-2) / 1.055)(2.4);
};
throw new Error("Failed pattern match at Color (line 604, column 9 - line 605, column 61): " + [ c.constructor.name ]);
};
var g = f(val.g);
var r = f(val.r);
var b = f(val.b);
return 0.2126 * r + 0.7152 * g + 7.22e-2 * b;
};
var contrast = function (c1) {
return function (c2) {
var l2 = luminance(c2);
var l1 = luminance(c1);
var $33 = l1 > l2;
if ($33) {
return (l1 + 5.0e-2) / (l2 + 5.0e-2);
};
return (l2 + 5.0e-2) / (l1 + 5.0e-2);
};
};
var toRGBA = function (col) {
var c = toRGBA$prime(col);
var g = Data_Int.round(255.0 * c.g);
var r = Data_Int.round(255.0 * c.r);
var b = Data_Int.round(255.0 * c.b);
return {
r: r,
g: g,
b: b,
a: c.a
};
};
var toHexString = function (color) {
var toHex = function (num) {
var repr = Data_Int.toStringAs(Data_Int.hexadecimal)(num);
var $34 = Data_String_CodePoints.length(repr) === 1;
if ($34) {
return "0" + repr;
};
return repr;
};
var c = toRGBA(color);
return "#" + (toHex(c.r) + (toHex(c.g) + toHex(c.b)));
};
var toXYZ = function (c) {
var rec = toRGBA$prime(c);
var finv = function (c$prime) {
if (c$prime <= 4.045e-2) {
return c$prime / 12.92;
};
if (Data_Boolean.otherwise) {
return $$Math.pow((c$prime + 5.5e-2) / 1.055)(2.4);
};
throw new Error("Failed pattern match at Color (line 366, column 5 - line 367, column 63): " + [ c$prime.constructor.name ]);
};
var g = finv(rec.g);
var r = finv(rec.r);
var b = finv(rec.b);
var x = 0.4124 * r + 0.3576 * g + 0.1805 * b;
var y = 0.2126 * r + 0.7152 * g + 7.22e-2 * b;
var z = 1.93e-2 * r + 0.1192 * g + 0.9505 * b;
return {
x: x,
y: y,
z: z
};
};
var toLab = function (col) {
var rec = toXYZ(col);
var cut = $$Math.pow(6.0 / 29.0)(3.0);
var f = function (t) {
if (t > cut) {
return $$Math.pow(t)(1.0 / 3.0);
};
if (Data_Boolean.otherwise) {
return (1.0 / 3.0) * $$Math.pow(29.0 / 6.0)(2.0) * t + 4.0 / 29.0;
};
throw new Error("Failed pattern match at Color (line 384, column 5 - line 385, column 76): " + [ t.constructor.name ]);
};
var fy = f(rec.y / d65.yn);
var l = 116.0 * fy - 16.0;
var b = 200.0 * (fy - f(rec.z / d65.zn));
var a = 500.0 * (f(rec.x / d65.xn) - fy);
return {
l: l,
a: a,
b: b
};
};
var toLCh = function (col) {
var rec = toLab(col);
var rad2deg = 180.0 / $$Math.pi;
var c = $$Math.sqrt(rec.a * rec.a + rec.b * rec.b);
var h = modPos($$Math.atan2(rec.b)(rec.a) * rad2deg)(360.0);
return {
l: rec.l,
c: c,
h: h
};
};
var mix = function (v) {
return function (c1) {
return function (c2) {
return function (frac) {
if (v instanceof HSL) {
var t = toHSLA(c2);
var f = toHSLA(c1);
return hsla(interpolateAngle(frac)(f.h)(t.h))(interpolate(frac)(f.s)(t.s))(interpolate(frac)(f.l)(t.l))(interpolate(frac)(f.a)(t.a));
};
if (v instanceof RGB) {
var t = toRGBA$prime(c2);
var f = toRGBA$prime(c1);
return rgba$prime(interpolate(frac)(f.r)(t.r))(interpolate(frac)(f.g)(t.g))(interpolate(frac)(f.b)(t.b))(interpolate(frac)(f.a)(t.a));
};
if (v instanceof LCh) {
var t = toLCh(c2);
var f = toLCh(c1);
return lch(interpolate(frac)(f.l)(t.l))(interpolate(frac)(f.c)(t.c))(interpolateAngle(frac)(f.h)(t.h));
};
if (v instanceof Lab) {
var t = toLab(c2);
var f = toLab(c1);
return lab(interpolate(frac)(f.l)(t.l))(interpolate(frac)(f.a)(t.a))(interpolate(frac)(f.b)(t.b));
};
throw new Error("Failed pattern match at Color (line 520, column 1 - line 520, column 34): " + [ v.constructor.name, c1.constructor.name, c2.constructor.name, frac.constructor.name ]);
};
};
};
};
var brightness = function (col) {
var c = toRGBA$prime(col);
return (299.0 * c.r + 587.0 * c.g + 114.0 * c.b) / 1000.0;
};
var isLight = function (c) {
return brightness(c) > 0.5;
};
module.exports = {
RGB: RGB,
HSL: HSL,
LCh: LCh,
Lab: Lab,
rgba: rgba,
rgb: rgb,
"rgba'": rgba$prime,
"rgb'": rgb$prime,
hsla: hsla,
hsl: hsl,
xyz: xyz,
lab: lab,
lch: lch,
fromHexString: fromHexString,
toHSLA: toHSLA,
toRGBA: toRGBA,
"toRGBA'": toRGBA$prime,
toXYZ: toXYZ,
toLab: toLab,
toLCh: toLCh,
toHexString: toHexString,
rotateHue: rotateHue,
lighten: lighten,
darken: darken,
mix: mix,
brightness: brightness,
luminance: luminance,
contrast: contrast,
isLight: isLight
};

File diff suppressed because one or more lines are too long

View File

@ -1,142 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Container_Header = require("../Container.Header/index.js");
var Container_Landing = require("../Container.Landing/index.js");
var Container_Sidebar = require("../Container.Sidebar/index.js");
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Data_Nullable = require("../Data.Nullable/index.js");
var Data_Semigroup = require("../Data.Semigroup/index.js");
var Data_Symbol = require("../Data.Symbol/index.js");
var Effect = require("../Effect/index.js");
var JSS = require("../JSS/index.js");
var Milkis_Impl_Window = require("../Milkis.Impl.Window/index.js");
var React_Basic = require("../React.Basic/index.js");
var React_Basic_DOM_Generated = require("../React.Basic.DOM.Generated/index.js");
var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
var Record_Extra = require("../Record.Extra/index.js");
var Type_Equality = require("../Type.Equality/index.js");
var Yoga_CompileEditor_Component = require("../Yoga.CompileEditor.Component/index.js");
var Yoga_Polyfill_SmoothScrolling = require("../Yoga.Polyfill.SmoothScrolling/index.js");
var Yoga_SVG_Icon = require("../Yoga.SVG.Icon/index.js");
var Yoga_Theme_Provider = require("../Yoga.Theme.Provider/index.js");
var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
var initialCode = "module Main where\x0a\x0aimport Batteries\x0a\x0amain :: Effect Unit\x0amain = log \"Let's do this!\"";
var mkContainerContent = Control_Bind.discard(Control_Bind.discardUnit)(Effect.bindEffect)(Yoga_Polyfill_SmoothScrolling.smoothScrollPolyfill)(function ($dollar__unused) {
return function __do() {
var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "container";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "content";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "icon";
}))()(Record_Extra.mapRecordNil)()())()())()())(JSS.jssClasses()(function (v) {
return {
container: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "color";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "flexDirection";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontFamily";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "minHeight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))()())({
fontFamily: v.textFontFamily,
color: v.textColour,
display: "flex",
flexDirection: "column",
width: "100%",
minHeight: "200%"
}),
content: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "backgroundColor";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "minHeight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "padding";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "zIndex";
}))(JSS.jssAbleInt)()()()(JSS.jssAbleFieldsNil))))))()())({
backgroundColor: v.backgroundColour,
padding: "20px",
minHeight: "calc(100vh - 40px)",
paddingLeft: "100px",
zIndex: 0
}),
icon: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fill";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
fill: "theme.textColour"
})
};
}))();
var landingPage = Container_Landing.mkLandingPage();
var sidebar = Container_Sidebar.mkSidebar();
var header = Container_Header.mkHeader();
var sidebarLink = Container_Sidebar.mkSidebarLink();
var editor = Yoga_CompileEditor_Component.mkCompileEditor(Milkis_Impl_Window.windowFetch)();
return React_Basic_Hooks.component()()()("ContainerContent")(function (v) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useState(true))(function (v1) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useRef(Data_Nullable["null"]))(function (editorRef) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_Generated.div()({
className: classes.container,
children: [ React_Basic.element(landingPage)({}), React_Basic.element(sidebar)({
collapsed: v1.value0,
modifyCollapsed: v1.value1,
kids: [ React_Basic.element(sidebarLink)({
name: "Learn",
icon: React_Basic.element(Yoga_SVG_Icon.appendIcon())({}),
collapsed: v1.value0
}), React_Basic.element(sidebarLink)({
name: "Try",
icon: React_Basic.element(Yoga_SVG_Icon.bindIcon())({}),
collapsed: v1.value0
}), React_Basic.element(sidebarLink)({
name: "Share",
icon: React_Basic.element(Yoga_SVG_Icon.applyflippedIcon())({}),
collapsed: v1.value0
}), React_Basic.element(sidebarLink)({
name: "Jobs",
icon: React_Basic.element(Yoga_SVG_Icon.mapIcon())({}),
collapsed: v1.value0
}) ]
}), React_Basic_DOM_Generated.div()({
className: classes.content,
children: Data_Semigroup.append(Data_Semigroup.semigroupArray)([ React_Basic.element(editor)({
initialCode: initialCode,
height: "50vh",
language: "purescript"
}) ])(v.kids)
}) ]
}));
});
});
});
})();
};
});
var mkContainer = function __do() {
var themeProvider = Yoga_Theme_Provider.mkThemeProvider();
var containerContent = mkContainerContent();
return React_Basic_Hooks.component()()()("Container")(function (v) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic.element(themeProvider)({
theme: v.theme,
children: [ React_Basic.element(containerContent)({
kids: v.kids
}) ]
}));
})();
};
module.exports = {
mkContainer: mkContainer,
mkContainerContent: mkContainerContent,
initialCode: initialCode
};

File diff suppressed because one or more lines are too long

View File

@ -1,184 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Data_Eq = require("../Data.Eq/index.js");
var Data_Function = require("../Data.Function/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Int = require("../Data.Int/index.js");
var Data_Maybe = require("../Data.Maybe/index.js");
var Data_Monoid = require("../Data.Monoid/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var Data_Nullable = require("../Data.Nullable/index.js");
var Data_Symbol = require("../Data.Symbol/index.js");
var Data_Tuple = require("../Data.Tuple/index.js");
var Data_Unit = require("../Data.Unit/index.js");
var Effect = require("../Effect/index.js");
var Effect_Class = require("../Effect.Class/index.js");
var Effect_Class_Console = require("../Effect.Class.Console/index.js");
var JSS = require("../JSS/index.js");
var React_Basic = require("../React.Basic/index.js");
var React_Basic_DOM_Generated = require("../React.Basic.DOM.Generated/index.js");
var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
var Record_Extra = require("../Record.Extra/index.js");
var Type_Equality = require("../Type.Equality/index.js");
var Web_Event_EventTarget = require("../Web.Event.EventTarget/index.js");
var Web_HTML = require("../Web.HTML/index.js");
var Web_HTML_HTMLElement = require("../Web.HTML.HTMLElement/index.js");
var Web_HTML_Window = require("../Web.HTML.Window/index.js");
var Yoga_SVG_Icon = require("../Yoga.SVG.Icon/index.js");
var Yoga_Scroll_Listener = require("../Yoga.Scroll.Listener/index.js");
var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
var Yoga_Typography_Header = require("../Yoga.Typography.Header/index.js");
var UseShouldBeSticky = function (x) {
return x;
};
var ntUseShouldBeSticky = new Data_Newtype.Newtype(function (n) {
return n;
}, UseShouldBeSticky);
var makeListener = function (setSticky) {
return function (element) {
return function __do() {
var nodeStartPos = Web_HTML_HTMLElement.offsetTop(element)();
return Web_Event_EventTarget.eventListener(Data_Function["const"](function __do() {
var yPos = Data_Functor.mapFlipped(Effect.functorEffect)(Control_Bind.bind(Effect.bindEffect)(Web_HTML.window)(Web_HTML_Window.scrollY))(Data_Int.toNumber)();
return setSticky(nodeStartPos < yPos)();
}))();
};
};
};
var useShouldBeSticky = React_Basic_Hooks_Internal.coerceHook(ntUseShouldBeSticky)(React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useRef(Data_Nullable["null"]))(function (nodeRef) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useState(false))(function (v) {
var setSticky = function ($64) {
return v.value1(Data_Function["const"]($64));
};
return React_Basic_Hooks_Internal.discard(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useLayoutEffect(Data_Eq.eqUnit)(Data_Unit.unit)(function __do() {
var maybeNode = React_Basic_Hooks.readRefMaybe(nodeRef)();
var v1 = Control_Bind.bind(Data_Maybe.bindMaybe)(maybeNode)(Web_HTML_HTMLElement.fromNode);
if (v1 instanceof Data_Maybe.Nothing) {
return Control_Bind.discard(Control_Bind.discardUnit)(Effect.bindEffect)(Effect_Class_Console.log(Effect_Class.monadEffectEffect)("Could not register listener because there was no node"))(function ($dollar__unused) {
return Control_Applicative.pure(Effect.applicativeEffect)(Control_Applicative.pure(Effect.applicativeEffect)(Data_Unit.unit));
})();
};
if (v1 instanceof Data_Maybe.Just) {
var listener = makeListener(setSticky)(v1.value0)();
return Yoga_Scroll_Listener.registerListener(listener)();
};
throw new Error("Failed pattern match at Container.Header (line 85, column 7 - line 91, column 43): " + [ v1.constructor.name ]);
}))(function ($dollar__unused) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(new Data_Tuple.Tuple(v.value0, nodeRef));
});
});
}));
var mkHeader = function __do() {
var h = Yoga_Typography_Header.mkH();
var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "header";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "logo";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "sticky";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "title";
}))()(Record_Extra.mapRecordNil)()())()())()())()())(JSS.jssClasses()(function (v) {
return {
header: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignItems";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "backgroundColor";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "borderBottom";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontFamily";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "gridArea";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "justifyContent";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingBottom";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))))))))))()())({
backgroundColor: v.interfaceColour,
borderBottom: "0",
fontFamily: v.headingFontFamily,
gridArea: "header",
display: "flex",
alignItems: "center",
justifyContent: "flex-end",
width: "100%",
height: "80px",
paddingTop: "10px",
paddingBottom: "10px"
}),
sticky: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "position";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "top";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "zIndex";
}))(JSS.jssAbleInt)()()()(JSS.jssAbleFieldsNil))))()())({
position: "fixed",
top: "0",
zIndex: 10
}),
title: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingRight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
paddingRight: "30px"
}),
logo: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fill";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginRight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "padding";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))()())({
width: "70px",
height: "70px",
padding: "5px",
marginTop: "9px",
marginRight: "7px",
fill: v.textColour
})
};
}))();
return React_Basic_Hooks.component()()()("Header")(function (v) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useShouldBeSticky)(function (v1) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_Generated.header()({
ref: v1.value1,
className: classes.header + (" " + Data_Monoid.guard(Data_Monoid.monoidString)(v1.value0)(classes.sticky)),
children: [ React_Basic.element(h)({
level: Yoga_Typography_Header.H2.value,
text: "Rowtype Yoga",
className: new Data_Maybe.Just(classes.title)
}), React_Basic_DOM_Generated.div()({
children: [ React_Basic.element(Yoga_SVG_Icon.trianglelogoIcon())({}) ],
className: classes.logo
}) ]
}));
});
});
})();
};
module.exports = {
mkHeader: mkHeader,
UseShouldBeSticky: UseShouldBeSticky,
useShouldBeSticky: useShouldBeSticky,
makeListener: makeListener,
ntUseShouldBeSticky: ntUseShouldBeSticky
};

File diff suppressed because one or more lines are too long

View File

@ -1,230 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Data_Foldable = require("../Data.Foldable/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Maybe = require("../Data.Maybe/index.js");
var Data_Nullable = require("../Data.Nullable/index.js");
var Data_Symbol = require("../Data.Symbol/index.js");
var Effect = require("../Effect/index.js");
var JSS = require("../JSS/index.js");
var React_Basic = require("../React.Basic/index.js");
var React_Basic_DOM = require("../React.Basic.DOM/index.js");
var React_Basic_DOM_Generated = require("../React.Basic.DOM.Generated/index.js");
var React_Basic_Events = require("../React.Basic.Events/index.js");
var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
var Record_Extra = require("../Record.Extra/index.js");
var Type_Equality = require("../Type.Equality/index.js");
var Web_HTML = require("../Web.HTML/index.js");
var Web_HTML_HTMLElement = require("../Web.HTML.HTMLElement/index.js");
var Yoga_Button_Component = require("../Yoga.Button.Component/index.js");
var Yoga_SVG_Icon = require("../Yoga.SVG.Icon/index.js");
var Yoga_SVG_Image = require("../Yoga.SVG.Image/index.js");
var Yoga_Scroll_Hook = require("../Yoga.Scroll.Hook/index.js");
var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
var Yoga_Typography_Header = require("../Yoga.Typography.Header/index.js");
var welcomeText = "Enter the college of Kleisli";
var copyText = "Learn how to tame and harness the compiler, whether you're a \u03bb or a \u039b";
var buttonText = "I can't wait, let's go!";
var mkLandingPage = function __do() {
var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "actionButton";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "actualActionButton";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "landing";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "landingImage";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "logo";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "textLayer";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "topBar";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "welcomeCopy";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "welcomeText";
}))()(Record_Extra.mapRecordNil)()())()())()())()())()())()())()())()())()())(JSS.jssClasses()(function (v) {
return {
landing: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "gridArea";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
width: "100vw",
height: "100vh",
gridArea: "landing"
}),
textLayer: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "position";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "zIndex";
}))(JSS.jssAbleInt)()()()(JSS.jssAbleFieldsNil)))))()())({
position: "absolute",
width: "100%",
height: "100%",
zIndex: 2
}),
topBar: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignItems";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "flexDirection";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "justifyContent";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))()())({
width: "100%",
display: "flex",
flexDirection: "row",
height: "90px",
justifyContent: "center",
alignItems: "space-around"
}),
logo: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fill";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))()())({
fill: v.textColour,
width: "50px",
height: "50px",
marginTop: "33px"
}),
welcomeText: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontSize";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
fontSize: "36pt",
marginTop: "33px",
marginLeft: "5vw"
}),
welcomeCopy: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontSize";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "maxWidth";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))()())({
fontSize: "22pt",
marginTop: "20px",
marginLeft: "5vw",
maxWidth: "400px"
}),
actionButton: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
marginLeft: "5vw",
display: "flex"
}),
actualActionButton: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingRight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
paddingLeft: "10px",
paddingRight: "10px"
}),
landingImage: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "position";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
position: "absolute",
width: "100%",
height: "100%"
})
};
}))();
var h = Yoga_Typography_Header.mkH();
var button = Yoga_Button_Component.mkButton()()()()();
var backgroundImage = Yoga_SVG_Image.mkLandingPageBackground();
return React_Basic_Hooks.component()()()("LandingPage")(function (v) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Theme_Styles.useTheme)(function (theme) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(React_Basic_Hooks.useRef(Data_Nullable["null"]))(function (ref) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(Yoga_Scroll_Hook.useScrollYPosition)(function (scrollY) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_Generated.div()({
ref: ref,
className: classes.landing,
children: [ React_Basic.element(backgroundImage)({
className: classes.landingImage
}), React_Basic_DOM_Generated.div()({
className: classes.textLayer,
children: [ React_Basic_DOM_Generated.div()({
className: classes.topBar,
children: [ React_Basic.element(Yoga_SVG_Icon.trianglelogoIcon())({
className: classes.logo
}) ]
}), React_Basic_DOM_Generated.div()({
className: classes.welcomeText,
children: [ React_Basic_DOM.text(welcomeText) ]
}), React_Basic_DOM_Generated.div()({
className: classes.welcomeCopy,
children: [ React_Basic_DOM.text(copyText) ]
}), React_Basic_DOM_Generated.div()({
className: classes.actionButton,
children: [ React_Basic.element(button)({
buttonProps: {
onClick: React_Basic_Events.handler_(function __do() {
var maybeNode = React_Basic_Hooks.readRefMaybe(ref)();
return Data_Foldable.for_(Effect.applicativeEffect)(Data_Foldable.foldableMaybe)(Control_Bind.bind(Data_Maybe.bindMaybe)(maybeNode)(Web_HTML_HTMLElement.fromNode))(function (n) {
return function __do() {
var height = Data_Functor.mapFlipped(Effect.functorEffect)(Web_HTML_HTMLElement.getBoundingClientRect(n))(function (v1) {
return v1.height;
})();
var win = Web_HTML.window();
return win.scrollTo({
top: height,
left: 0,
behavior: "smooth"
});
};
})();
})
},
buttonType: Yoga_Button_Component.HighlightedButton.value,
kids: [ React_Basic_DOM.text(buttonText) ],
className: classes.actualActionButton
}) ]
}) ]
}) ]
}));
});
});
});
});
})();
};
module.exports = {
mkLandingPage: mkLandingPage,
welcomeText: welcomeText,
copyText: copyText,
buttonText: buttonText
};

File diff suppressed because one or more lines are too long

View File

@ -1,260 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Data_HeytingAlgebra = require("../Data.HeytingAlgebra/index.js");
var Data_Monoid = require("../Data.Monoid/index.js");
var Data_Semigroup = require("../Data.Semigroup/index.js");
var Data_Symbol = require("../Data.Symbol/index.js");
var JSS = require("../JSS/index.js");
var React_Basic = require("../React.Basic/index.js");
var React_Basic_DOM = require("../React.Basic.DOM/index.js");
var React_Basic_DOM_Generated = require("../React.Basic.DOM.Generated/index.js");
var React_Basic_Events = require("../React.Basic.Events/index.js");
var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
var Record_Extra = require("../Record.Extra/index.js");
var Type_Equality = require("../Type.Equality/index.js");
var Yoga_SVG_Icon = require("../Yoga.SVG.Icon/index.js");
var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
var mkSidebarLink = function __do() {
var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "icon";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "label";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "sidebarEntry";
}))()(Record_Extra.mapRecordNil)()())()())()())(JSS.jssClasses()(function (v) {
return {
sidebarEntry: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "&:hover";
}))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "background";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignContent";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignSelf";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "borderRadius";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "color";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "cursor";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "flexDirection";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontFamily";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "gridArea";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "justifyContent";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "overflowX";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))))))))))()())({
fontFamily: v.headingFontFamily,
alignSelf: "flex-end",
justifyContent: "space-between",
alignContent: "stretch",
color: v.textColour,
gridArea: "nav",
display: "flex",
flexDirection: "row",
overflowX: "hidden",
width: "190px",
paddingLeft: "5px",
borderRadius: "5px 0 0 5px",
cursor: "pointer",
"&:hover": {
background: v.highlightColour
}
}),
label: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "color";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontFamily";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontSize";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "lineHeight";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingLeft";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "textTransform";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))()())({
fontFamily: v.textFontFamily,
color: v.textColour,
paddingLeft: "20px",
textTransform: "uppercase",
lineHeight: "60px",
fontSize: "1.4em"
}),
icon: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignSelf";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fill";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "padding";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transition";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transitionDelay";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))))))()())({
width: "50px",
height: "50px",
padding: "5px 10px 5px 5px",
transition: "0.2s ease-in-out",
transitionDelay: "0.1s",
alignSelf: "flex-end",
fill: v.textColour + " !important"
})
};
}))();
return React_Basic_Hooks.component()()()("SidebarLink")(function (v) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_Generated.li()({
className: classes.sidebarEntry,
children: [ React_Basic_DOM_Generated.div()({
className: classes.label,
children: [ React_Basic_DOM.text(v.name) ]
}), React_Basic_DOM_Generated.div()({
className: classes.icon,
children: [ v.icon ]
}) ]
}));
});
})();
};
var mkSidebar = function __do() {
var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "logo";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "logoCollapsed";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "sidebar";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "sidebarCollapsed";
}))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "sidebarExpanded";
}))()(Record_Extra.mapRecordNil)()())()())()())()())()())(JSS.jssClasses()(function (v) {
return {
sidebar: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "background";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "borderRadius";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "boxShadow";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "color";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "display";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "flexDirection";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "fontFamily";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "marginTop";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "overflowX";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "paddingBottom";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "position";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transition";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transitionTimingFunction";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "zIndex";
}))(JSS.jssAbleInt)()()()(JSS.jssAbleFieldsNil)))))))))))))))()())({
background: v.interfaceColourLighter,
fontFamily: v.textFontFamily,
borderRadius: "0 12px 12px 0",
color: v.textColour,
position: "absolute",
marginTop: "calc(100vh + 20px)",
paddingBottom: "20px",
display: "flex",
flexDirection: "column",
transition: "0.4s",
transitionTimingFunction: "cubic-bezier(.56,-0.32,.36,1)",
overflowX: "hidden",
zIndex: 24,
boxShadow: "0px 0px 60px rgba(0,0,0,0." + ((function () {
if (v.isLight) {
return "17";
};
return "43";
})() + ")")
}),
sidebarCollapsed: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
width: "70px"
}),
sidebarExpanded: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
width: "220px"
}),
logo: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "alignSelf";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "height";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "padding";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transition";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "transitionDelay";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
return "width";
}))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))))))()())({
width: "60px",
height: "60px",
padding: "0 5px 0 5px",
transition: "0.2s ease-in-out",
transitionDelay: "0.1s",
alignSelf: "flex-end"
}),
logoCollapsed: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsNil)()())({})
};
}))();
var menu = Yoga_SVG_Icon.mkMenu();
return React_Basic_Hooks.component()()()("Sidebar")(function (v) {
return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_Generated.nav()({
className: classes.sidebar + (" " + (function () {
if (v.collapsed) {
return classes.sidebarCollapsed;
};
return classes.sidebarExpanded;
})()),
children: Data_Semigroup.append(Data_Semigroup.semigroupArray)([ React_Basic_DOM_Generated.ul()({
className: classes.logo + (" " + Data_Monoid.guard(Data_Monoid.monoidString)(v.collapsed)(classes.logoCollapsed)),
onClick: React_Basic_Events.handler_(v.modifyCollapsed(Data_HeytingAlgebra.not(Data_HeytingAlgebra.heytingAlgebraBoolean))),
children: [ React_Basic.element(menu)({
activeArrowDirection: (function () {
if (v.collapsed) {
return Yoga_SVG_Icon.ArrowPointsRight.value;
};
return Yoga_SVG_Icon.ArrowPointsLeft.value;
})()
}) ]
}) ])(v.kids)
}));
});
})();
};
module.exports = {
mkSidebar: mkSidebar,
mkSidebarLink: mkSidebarLink
};

File diff suppressed because one or more lines are too long

View File

@ -1,13 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Alt = function (Functor0, alt) {
this.Functor0 = Functor0;
this.alt = alt;
};
var alt = function (dict) {
return dict.alt;
};
module.exports = {
Alt: Alt,
alt: alt
};

File diff suppressed because one or more lines are too long

View File

@ -1,28 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Apply = require("../Control.Apply/index.js");
var Applicative = function (Apply0, pure) {
this.Apply0 = Apply0;
this.pure = pure;
};
var pure = function (dict) {
return dict.pure;
};
var liftA1 = function (dictApplicative) {
return function (f) {
return function (a) {
return Control_Apply.apply(dictApplicative.Apply0())(pure(dictApplicative)(f))(a);
};
};
};
var applicativeArray = new Applicative(function ($dollar__unused) {
return Control_Apply.applyArray;
}, function (x) {
return [ x ];
});
module.exports = {
Applicative: Applicative,
pure: pure,
liftA1: liftA1,
applicativeArray: applicativeArray
};

File diff suppressed because one or more lines are too long

View File

@ -1,9 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var IxApply = function (IxFunctor0, iapply) {
this.IxFunctor0 = IxFunctor0;
this.iapply = iapply;
};
module.exports = {
IxApply: IxApply
};

File diff suppressed because one or more lines are too long

View File

@ -1,17 +0,0 @@
"use strict";
exports.arrayApply = function (fs) {
return function (xs) {
var l = fs.length;
var k = xs.length;
var result = new Array(l*k);
var n = 0;
for (var i = 0; i < l; i++) {
var f = fs[i];
for (var j = 0; j < k; j++) {
result[n++] = f(xs[j]);
}
}
return result;
};
};

View File

@ -1,29 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var $foreign = require("./foreign.js");
var Control_Category = require("../Control.Category/index.js");
var Data_Function = require("../Data.Function/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Apply = function (Functor0, apply) {
this.Functor0 = Functor0;
this.apply = apply;
};
var applyArray = new Apply(function ($dollar__unused) {
return Data_Functor.functorArray;
}, $foreign.arrayApply);
var apply = function (dict) {
return dict.apply;
};
var applySecond = function (dictApply) {
return function (a) {
return function (b) {
return apply(dictApply)(Data_Functor.map(dictApply.Functor0())(Data_Function["const"](Control_Category.identity(Control_Category.categoryFn)))(a))(b);
};
};
};
module.exports = {
Apply: Apply,
apply: apply,
applySecond: applySecond,
applyArray: applyArray
};

File diff suppressed because one or more lines are too long

View File

@ -1,13 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var IxBind = function (IxApply0, ibind) {
this.IxApply0 = IxApply0;
this.ibind = ibind;
};
var ibind = function (dict) {
return dict.ibind;
};
module.exports = {
IxBind: IxBind,
ibind: ibind
};

File diff suppressed because one or more lines are too long

View File

@ -1,11 +0,0 @@
"use strict";
exports.arrayBind = function (arr) {
return function (f) {
var result = [];
for (var i = 0, l = arr.length; i < l; i++) {
Array.prototype.push.apply(result, f(arr[i]));
}
return result;
};
};

View File

@ -1,53 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var $foreign = require("./foreign.js");
var Control_Apply = require("../Control.Apply/index.js");
var Control_Category = require("../Control.Category/index.js");
var Data_Function = require("../Data.Function/index.js");
var Discard = function (discard) {
this.discard = discard;
};
var Bind = function (Apply0, bind) {
this.Apply0 = Apply0;
this.bind = bind;
};
var discard = function (dict) {
return dict.discard;
};
var bindArray = new Bind(function ($dollar__unused) {
return Control_Apply.applyArray;
}, $foreign.arrayBind);
var bind = function (dict) {
return dict.bind;
};
var bindFlipped = function (dictBind) {
return Data_Function.flip(bind(dictBind));
};
var composeKleisliFlipped = function (dictBind) {
return function (f) {
return function (g) {
return function (a) {
return bindFlipped(dictBind)(f)(g(a));
};
};
};
};
var discardUnit = new Discard(function (dictBind) {
return bind(dictBind);
});
var join = function (dictBind) {
return function (m) {
return bind(dictBind)(m)(Control_Category.identity(Control_Category.categoryFn));
};
};
module.exports = {
Bind: Bind,
bind: bind,
bindFlipped: bindFlipped,
Discard: Discard,
discard: discard,
join: join,
composeKleisliFlipped: composeKleisliFlipped,
bindArray: bindArray,
discardUnit: discardUnit
};

File diff suppressed because one or more lines are too long

View File

@ -1,20 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Semigroupoid = require("../Control.Semigroupoid/index.js");
var Category = function (Semigroupoid0, identity) {
this.Semigroupoid0 = Semigroupoid0;
this.identity = identity;
};
var identity = function (dict) {
return dict.identity;
};
var categoryFn = new Category(function ($dollar__unused) {
return Control_Semigroupoid.semigroupoidFn;
}, function (x) {
return x;
});
module.exports = {
Category: Category,
identity: identity,
categoryFn: categoryFn
};

File diff suppressed because one or more lines are too long

View File

@ -1,36 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Data_Either = require("../Data.Either/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var MonadThrow = function (Monad0, throwError) {
this.Monad0 = Monad0;
this.throwError = throwError;
};
var MonadError = function (MonadThrow0, catchError) {
this.MonadThrow0 = MonadThrow0;
this.catchError = catchError;
};
var throwError = function (dict) {
return dict.throwError;
};
var catchError = function (dict) {
return dict.catchError;
};
var $$try = function (dictMonadError) {
return function (a) {
return catchError(dictMonadError)(Data_Functor.map(((((dictMonadError.MonadThrow0()).Monad0()).Bind1()).Apply0()).Functor0())(Data_Either.Right.create)(a))((function () {
var $80 = Control_Applicative.pure(((dictMonadError.MonadThrow0()).Monad0()).Applicative0());
return function ($81) {
return $80(Data_Either.Left.create($81));
};
})());
};
};
module.exports = {
catchError: catchError,
throwError: throwError,
MonadThrow: MonadThrow,
MonadError: MonadError,
"try": $$try
};

File diff suppressed because one or more lines are too long

View File

@ -1,134 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Alt = require("../Control.Alt/index.js");
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Apply = require("../Control.Apply/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Control_Monad = require("../Control.Monad/index.js");
var Control_Monad_Error_Class = require("../Control.Monad.Error.Class/index.js");
var Data_Either = require("../Data.Either/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Semigroup = require("../Data.Semigroup/index.js");
var ExceptT = function (x) {
return x;
};
var withExceptT = function (dictFunctor) {
return function (f) {
return function (v) {
var mapLeft = function (v1) {
return function (v2) {
if (v2 instanceof Data_Either.Right) {
return new Data_Either.Right(v2.value0);
};
if (v2 instanceof Data_Either.Left) {
return new Data_Either.Left(v1(v2.value0));
};
throw new Error("Failed pattern match at Control.Monad.Except.Trans (line 42, column 3 - line 42, column 32): " + [ v1.constructor.name, v2.constructor.name ]);
};
};
return ExceptT(Data_Functor.map(dictFunctor)(mapLeft(f))(v));
};
};
};
var runExceptT = function (v) {
return v;
};
var mapExceptT = function (f) {
return function (v) {
return f(v);
};
};
var functorExceptT = function (dictFunctor) {
return new Data_Functor.Functor(function (f) {
return mapExceptT(Data_Functor.map(dictFunctor)(Data_Functor.map(Data_Either.functorEither)(f)));
});
};
var monadExceptT = function (dictMonad) {
return new Control_Monad.Monad(function ($dollar__unused) {
return applicativeExceptT(dictMonad);
}, function ($dollar__unused) {
return bindExceptT(dictMonad);
});
};
var bindExceptT = function (dictMonad) {
return new Control_Bind.Bind(function ($dollar__unused) {
return applyExceptT(dictMonad);
}, function (v) {
return function (k) {
return Control_Bind.bind(dictMonad.Bind1())(v)(Data_Either.either((function () {
var $106 = Control_Applicative.pure(dictMonad.Applicative0());
return function ($107) {
return $106(Data_Either.Left.create($107));
};
})())(function (a) {
var v1 = k(a);
return v1;
}));
};
});
};
var applyExceptT = function (dictMonad) {
return new Control_Apply.Apply(function ($dollar__unused) {
return functorExceptT(((dictMonad.Bind1()).Apply0()).Functor0());
}, Control_Monad.ap(monadExceptT(dictMonad)));
};
var applicativeExceptT = function (dictMonad) {
return new Control_Applicative.Applicative(function ($dollar__unused) {
return applyExceptT(dictMonad);
}, (function () {
var $108 = Control_Applicative.pure(dictMonad.Applicative0());
return function ($109) {
return ExceptT($108(Data_Either.Right.create($109)));
};
})());
};
var monadThrowExceptT = function (dictMonad) {
return new Control_Monad_Error_Class.MonadThrow(function ($dollar__unused) {
return monadExceptT(dictMonad);
}, (function () {
var $110 = Control_Applicative.pure(dictMonad.Applicative0());
return function ($111) {
return ExceptT($110(Data_Either.Left.create($111)));
};
})());
};
var altExceptT = function (dictSemigroup) {
return function (dictMonad) {
return new Control_Alt.Alt(function ($dollar__unused) {
return functorExceptT(((dictMonad.Bind1()).Apply0()).Functor0());
}, function (v) {
return function (v1) {
return Control_Bind.bind(dictMonad.Bind1())(v)(function (rm) {
if (rm instanceof Data_Either.Right) {
return Control_Applicative.pure(dictMonad.Applicative0())(new Data_Either.Right(rm.value0));
};
if (rm instanceof Data_Either.Left) {
return Control_Bind.bind(dictMonad.Bind1())(v1)(function (rn) {
if (rn instanceof Data_Either.Right) {
return Control_Applicative.pure(dictMonad.Applicative0())(new Data_Either.Right(rn.value0));
};
if (rn instanceof Data_Either.Left) {
return Control_Applicative.pure(dictMonad.Applicative0())(new Data_Either.Left(Data_Semigroup.append(dictSemigroup)(rm.value0)(rn.value0)));
};
throw new Error("Failed pattern match at Control.Monad.Except.Trans (line 86, column 9 - line 88, column 49): " + [ rn.constructor.name ]);
});
};
throw new Error("Failed pattern match at Control.Monad.Except.Trans (line 82, column 5 - line 88, column 49): " + [ rm.constructor.name ]);
});
};
});
};
};
module.exports = {
ExceptT: ExceptT,
runExceptT: runExceptT,
withExceptT: withExceptT,
mapExceptT: mapExceptT,
functorExceptT: functorExceptT,
applyExceptT: applyExceptT,
applicativeExceptT: applicativeExceptT,
bindExceptT: bindExceptT,
monadExceptT: monadExceptT,
altExceptT: altExceptT,
monadThrowExceptT: monadThrowExceptT
};

File diff suppressed because one or more lines are too long

View File

@ -1,25 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Monad_Except_Trans = require("../Control.Monad.Except.Trans/index.js");
var Data_Identity = require("../Data.Identity/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var withExcept = Control_Monad_Except_Trans.withExceptT(Data_Identity.functorIdentity);
var runExcept = (function () {
var $82 = Data_Newtype.unwrap(Data_Identity.newtypeIdentity);
return function ($83) {
return $82(Control_Monad_Except_Trans.runExceptT($83));
};
})();
var mapExcept = function (f) {
return Control_Monad_Except_Trans.mapExceptT((function () {
var $84 = Data_Newtype.unwrap(Data_Identity.newtypeIdentity);
return function ($85) {
return Data_Identity.Identity(f($84($85)));
};
})());
};
module.exports = {
runExcept: runExcept,
mapExcept: mapExcept,
withExcept: withExcept
};

File diff suppressed because one or more lines are too long

View File

@ -1,89 +0,0 @@
"use strict";
exports.map_ = function (f) {
return function (a) {
return function () {
return f(a());
};
};
};
exports.pure_ = function (a) {
return function () {
return a;
};
};
exports.bind_ = function (a) {
return function (f) {
return function () {
return f(a())();
};
};
};
exports.run = function (f) {
return f();
};
exports["for"] = function (lo) {
return function (hi) {
return function (f) {
return function () {
for (var i = lo; i < hi; i++) {
f(i)();
}
};
};
};
};
exports.new = function (val) {
return function () {
return { value: val };
};
};
exports.read = function (ref) {
return function () {
return ref.value;
};
};
exports.write = function (a) {
return function (ref) {
return function () {
return ref.value = a; // eslint-disable-line no-return-assign
};
};
};

View File

@ -1,38 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var $foreign = require("./foreign.js");
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Apply = require("../Control.Apply/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Control_Monad = require("../Control.Monad/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var functorST = new Data_Functor.Functor($foreign.map_);
var monadST = new Control_Monad.Monad(function ($dollar__unused) {
return applicativeST;
}, function ($dollar__unused) {
return bindST;
});
var bindST = new Control_Bind.Bind(function ($dollar__unused) {
return applyST;
}, $foreign.bind_);
var applyST = new Control_Apply.Apply(function ($dollar__unused) {
return functorST;
}, Control_Monad.ap(monadST));
var applicativeST = new Control_Applicative.Applicative(function ($dollar__unused) {
return applyST;
}, $foreign.pure_);
module.exports = {
functorST: functorST,
applyST: applyST,
applicativeST: applicativeST,
bindST: bindST,
monadST: monadST,
map_: $foreign.map_,
pure_: $foreign.pure_,
bind_: $foreign.bind_,
run: $foreign.run,
"for": $foreign["for"],
"new": $foreign["new"],
read: $foreign.read,
write: $foreign.write
};

File diff suppressed because one or more lines are too long

View File

@ -1,23 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Monad = function (Applicative0, Bind1) {
this.Applicative0 = Applicative0;
this.Bind1 = Bind1;
};
var ap = function (dictMonad) {
return function (f) {
return function (a) {
return Control_Bind.bind(dictMonad.Bind1())(f)(function (f$prime) {
return Control_Bind.bind(dictMonad.Bind1())(a)(function (a$prime) {
return Control_Applicative.pure(dictMonad.Applicative0())(f$prime(a$prime));
});
});
};
};
};
module.exports = {
Monad: Monad,
ap: ap
};

File diff suppressed because one or more lines are too long

View File

@ -1,19 +0,0 @@
// Generated by purs version 0.13.6
"use strict";
var Parallel = function (Applicative1, Monad0, parallel, sequential) {
this.Applicative1 = Applicative1;
this.Monad0 = Monad0;
this.parallel = parallel;
this.sequential = sequential;
};
var sequential = function (dict) {
return dict.sequential;
};
var parallel = function (dict) {
return dict.parallel;
};
module.exports = {
parallel: parallel,
sequential: sequential,
Parallel: Parallel
};

Some files were not shown because too many files have changed in this diff Show More