diff --git a/README.md b/README.md index b9244ea3..16b1194d 100644 --- a/README.md +++ b/README.md @@ -12,9 +12,40 @@ - Run and print output or show resulting JavaScript - Multiple view modes: code, output or both - Persistent session -- Load PureScript code from Github Gists +- Load PureScript code from GitHub Gists or repository files -### Which Libraries are Available? +### Control Features via the Query String + +Most of these features can be controlled not only from the toolbar, but also using the [query parameters](https://en.wikipedia.org/wiki/Query_string): + +- **Load From GitHub Repo**: Load a PureScript file from a GitHub repository using the `github` parameter + - Format: `github=////.purs` + - Example: `github=/purescript/trypurescript/master/client/examples/Main.purs`. + - Notes: the file should be a single PureScript module with the module name `Main`. + +- **Load From Gist**: Load PureScript code from a gist using the `gist` parameter + - Format: `gist=` + - Example: `gist=37c3c97f47a43f20c548` + - Notes: the file should be named `Main.purs` with the module name `Main`. + +- **View Mode**: Control the view mode using the `view` parameter + - Options are: `code`, `output`, `both` (default) + - Example: `view=output` will only display the output + +- **Auto Compile**: Automatic compilation can be turned off using the `compile` parameter + - Options are: `true` (default), `false` + - Example: `compile=false` will turn auto compilation off + +- **JavaScript Code Generation**: Print the resulting JavaScript code in the output window instead of the output of the program using the `js` parameter + - Options are: `true`, `false` (default) + - Example: `js=true` will print JavaScript code instead of the program's output + +- **Session**: Load code from a session which is stored with [localStorage](https://developer.mozilla.org/en-US/docs/Web/API/Window/localStorage) using the `session` parameter + - Usually managed by Try PureScript + - Example: `session=9162f098-070f-4053-60ea-eba47021450d` (Note: will probably not work for you) + - When used with the `gist` or `github` query parameters the code will be loaded from the source file and not the session + +### Which Libraries Are Available? Try PureScript aims to provide a complete, recent package set from . The available libraries are those listed in `staging/spago.dhall`, at the versions in the package set mentioned in `staging/packages.dhall`. @@ -41,30 +72,6 @@ $ spago ls packages | cut -f 1 -d ' ' | xargs spago install Before deploying an updated package set, someone (your reviewer) should check that the memory required to hold the package set's externs files does not exceed that of the try.purescript.org server. -### Control Features via the Query String - -Most of these features can be controlled not only from the toolbar, but also using the [query parameters](https://en.wikipedia.org/wiki/Query_string): - -- **Load From Gist**: Load PureScript code from Gist id using the `gist` parameter - - Example: `gist=37c3c97f47a43f20c548` will load the code from this Gist if the file was named `Main.purs` - -- **View Mode**: Control the view mode using the `view` parameter - - Options are: `code`, `output`, `both` (default) - - Example: `view=output` will only display the output - -- **Auto Compile**: Automatic compilation can be turned off using the `compile` parameter - - Options are: `true` (default), `false` - - Example: `compile=false` will turn auto compilation off - -- **JavaScript Code Generation**: Print the resulting JavaScript code in the output window instead of the output of the program using the `js` parameter - - Options are: `true`, `false` (default) - - Example: `js=true` will print JavaScript code instead of the program's output - -- **Session**: Load code from a session which is stored with [localStorage](https://developer.mozilla.org/en-US/docs/Web/API/Window/localStorage) using the `session` parameter - - Usually managed by Try PureScript - - Example: `session=9162f098-070f-4053-60ea-eba47021450d` (Note: will probably not work for you) - - When used with the `gist` query parameter the code will be loaded from the Gist and not the session - ## Development ### 1. Client setup @@ -98,6 +105,16 @@ stack exec trypurescript 8081 $(spago sources) # then: Setting phasers to stun... (port 8081) (ctrl-c to quit) ``` +### 3. Choosing a Tag + +The built-in examples for Try PureScript are loaded from this GitHub repository. To change the tag that the examples are loaded from, you'll need to touch three files: + +* `client/config/dev/Try.Config.purs` +* `client/config/prod/Try.Config.purs` +* `client/examples/Main.purs`, in the `fromExample` function. + +If you are preparing a release or if you need to adjust examples in development, you should change the tag in these three places (and ensure you're using the same tag in each place!). + ## Server API The server is a very basic web service which wraps the PureScript compiler, allowing clients to send PureScript code to be compiled and receiving either compiled JS or error messages in response. diff --git a/client/config/dev/Try.Config.purs b/client/config/dev/Try.Config.purs index 5c6218f1..71d178c6 100644 --- a/client/config/dev/Try.Config.purs +++ b/client/config/dev/Try.Config.purs @@ -1,10 +1,15 @@ module Try.Config where +import Prelude + loaderUrl :: String loaderUrl = "js/output" compileUrl :: String compileUrl = "http://localhost:8081" -mainGist :: String -mainGist = "7ad2b2eef11ac7dcfd14aa1585dd8f69" +tag :: String +tag = "load-from-github" + +mainGitHubExample :: String +mainGitHubExample = "/purescript/trypurescript/" <> tag <> "/client/examples/Main.purs" diff --git a/client/config/prod/Try.Config.purs b/client/config/prod/Try.Config.purs index e2232d10..3eac73fd 100644 --- a/client/config/prod/Try.Config.purs +++ b/client/config/prod/Try.Config.purs @@ -1,10 +1,15 @@ module Try.Config where +import Prelude + loaderUrl :: String loaderUrl = "https://compile.purescript.org/output" compileUrl :: String compileUrl = "https://compile.purescript.org" -mainGist :: String -mainGist = "7ad2b2eef11ac7dcfd14aa1585dd8f69" +tag :: String +tag = "load-from-github" + +mainGitHubExample :: String +mainGitHubExample = "/purescript/trypurescript/" <> tag <> "/client/examples/Main.purs" diff --git a/client/examples/ADTs.purs b/client/examples/ADTs.purs new file mode 100644 index 00000000..5bc0dec5 --- /dev/null +++ b/client/examples/ADTs.purs @@ -0,0 +1,23 @@ +module Main where + +import Prelude + +import Effect.Console (logShow) +import Data.Map (Map, lookup, singleton) +import TryPureScript (render, withConsole) + +-- | A Name consists of a first name and a last name +data Name = Name String String + +-- | With compiler versions >= 0.8.2, we can derive +-- | instances for Eq and Ord, making names comparable. +derive instance eqName :: Eq Name +derive instance ordName :: Ord Name + +-- | The Ord instance allows us to use Names as the +-- | keys in a Map. +phoneBook :: Map Name String +phoneBook = singleton (Name "John" "Smith") "555-555-1234" + +main = render =<< withConsole do + logShow (lookup (Name "John" "Smith") phoneBook) diff --git a/client/examples/DoNotation.purs b/client/examples/DoNotation.purs new file mode 100644 index 00000000..98bc3141 --- /dev/null +++ b/client/examples/DoNotation.purs @@ -0,0 +1,20 @@ +module Main where + +import Prelude +import Control.MonadPlus (guard) +import Effect.Console (logShow) +import Data.Array ((..)) +import Data.Foldable (for_) +import TryPureScript + +-- Find Pythagorean triples using an array comprehension. +triples :: Int -> Array (Array Int) +triples n = do + z <- 1 .. n + y <- 1 .. z + x <- 1 .. y + guard $ x * x + y * y == z * z + pure [x, y, z] + +main = render =<< withConsole do + for_ (triples 20) logShow diff --git a/client/examples/Generic.purs b/client/examples/Generic.purs new file mode 100644 index 00000000..1fea8470 --- /dev/null +++ b/client/examples/Generic.purs @@ -0,0 +1,56 @@ +module Main where + +import Prelude +import Effect.Console (logShow) +import Data.Generic.Rep (class Generic) +import Data.Eq.Generic (genericEq) +import Data.Ord.Generic (genericCompare) +import Data.Show.Generic (genericShow) +import TryPureScript (render, withConsole) + +data Address = Address + { city :: String + , state :: String + } + +data Person = Person + { first :: String + , last :: String + , address :: Address + } + +-- Generic instances can be derived by the compiler, +-- using the derive keyword: +derive instance genericAddress :: Generic Address _ + +derive instance genericPerson :: Generic Person _ + +-- Now we can write instances for standard type classes +-- (Show, Eq, Ord) by using standard definitions +instance showAddress :: Show Address where + show = genericShow + +instance eqAddress :: Eq Address where + eq = genericEq + +instance ordAddress :: Ord Address where + compare = genericCompare + +instance showPerson :: Show Person where + show = genericShow + +instance eqPerson :: Eq Person where + eq = genericEq + +instance ordPerson :: Ord Person where + compare = genericCompare + +main = render =<< withConsole do + logShow $ Person + { first: "John" + , last: "Smith" + , address: Address + { city: "Faketown" + , state: "CA" + } + } diff --git a/client/examples/Loops.purs b/client/examples/Loops.purs new file mode 100644 index 00000000..fc0e1290 --- /dev/null +++ b/client/examples/Loops.purs @@ -0,0 +1,12 @@ +module Main where + +import Prelude + +import Effect.Console (log) +import Data.Array ((..)) +import Data.Foldable (for_) +import TryPureScript (render, withConsole) + +main = render =<< withConsole do + for_ (10 .. 1) \n -> log (show n <> "...") + log "Lift off!" diff --git a/client/examples/Main.purs b/client/examples/Main.purs new file mode 100644 index 00000000..1e6b9f46 --- /dev/null +++ b/client/examples/Main.purs @@ -0,0 +1,66 @@ +module Main where + +import Prelude + +import Data.Foldable (fold) +import Effect (Effect) +import TryPureScript (h1, h2, p, text, list, indent, link, render, code) + +main :: Effect Unit +main = + render $ fold + [ h1 (text "Try PureScript!") + , p (text "Try out the examples below, or create your own!") + , h2 (text "Examples") + , list (map fromExample examples) + , h2 (text "Share Your Code") + , p (text "A PureScript file can be loaded from GitHub from a gist or a repository. To share code using a gist, simply include the gist ID in the URL as follows:") + , indent (p (code (text " try.purescript.org?gist="))) + , p (fold + [ text "The gist should contain PureScript module named " + , code (text "Main") + , text " in a file named " + , code (text "Main.purs") + , text " containing your PureScript code." + ]) + , p (text "To share code from a repository, include the path to the source file as follows:") + , indent (p (code (text " try.purescript.org?github=////.purs"))) + , p (fold + [ text "The file should be a PureScript module named " + , code (text "Main") + , text " containing your PureScript code." + ]) + ] + where + fromExample { title, source } = + link ("https://github.com/purescript/trypurescript/load-from-github/client/examples/" <> source) (text title) + + examples = + [ { title: "Algebraic Data Types" + , source: "ADTs.purs" + } + , { title: "Loops" + , source: "Loops.purs" + } + , { title: "Operators" + , source: "Operators.purs" + } + , { title: "Records" + , source: "Records.purs" + } + , { title: "Recursion" + , source: "Recursion.purs" + } + , { title: "Do Notation" + , source: "DoNotation.purs" + } + , { title: "Type Classes" + , source: "TypeClasses.purs" + } + , { title: "Generic Programming" + , source: "Generic.purs" + } + , { title: "QuickCheck" + , source: "QuickCheck.purs" + } + ] diff --git a/client/examples/Operators.purs b/client/examples/Operators.purs new file mode 100644 index 00000000..23f56351 --- /dev/null +++ b/client/examples/Operators.purs @@ -0,0 +1,20 @@ +module Main where + +import Prelude +import Effect.Console (log) +import TryPureScript (render, withConsole) + +type FilePath = String + +subdirectory :: FilePath -> FilePath -> FilePath +subdirectory p1 p2 = p1 <> "/" <> p2 + +-- Functions can be given an infix alias +-- The generated code will still use the original function name +infixl 5 subdirectory as + +filepath :: FilePath +filepath = "usr" "local" "bin" + +main = render =<< withConsole do + log filepath diff --git a/client/examples/QuickCheck.purs b/client/examples/QuickCheck.purs new file mode 100644 index 00000000..e513109d --- /dev/null +++ b/client/examples/QuickCheck.purs @@ -0,0 +1,21 @@ +module Main where + +import Prelude +import Data.Array (sort) +import Test.QuickCheck (quickCheck, (===)) +import TryPureScript (render, withConsole, h1, h2, p, text) + +main = do + render $ h1 $ text "QuickCheck" + render $ p $ text """QuickCheck is a Haskell library which allows us to assert properties +hold for our functions. QuickCheck uses type classes to generate +random test cases to verify those properties. +purescript-quickcheck is a port of parts of the QuickCheck library to +PureScript.""" + render $ h2 $ text "Sort function is idempotent" + render =<< withConsole do + quickCheck \(xs :: Array Int) -> sort (sort xs) === sort xs + render $ h2 $ text "Every array is sorted" + render $ p $ text "This test should fail on some array which is not sorted" + render =<< withConsole do + quickCheck \(xs :: Array Int) -> sort xs === xs diff --git a/client/examples/Records.purs b/client/examples/Records.purs new file mode 100644 index 00000000..deba7d99 --- /dev/null +++ b/client/examples/Records.purs @@ -0,0 +1,17 @@ +module Main where + +import Prelude +import Effect.Console (log) +import TryPureScript (render, withConsole) + +-- We can write functions which require certain record labels... +showPerson o = o.lastName <> ", " <> o.firstName + +-- ... but we are free to call those functions with any +-- additional arguments, such as "age" here. +main = render =<< withConsole do + log $ showPerson + { firstName: "John" + , lastName: "Smith" + , age: 30 + } diff --git a/client/examples/Recursion.purs b/client/examples/Recursion.purs new file mode 100644 index 00000000..fd213181 --- /dev/null +++ b/client/examples/Recursion.purs @@ -0,0 +1,17 @@ +module Main where + +import Prelude +import Effect.Console (logShow) +import TryPureScript (render, withConsole) + +isOdd :: Int -> Boolean +isOdd 0 = false +isOdd n = isEven (n - 1) + +isEven :: Int -> Boolean +isEven 0 = true +isEven n = isOdd (n - 1) + +main = render =<< withConsole do + logShow $ isEven 1000 + logShow $ isEven 1001 diff --git a/client/examples/TypeClasses.purs b/client/examples/TypeClasses.purs new file mode 100644 index 00000000..5853abf6 --- /dev/null +++ b/client/examples/TypeClasses.purs @@ -0,0 +1,44 @@ +module Main where + +import Prelude +import Effect.Console (log) +import TryPureScript (render, withConsole) + +-- A type class for types which can be used with +-- string interpolation. +class Interpolate a where + interpolate :: a -> String + +instance interpolateString :: Interpolate String where + interpolate = identity + +instance interpolateInt :: Interpolate Int where + interpolate = show + +-- A type class for printf functions +-- (each list of argument types will define a type class instance) +class Printf r where + printfWith :: String -> r + +-- An instance for no function arguments +-- (just return the accumulated string) +instance printfString :: Printf String where + printfWith = identity + +-- An instance for adding another argument whose +-- type is an instance of Interpolate +instance printfShow :: (Interpolate a, Printf r) => Printf (a -> r) where + printfWith s a = printfWith (s <> interpolate a) + +-- Our generic printf function +printf :: forall r. (Printf r) => r +printf = printfWith "" + +-- Now we can create custom formatters using different argument +-- types +debug :: String -> Int -> String -> String +debug uri status msg = printf "[" uri "] " status ": " msg + +main = render =<< withConsole do + log $ debug "http://www.purescript.org" 200 "OK" + log $ debug "http://bad.purescript.org" 404 "Not found" diff --git a/client/public/index.html b/client/public/index.html index e9cfef39..04dc1e46 100644 --- a/client/public/index.html +++ b/client/public/index.html @@ -61,6 +61,12 @@ ); window.addEventListener("message", function (event) { + if ( + event.data && + event.data.githubId + ) { + window.location.search = "github=" + event.data.githubId; + } if ( event.data && event.data.gistId && diff --git a/client/public/js/frame.js b/client/public/js/frame.js index 4530ec45..f0d0a6ff 100644 --- a/client/public/js/frame.js +++ b/client/public/js/frame.js @@ -47,5 +47,11 @@ gistId: event.target.pathname.split("/").slice(-1)[0] }, "*"); } + if (parent && event.target.nodeName === "A" && event.target.hostname === "github.com") { + event.preventDefault(); + parent.postMessage({ + githubId: event.target.pathname + }, "*"); + } }, false); })(); diff --git a/client/src/Try/Container.purs b/client/src/Try/Container.purs index 69caa46a..fea662c7 100644 --- a/client/src/Try/Container.purs +++ b/client/src/Try/Container.purs @@ -7,7 +7,7 @@ import Control.Monad.Except (runExceptT) import Data.Array (fold) import Data.Array as Array import Data.Either (Either(..), hush) -import Data.Foldable (for_) +import Data.Foldable (for_, oneOf) import Data.FoldableWithIndex (foldMapWithIndex) import Data.Maybe (Maybe(..), fromMaybe, isNothing) import Data.Symbol (SProxy(..)) @@ -27,6 +27,7 @@ import Try.Config as Config import Try.Editor (MarkerType(..), toStringMarkerType) import Try.Editor as Editor import Try.Gist (getGistById, tryLoadFileFromGist) +import Try.GitHub (getRawGitHubFile) import Try.Loader (Loader, makeLoader, runLoader) import Try.QueryString (getQueryStringMaybe) import Try.Session (createSessionIdIfNecessary, storeSession, tryRetrieveSession) @@ -36,6 +37,8 @@ import Web.HTML.Window (alert) type Slots = ( editor :: Editor.Slot Unit ) +data SourceFile = GitHub String | Gist String + type Settings = { autoCompile :: Boolean , showJs :: Boolean @@ -51,7 +54,7 @@ defaultSettings = type State = { settings :: Settings - , gistId :: Maybe String + , sourceFile :: Maybe SourceFile , compiled :: Maybe (Either String CompileResult) } @@ -98,7 +101,7 @@ component = H.mkComponent initialState :: i -> State initialState _ = { settings: defaultSettings - , gistId: Nothing + , sourceFile: Nothing , compiled: Nothing } @@ -106,7 +109,7 @@ component = H.mkComponent handleAction = case _ of Initialize -> do sessionId <- H.liftEffect $ createSessionIdIfNecessary - code <- H.liftAff $ withSession sessionId + { code, sourceFile } <- H.liftAff $ withSession sessionId -- Load parameters mbViewModeParam <- H.liftEffect $ getQueryStringMaybe "view" @@ -118,11 +121,9 @@ component = H.mkComponent mbAutoCompile <- H.liftEffect $ getQueryStringMaybe "compile" let autoCompile = mbAutoCompile /= Just "false" - mbGistId <- H.liftEffect $ getQueryStringMaybe "gist" - H.modify_ _ { settings = { viewMode, showJs, autoCompile } - , gistId = mbGistId + , sourceFile = sourceFile } -- Set the editor contents. This will trigger a change event, causing a @@ -260,16 +261,26 @@ component = H.mkComponent , label: "Output" , onClick: UpdateSettings (_ { viewMode = Output }) } - , maybeElem state.gistId \gistId -> + , maybeElem state.sourceFile \source -> HH.li - [ HP.class_ $ HH.ClassName "view_gist_li" ] - [ renderGistLink gistId ] + [ HP.class_ $ HH.ClassName "view_sourcefile_li" ] + [ case source of + GitHub githubId -> + renderGitHubLink githubId + Gist gistId -> + renderGistLink gistId + ] ] ] - , maybeElem state.gistId \gistId -> + , maybeElem state.sourceFile \source -> HH.li - [ HP.class_ $ HH.ClassName "menu-item view_gist_li mobile-only" ] - [ renderGistLink gistId ] + [ HP.class_ $ HH.ClassName "menu-item view_sourcefile_li mobile-only" ] + [ case source of + GitHub githubId -> + renderGitHubLink githubId + Gist gistId -> + renderGistLink gistId + ] , HH.li [ HP.class_ $ HH.ClassName "menu-item no-mobile" ] [ HH.label @@ -429,8 +440,7 @@ menuRadio props = renderGistLink :: forall w i. String -> HH.HTML w i renderGistLink gistId = HH.a - [ HP.class_ $ HH.ClassName "view_gist" - , HP.href $ "https://gist.github.com/" <> gistId + [ HP.href $ "https://gist.github.com/" <> gistId , HP.target "trypurs_gist" ] [ HH.label @@ -438,6 +448,17 @@ renderGistLink gistId = [ HH.text "Gist" ] ] +renderGitHubLink :: forall w i. String -> HH.HTML w i +renderGitHubLink githubId = + HH.a + [ HP.href $ "https://github.com/" <> githubId + , HP.target "trypurs_github" + ] + [ HH.label + [ HP.title "Open the original source file in a new window." ] + [ HH.text "GitHub" ] + ] + toAnnotation :: forall r . MarkerType @@ -451,19 +472,32 @@ toAnnotation markerType { position, message } = , text: message } -withSession :: String -> Aff String +withSession :: String -> Aff { sourceFile :: Maybe SourceFile, code :: String } withSession sessionId = do state <- H.liftEffect $ tryRetrieveSession sessionId - case state of - Just state' -> pure state'.code + githubId <- H.liftEffect $ getQueryStringMaybe "github" + gistId <- H.liftEffect $ getQueryStringMaybe "gist" + code <- case state of + Just { code } -> pure code Nothing -> do - gist <- H.liftEffect $ fromMaybe Config.mainGist <$> getQueryStringMaybe "gist" - loadFromGist gist + let + action = oneOf + [ map loadFromGitHub githubId + , map loadFromGist gistId + ] + fromMaybe (loadFromGitHub Config.mainGitHubExample) action + let sourceFile = oneOf [ map GitHub githubId, map Gist gistId ] + pure { sourceFile, code } where - loadFromGist id = do - runExceptT (getGistById id >>= \gi -> tryLoadFileFromGist gi "Main.purs") >>= case _ of - Left err -> do - H.liftEffect $ window >>= alert err - pure "" - Right code -> - pure code + handleResult = case _ of + Left err -> do + H.liftEffect $ window >>= alert err + pure "" + Right code -> + pure code + + loadFromGist id = + runExceptT (getGistById id >>= \gi -> tryLoadFileFromGist gi "Main.purs") >>= handleResult + + loadFromGitHub id = + runExceptT (getRawGitHubFile id) >>= handleResult diff --git a/client/src/Try/GitHub.purs b/client/src/Try/GitHub.purs new file mode 100644 index 00000000..6a2aa07d --- /dev/null +++ b/client/src/Try/GitHub.purs @@ -0,0 +1,23 @@ +module Try.GitHub where + +import Prelude + +import Affjax (URL, printError) +import Affjax as AX +import Affjax.ResponseFormat as AXRF +import Affjax.StatusCode (StatusCode(..)) +import Control.Monad.Except (ExceptT(..)) +import Data.Either (Either(..)) +import Effect.Aff (Aff) + +mkGitHubUrl :: String -> URL +mkGitHubUrl id = "https://raw.githubusercontent.com/" <> id + +getRawGitHubFile :: String -> ExceptT String Aff String +getRawGitHubFile id = ExceptT $ AX.get AXRF.string (mkGitHubUrl id) >>= case _ of + Left e -> + pure $ Left $ "Unable to load file from GitHub: \n" <> printError e + Right { status } | status >= StatusCode 400 -> + pure $ Left $ "Received error status code: " <> show status + Right { body } -> + pure $ Right body diff --git a/staging/packages.dhall b/staging/packages.dhall index 5a72cb55..ef7a4ef2 100644 --- a/staging/packages.dhall +++ b/staging/packages.dhall @@ -1,5 +1,5 @@ let upstream = - https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210324/packages.dhall sha256:b4564d575da6aed1c042ca7936da97c8b7a29473b63f4515f09bb95fae8dddab + https://github.com/purescript/package-sets/releases/download/psc-0.14.1-20210516/packages.dhall sha256:f5e978371d4cdc4b916add9011021509c8d869f4c3f6d0d2694c0e03a85046c8 let overrides = {=} diff --git a/staging/spago.dhall b/staging/spago.dhall index c5757747..1996ca44 100644 --- a/staging/spago.dhall +++ b/staging/spago.dhall @@ -40,6 +40,7 @@ , "bucketchain-history-api-fallback" , "bucketchain-logger" , "bucketchain-secure" + , "bucketchain-simple-api" , "bucketchain-sslify" , "bucketchain-static" , "bytestrings" @@ -47,6 +48,9 @@ , "canvas" , "cartesian" , "catenable-lists" + , "channel" + , "channel-stream" + , "checked-exceptions" , "cheerio" , "cirru-parser" , "clipboardy" @@ -68,8 +72,10 @@ , "debug" , "decimals" , "distributive" + , "dodo-printer" , "dom-filereader" , "dom-indexed" + , "dotenv" , "downloadjs" , "drawing" , "dynamic-buffer" @@ -86,6 +92,7 @@ , "exists" , "exitcodes" , "expect-inferred" + , "express" , "ffi-foreign" , "filterable" , "fixed-points" @@ -103,28 +110,39 @@ , "freet" , "functions" , "functors" + , "fuzzy" , "gen" , "geometry-plane" , "github-actions-toolkit" , "gl-matrix" , "gomtang-basic" , "grain" + , "grain-router" , "grain-virtualized" + , "graphqlclient" , "graphs" , "group" , "halogen" , "halogen-bootstrap4" + , "halogen-css" + , "halogen-formless" , "halogen-hooks" , "halogen-hooks-extra" + , "halogen-select" + , "halogen-store" + , "halogen-storybook" , "halogen-subscriptions" , "halogen-svg-elems" , "halogen-vdom" , "heterogeneous" + , "heterogeneous-extrablatt" + , "homogeneous" , "http-methods" , "httpure" , "httpure-contrib-biscotti" , "httpure-middleware" , "identity" + , "identy" , "indexed-monad" , "inflection" , "integers" @@ -163,6 +181,7 @@ , "monoidal" , "morello" , "motsunabe" + , "mysql" , "naturals" , "nested-functor" , "newtype" @@ -180,11 +199,18 @@ , "node-sqlite3" , "node-streams" , "node-url" + , "nodemailer" , "nonempty" , "now" , "nullable" , "numbers" + , "open-folds" + , "open-memoize" + , "open-mkdirp-aff" + , "open-pairing" , "options" + , "options-extra" + , "optparse" , "ordered-collections" , "ordered-set" , "orders" @@ -209,9 +235,11 @@ , "prelude" , "prettier" , "prettier-printer" + , "pretty-logs" , "profunctor" , "profunctor-lenses" , "promises" + , "ps-cst" , "psa-utils" , "psc-ide" , "psci-support" @@ -223,6 +251,7 @@ , "quotient" , "random" , "rationals" + , "rave" , "react" , "react-basic" , "react-basic-classic" @@ -237,6 +266,8 @@ , "react-testing-library" , "read" , "record" + , "record-extra" + , "record-extra-srghma" , "redux-devtools" , "refined" , "refs" @@ -254,10 +285,14 @@ , "scrypt" , "selection-foldable" , "semirings" + , "server-sent-events" , "setimmediate" , "signal" + , "simple-ajax" , "simple-emitter" + , "simple-i18n" , "simple-json" + , "simple-jwt" , "simple-ulid" , "sized-matrices" , "sized-vectors" @@ -294,12 +329,14 @@ , "tuples" , "turf" , "type-equality" + , "typedenv" , "typelevel" , "typelevel-lists" , "typelevel-peano" , "typelevel-prelude" , "undefinable" , "undefined" + , "undefined-is-not-a-problem" , "undefined-or" , "unfoldable" , "unicode" @@ -309,12 +346,14 @@ , "unsafe-reference" , "untagged-union" , "uri" + , "url-regex-safe" , "uuid" , "validation" , "variant" , "vectorfield" , "veither" , "versions" + , "vexceptt" , "web-clipboard" , "web-cssom" , "web-dom" @@ -326,6 +365,7 @@ , "web-file" , "web-html" , "web-promise" + , "web-resize-observer" , "web-socket" , "web-storage" , "web-streams"