on ba12313 help sign in
42 files changed+577−1026
since splitsnapshots
unifiedsplit
.github/workflows/haskell.yml−47 LICENSE−12 README.md+9−9 cabal.project+1−10 cabal.project-nogtk−14 chrome-test-utils/LICENSE+1−1 chrome-test-utils/chrome-test-utils.cabal+1−1 chrome-test-utils/src/Test/Util/ChromeFlags.hs−1 chrome-test-utils/src/Test/Util/UnshareNetwork.hs+2−2 dep/reflex-platform/default.nix+6−1 dep/reflex-platform/github.json+3−4 dep/reflex-platform/thunk.nix−9 reflex-dom-core/ChangeLog.md−19 reflex-dom-core/LICENSE+1−1 reflex-dom-core/examples/testScreenshot.hs+7 reflex-dom-core/reflex-dom-core.cabal+27−29 reflex-dom-core/src/Foreign/JavaScript/TH.hs−1 reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−11 reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+21−60 reflex-dom-core/src/Reflex/Dom/Builder/Static.hs+10−35 reflex-dom-core/src/Reflex/Dom/Location.hs−1 reflex-dom-core/src/Reflex/Dom/Main.hs+9−38 reflex-dom-core/src/Reflex/Dom/Prerender.hs+5−7 reflex-dom-core/src/Reflex/Dom/Test/Screenshot.hs+292 reflex-dom-core/src/Reflex/Dom/Widget/Basic.hs−1 reflex-dom-core/src/Reflex/Dom/Widget/Input.hs+3−4 reflex-dom-core/src/Reflex/Dom/Widget/Lazy.hs+1−2 reflex-dom-core/src/Reflex/Dom/Widget/Resize.hs−2 reflex-dom-core/src/Reflex/Dom/Xhr/Foreign.hs+2−2 reflex-dom-core/test/gc.hs+1−1 reflex-dom-core/test/hlint.hs+1−1 reflex-dom-core/test/hydration.hs+40−353 reflex-dom-test-selenium/CHANGELOG.md−5 reflex-dom-test-selenium/LICENSE−12 reflex-dom-test-selenium/Setup.hs−2 reflex-dom-test-selenium/add-overrides.nix−20 reflex-dom-test-selenium/reflex-dom-test-selenium.cabal−41 reflex-dom-test-selenium/src/Reflex/Dom/Test/Selenium.hs−249 reflex-dom/ChangeLog.md−8 reflex-dom/LICENSE+1−1 reflex-dom/reflex-dom.cabal+5−9 test/prebuild.hs+127
.github/workflows/haskell.ymldeleted−47
@@ -1,47 +0,0 @@
1−name: github-action
2−
3−on: [push, pull_request]
4−
5−jobs:
6− build:
7− strategy:
8− matrix:
9− ghc: ['8.4.4', '8.6.5', '8.8.4', '8.10.2']
10− os: ['ubuntu-latest', 'macos-latest']
11− exclude:
12− # There are some linker warnings in 802 on darwin that
13− # cause compilation to fail
14− # See https://github.com/NixOS/nixpkgs/issues/25139
15− - ghc: '8.0.2'
16− os: 'macos-latest'
17− runs-on: ${{ matrix.os }}
18−
19− name: GHC ${{ matrix.ghc }} on ${{ matrix.os }}
20− steps:
21− - uses: actions/checkout@v2
22− - uses: actions/setup-haskell@v1
23− with:
24− ghc-version: ${{ matrix.ghc }}
25− - name: Cache
26− uses: actions/cache@v1
27− env:
28− cache-name: cache-cabal
29− with:
30− path: ~/.cabal
31− key: ${{ runner.os }}-${{ matrix.ghc }}-build-${{ env.cache-name }}-${{ hashFiles('**/*.cabal') }}-${{ hashFiles('**/cabal.project') }}
32− restore-keys: |
33− ${{ runner.os }}-${{ matrix.ghc }}-build-${{ env.cache-name }}-
34− ${{ runner.os }}-${{ matrix.ghc }}-build-
35− ${{ runner.os }}-${{ matrix.ghc }}-
36− ${{ runner.os }}
37−
38− - name: Set up cabal project file to avoid webkit2gtk
39− run: cp cabal.project-nogtk cabal.project
40− - name: Install dependencies
41− run: |
42− cabal update
43− cabal build --only-dependencies --enable-tests --enable-benchmarks all
44− - name: Build
45− run: cabal build --enable-tests --enable-benchmarks all
46− - name: Run tests
47− run: cabal test all
LICENSEdeleted−12
@@ -1,12 +0,0 @@
1−Copyright (c) 2020, Obsidian Systems LLC
2−All rights reserved.
3−
4−Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
5−
6−1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
7−
8−2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
9−
10−3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
11−
12−THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
README.md+9−9
@@ -1,21 +1,21 @@
11## [Reflex-DOM](https://reflex-frp.org)
22
3−[![Haskell](https://img.shields.io/badge/language-Haskell-orange.svg)](https://haskell.org) [![Hackage](https://img.shields.io/hackage/v/reflex-dom.svg)](https://hackage.haskell.org/package/reflex-dom) [![Hackage CI](https://matrix.hackage.haskell.org/api/v2/packages/reflex-dom/badge)](https://matrix.hackage.haskell.org/#/package/reflex-dom) [![BSD3 License](https://img.shields.io/badge/license-BSD3-blue.svg)](https://github.com/reflex-frp/reflex-dom/blob/master/LICENSE)
3+[![Hackage](https://img.shields.io/hackage/v/reflex-dom.svg)](http://hackage.haskell.org/package/reflex-dom)
44
5−Web applications without callbacks or side-effects. Reflex-DOM brings the power of [Functional Reactive Programming (FRP)](https://wiki.haskell.org/Functional_Reactive_Programming) to the web. Build [HTML](https://developer.mozilla.org/en-US/docs/Web/HTML) and other [Document Object Model (DOM)](https://developer.mozilla.org/en-US/docs/Web/API/Document_Object_Model) data with a pure functional interface.
5+### A Framework for Functional Reactive Web Apps in Haskell
66
7−Reflex-DOM is a framework for building web applications in [Haskell](https://www.haskell.org/), based on the [Functional Reactive Programming](https://wiki.haskell.org/Functional_Reactive_Programming) library [Reflex](https://github.com/reflex-frp/reflex).
7+Reflex-DOM is a framework for building web applications in Haskell, based on the [Functional Reactive Programming](https://wiki.haskell.org/Functional_Reactive_Programming) library [Reflex](https://github.com/reflex-frp/reflex).
8+
9+A summary of Reflex-DOM functions is available in the [quick reference](Quickref.md).
810
911**Visit https://reflex-frp.org/ for more information, tutorials, documentation and [examples](https://examples.reflex-frp.org/).**
1012
1113### Additional resources
14+[Get started with Reflex](https://github.com/reflex-frp/reflex-platform)
15+
16+[/r/reflexfrp](https://www.reddit.com/r/reflexfrp)
1217
13−* [Official Website](https://reflex-frp.org/)
14−* [Quick Reference](Quickref.md)
15−* [Obelisk](https://github.com/obsidiansystems/obelisk#obelisk): A framework built on Reflex and Reflex-DOM for functional reactive web and mobile applications, with batteries included.
16−* [Get started with Reflex](https://github.com/reflex-frp/reflex-platform)
17−* [/r/reflexfrp](https://www.reddit.com/r/reflexfrp)
18−* [irc.freenode.net #reflex-frp](http://webchat.freenode.net?channels=%23reflex-frp&uio=d4)
18+[irc.freenode.net #reflex-frp](http://webchat.freenode.net?channels=%23reflex-frp&uio=d4)
1919
2020### Hacking
2121
cabal.project+1−10
@@ -1,10 +1 @@
1−packages:
2− reflex-dom-core/
3− reflex-dom/
4− chrome-test-utils/
5− reflex-dom-test-selenium/
6−
7−source-repository-package
8− type: git
9− location: https://github.com/dfordivam/hspec-webdriver-clone
10− tag: 0d748b7bb7cd74dce0a55a1ec86b01dbb8a71cd8
1+packages: reflex-dom-core, reflex-dom
cabal.project-nogtkdeleted−14
@@ -1,14 +0,0 @@
1−packages:
2− reflex-dom-core/
3− reflex-dom/
4−
5−package reflex-dom-core
6− flags: -hydration-tests -gc-tests
7−
8−package reflex-dom
9− flags: +use-warp -webkit2gtk
10−
11−source-repository-package
12− type: git
13− location: https://github.com/dfordivam/hspec-webdriver-clone
14− tag: 0d748b7bb7cd74dce0a55a1ec86b01dbb8a71cd8
chrome-test-utils/LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2020, Obsidian Systems LLC
1+Copyright (c) 2019, Obsidian Systems LLC
22All rights reserved.
33
44Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
chrome-test-utils/chrome-test-utils.cabal+1−1
@@ -1,5 +1,5 @@
11Name: chrome-test-utils
2−Version: 0.5
2+Version: 0.4
33Synopsis: Utilities to write headless Chromium tests
44License: BSD3
55License-file: LICENSE
chrome-test-utils/src/Test/Util/ChromeFlags.hs−1
@@ -1,7 +1,6 @@
11{-# LANGUAGE OverloadedStrings #-}
22module Test.Util.ChromeFlags where
33
4−import Data.Semigroup
54import Data.Text
65import System.IO.Temp
76
chrome-test-utils/src/Test/Util/UnshareNetwork.hs+2−2
@@ -4,8 +4,8 @@ import System.Linux.Namespaces
44import System.Posix
55import System.Process
66
7−unshareNetwork :: IO ()
8−unshareNetwork = do
7+unshareNetork :: IO ()
8+unshareNetork = do
99 uid <- getEffectiveUserID
1010 unshare [User, Network]
1111 writeUserMappings Nothing [UserMapping 0 uid 1]
dep/reflex-platform/default.nix+6−1
@@ -1,2 +1,7 @@
11# DO NOT HAND-EDIT THIS FILE
2−import (import ./thunk.nix)
2+import ((import <nixpkgs> {}).fetchFromGitHub (
3+ let json = builtins.fromJSON (builtins.readFile ./github.json);
4+ in { inherit (json) owner repo rev sha256;
5+ private = json.private or false;
6+ }
7+))
dep/reflex-platform/github.json+3−4
@@ -1,8 +1,7 @@
11{
22 "owner": "reflex-frp",
33 "repo": "reflex-platform",
4− "branch": "aa-bump-some",
5− "private": false,
6− "rev": "fd5acecb50474f795734db9fb924cc3b2fd2b508",
7− "sha256": "0wsdd67g42klsf9n3pxb3pndjdz36nzf8gp7pfm8j6nyyy2qribk"
4+ "branch": "master",
5+ "rev": "510b990d0b11f0626afbec5fe8575b5b2395391b",
6+ "sha256": "09cmahsbxr0963wq171c7j139iyzz49hramr4v9nsf684wcwkngv"
87}
dep/reflex-platform/thunk.nixdeleted−9
@@ -1,9 +0,0 @@
1−# DO NOT HAND-EDIT THIS FILE
2−let fetch = { private ? false, fetchSubmodules ? false, owner, repo, rev, sha256, ... }:
3− if !fetchSubmodules && !private then builtins.fetchTarball {
4− url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz"; inherit sha256;
5− } else (import <nixpkgs> {}).fetchFromGitHub {
6− inherit owner repo rev sha256 fetchSubmodules private;
7− };
8− json = builtins.fromJSON (builtins.readFile ./github.json);
9−in fetch json
reflex-dom-core/ChangeLog.md−19
@@ -1,24 +1,5 @@
11# Revision history for reflex-dom-core
22
3−## 0.6.2.1
4−
5−* Fix hlint complaints with newer GHC.
6−
7−## 0.6.2.0
8−
9−* ([#400](https://github.com/reflex-frp/reflex-dom/pull/400/files)) Set value of input elements in static renderer
10−
11−## 0.6.1.0
12−
13−* Bump version bounds
14−* Update for new dependent-map and dependent-sum version (after the "some" package split)
15−* Add `MonadAtomicRef` instance for `UnrunnableT`
16−* Fix ([#467](https://github.com/reflex-frp/reflex-dom/issues/467)): Prevent multiple firings of XHR response event
17−* Updates for GHC 8.10
18−* Move `HasSetValue` from Reflex.Dom.Widget.Input to Reflex.Dom.Builder.Class and add an instance for `TextAreaElementConfig`
19−* Add `now` to the `MonadHold` instance for `UnrunnableT`
20−
21−
223## 0.6.0.0
234
245* ([#375](https://github.com/reflex-frp/reflex-dom/pull/375)) **(Breaking change)** Expose resized dimensions from `resizeDetector`, `resizeDetectorWithStyle`, and `resizeDetectorWithAttrs` from `Reflex.Dom.Widget.Resize`.
reflex-dom-core/LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2020, Obsidian Systems LLC
1+Copyright (c) 2015, Obsidian Systems LLC
22All rights reserved.
33
44Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
reflex-dom-core/examples/testScreenshot.hsnew file+7
@@ -0,0 +1,7 @@
1+-- |
2+
3+module Main where
4+
5+import Reflex.Dom.Test.Screenshot
6+
7+main = createScreenshot (pure ())
reflex-dom-core/reflex-dom-core.cabal+27−29
@@ -1,12 +1,8 @@
11cabal-version: 1.24
22Name: reflex-dom-core
3−Version: 0.6.2.1
3+Version: 0.6.0.0
44Synopsis: Functional Reactive Web Apps with Reflex
55Description:
6− Web applications without callbacks or side-effects.
7− Reflex-DOM brings the power of functional reactive programming (FRP) to the web.
8− Build HTML and other Document Object Model (DOM) data with a pure functional interface.
9− .
106 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
117 .
128 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
@@ -54,37 +50,31 @@ flag split-these
5450 manual: False
5551 default: True
5652
57−flag hydration-tests
58− description: Whether to run the hydration tests (currently only available on linux)
59− default: True
60− manual: True
61−
62−flag gc-tests
63− description: Whether to run the gc tests (currently only available on linux)
64− default: True
65− manual: True
66−
6753library
6854 hs-source-dirs: src
6955 build-depends:
70− aeson >= 0.8 && < 1.6,
71− base >= 4.7 && < 4.15,
56+ aeson >= 0.8 && < 1.5,
57+ base >= 4.7 && < 4.14,
7258 bifunctors >= 4.2 && < 6,
73− bimap >= 0.3 && < 0.5,
59+ bimap >= 0.3 && < 0.4,
7460 blaze-builder >= 0.4.1 && < 0.5,
7561 bytestring == 0.10.*,
7662 case-insensitive < 1.3,
7763 containers >= 0.6 && < 0.7,
78− constraints >= 0.9 && < 0.13,
64+ constraints >= 0.9 && < 0.12,
7965 contravariant >= 1.4 && < 1.6,
8066 data-default >= 0.5 && < 0.8,
81− dependent-map >= 0.3 && < 0.5,
82− dependent-sum >= 0.6 && < 0.8,
67+ dependent-map >= 0.3 && < 0.4,
68+ dependent-sum >= 0.6 && < 0.7,
8369 dependent-sum-template >= 0.1 && < 0.2,
8470 directory >= 1.2 && < 1.4,
8571 exception-transformers == 0.4.*,
8672 ghcjs-dom >= 0.9.1.0 && < 0.10,
8773 jsaddle >= 0.9.0.0 && < 0.10,
74+ process,
75+ chrome-test-utils,
76+ async,
77+ jsaddle-warp,
8878 -- keycode-0.2 has a bug on firefox
8979 keycode >= 0.2.1 && < 0.3,
9080 lens >= 4.7 && < 5,
@@ -93,12 +83,13 @@ library
9383 primitive >= 0.5 && < 0.8,
9484 random >= 1.1 && < 1.2,
9585 ref-tf == 0.4.*,
96− reflex >= 0.8 && < 0.9,
86+ reflex >= 0.6.2 && < 0.8,
9787 semigroups >= 0.16 && < 0.20,
9888 stm >= 2.4 && < 2.6,
9989 text == 1.2.*,
10090 transformers >= 0.3 && < 0.6,
10191 network-uri >= 2.6.1 && < 2.7,
92+ webdriver,
10293 zenc == 0.1.*
10394
10495 if impl(ghcjs)
@@ -114,7 +105,7 @@ library
114105 if flag(split-these)
115106 build-depends:
116107 semialign >= 1 && < 1.2,
117− these >= 1 && < 1.2
108+ these >= 1 && < 1.1
118109 else
119110 build-depends:
120111 these >= 0.4 && < 0.9
@@ -136,6 +127,7 @@ library
136127 Reflex.Dom.Modals.Class
137128 Reflex.Dom.Old
138129 Reflex.Dom.Prerender
130+ Reflex.Dom.Test.Screenshot
139131 Reflex.Dom.Time
140132 Reflex.Dom.WebSocket
141133 Reflex.Dom.WebSocket.Query
@@ -169,16 +161,14 @@ library
169161 if flag(use-template-haskell)
170162 build-depends:
171163 dependent-sum-template >= 0.1 && < 0.2,
172− template-haskell >= 2.12.0 && < 2.17
164+ template-haskell >= 2.12.0 && < 2.16
173165 other-extensions: TemplateHaskell
174166 cpp-options: -DUSE_TEMPLATE_HASKELL
175167 other-modules:
176168 Reflex.Dom.Builder.Class.TH
177169
178170test-suite hlint
179− build-depends:
180− base,
181− hlint >= 2.0 && < 4.0
171+ build-depends: base, hlint
182172 hs-source-dirs: test
183173 main-is: hlint.hs
184174 type: exitcode-stdio-1.0
@@ -230,7 +220,7 @@ test-suite hydration
230220 main-is: hydration.hs
231221 type: exitcode-stdio-1.0
232222 default-language: Haskell98
233− if !os(linux) || !arch(x86_64) || flag(profile-reflex) || !flag(hydration-tests)
223+ if !os(linux) || !arch(x86_64) || flag(profile-reflex)
234224 buildable: False
235225
236226-- broken test on base 4.11 & ghc 8.4.3
@@ -250,10 +240,18 @@ test-suite gc
250240 main-is: gc.hs
251241 type: exitcode-stdio-1.0
252242 default-language: Haskell98
253− if !os(linux) || !arch(x86_64) || !flag(gc-tests)
243+ if !os(linux) || !arch(x86_64)
254244 buildable: False
255245
256246source-repository head
257247 type: git
258248 location: https://github.com/reflex-frp/reflex-dom
259249 subdir: reflex-dom-core
250+
251+executable testScreenshot
252+ build-depends: base
253+ , reflex-dom-core
254+ hs-source-dirs: examples
255+ main-is: testScreenshot.hs
256+ ghc-options: -Wall -fwarn-tabs -funbox-strict-fields -O2 -ferror-spans -fspecialise-aggressively
257+ default-language: Haskell2010
reflex-dom-core/src/Foreign/JavaScript/TH.hs−1
@@ -82,7 +82,6 @@ import Control.Monad.Trans.Control
8282import Data.ByteString (ByteString)
8383import qualified Data.ByteString as BS
8484import Data.Coerce (coerce)
85−import Data.Monoid
8685import Data.Text (Text)
8786import qualified Data.Text as T
8887
reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−11
@@ -9,12 +9,11 @@
99{-# LANGUAGE GeneralizedNewtypeDeriving #-}
1010#if !MIN_VERSION_base(4,9,0)
1111{-# LANGUAGE ImpredicativeTypes #-}
12−#else
13−{-# LANGUAGE Rank2Types #-} -- Implied by ImpredicativeTypes
1412#endif
1513{-# LANGUAGE LambdaCase #-}
1614{-# LANGUAGE OverloadedStrings #-}
1715{-# LANGUAGE PolyKinds #-}
16+{-# LANGUAGE Rank2Types #-}
1817{-# LANGUAGE RecursiveDo #-}
1918{-# LANGUAGE ScopedTypeVariables #-}
2019{-# LANGUAGE StandaloneDeriving #-}
@@ -57,7 +56,6 @@ import Data.Map (Map)
5756import qualified Data.Map as Map
5857import Data.Maybe
5958import Data.Proxy
60−import Data.Semigroup
6159import Data.String
6260import Data.Text (Text)
6361import Data.Type.Coercion
@@ -745,11 +743,3 @@ instance HasDocument m => HasDocument (DynamicWriterT t w m)
745743instance HasDocument m => HasDocument (PostBuildT t m)
746744instance HasDocument m => HasDocument (RequesterT t request response m)
747745instance HasDocument m => HasDocument (QueryT t q m)
748−
749−class HasSetValue a where
750− type SetValue a :: *
751− setValue :: Lens' a (SetValue a)
752−
753−instance Reflex t => HasSetValue (TextAreaElementConfig er t m) where
754− type SetValue (TextAreaElementConfig er t m) = Event t Text
755− setValue = textAreaElementConfig_setValue
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+21−60
@@ -2,6 +2,7 @@
22{-# LANGUAGE CPP #-}
33{-# LANGUAGE ConstraintKinds #-}
44{-# LANGUAGE DataKinds #-}
5+{-# LANGUAGE DeriveFunctor #-}
56{-# LANGUAGE DeriveTraversable #-}
67{-# LANGUAGE EmptyDataDecls #-}
78{-# LANGUAGE FlexibleContexts #-}
@@ -11,6 +12,7 @@
1112{-# LANGUAGE LambdaCase #-}
1213{-# LANGUAGE MultiParamTypeClasses #-}
1314{-# LANGUAGE OverloadedStrings #-}
15+{-# LANGUAGE PackageImports #-}
1416{-# LANGUAGE PatternGuards #-}
1517{-# LANGUAGE PolyKinds #-}
1618{-# LANGUAGE RankNTypes #-}
@@ -48,7 +50,6 @@ module Reflex.Dom.Builder.Immediate
4850 , HydrationMode (..)
4951 , HydrationRunnerT (..)
5052 , runHydrationRunnerT
51− , runHydrationRunnerTWithFailure
5253 , ImmediateDomBuilderT
5354 , runHydrationDomBuilderT
5455 , getHydrationMode
@@ -135,19 +136,17 @@ import Data.Functor.Compose
135136import Data.Functor.Constant
136137import Data.Functor.Misc
137138import Data.Functor.Product
138−import Data.GADT.Compare (GCompare)
139139import Data.IORef
140140import Data.IntMap.Strict (IntMap)
141141import Data.Maybe
142142import Data.Monoid ((<>))
143143import Data.Some (Some(..))
144−import Data.GADT.Compare (GCompare)
145144import Data.String (IsString)
146145import Data.Text (Text)
147146import Foreign.JavaScript.Internal.Utils
148147import Foreign.JavaScript.TH
149148import GHCJS.DOM.ClipboardEvent as ClipboardEvent
150−import GHCJS.DOM.Document (Document, createDocumentFragment, createElement, createElementNS, createTextNode, createComment)
149+import "ghcjs-dom" GHCJS.DOM.Document (Document, createDocumentFragment, createElement, createElementNS, createTextNode, createComment)
151150import GHCJS.DOM.Element (getScrollTop, removeAttribute, removeAttributeNS, setAttribute, setAttributeNS, hasAttribute)
152151import GHCJS.DOM.EventM (EventM, event, on)
153152import GHCJS.DOM.KeyboardEvent as KeyboardEvent
@@ -294,21 +293,12 @@ localRunner (HydrationRunnerT m) s parent = do
294293runHydrationRunnerT
295294 :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m))
296295 => HydrationRunnerT t m a -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
297−runHydrationRunnerT m = runHydrationRunnerTWithFailure m (pure ())
298−
299−{-# INLINABLE runHydrationRunnerTWithFailure #-}
300−runHydrationRunnerTWithFailure
301− :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m))
302− => HydrationRunnerT t m a -> IO () -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
303−runHydrationRunnerTWithFailure (HydrationRunnerT m) onFailure s parent events = flip runDomRenderHookT events $ flip runReaderT parent $ do
296+runHydrationRunnerT (HydrationRunnerT m) s parent events = flip runDomRenderHookT events $ flip runReaderT parent $ do
304297 (a, s') <- runStateT m (HydrationState s False)
305298 traverse_ removeSubsequentNodes $ _hydrationState_previousNode s'
306299 when (_hydrationState_failed s') $ liftIO $ putStrLn "reflex-dom warning: hydration failed: the DOM was not as expected at switchover time. This may be due to invalid HTML which the browser has altered upon parsing, some external JS altering the DOM, or the page being served from an outdated cache."
307− when (_hydrationState_failed s') $ liftIO onFailure
308300 pure a
309301
310−
311−
312302instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydrationRunnerT t m) where
313303 {-# INLINABLE newEventWithTrigger #-}
314304 newEventWithTrigger = lift . newEventWithTrigger
@@ -332,7 +322,7 @@ instance (Reflex t, MonadFix m) => DomRenderHook t (HydrationRunnerT t m) where
332322-- done *before* the switchover to immediate mode - this is most likely some
333323-- form of 'hold' which we want to remove after hydration is done
334324{-# INLINABLE addHydrationStepWithSetup #-}
335−addHydrationStepWithSetup :: MonadIO m => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m ()
325+addHydrationStepWithSetup :: (Adjustable t m, MonadIO m) => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m ()
336326addHydrationStepWithSetup setup f = getHydrationMode >>= \case
337327 HydrationMode_Immediate -> pure ()
338328 HydrationMode_Hydrating -> do
@@ -937,26 +927,14 @@ inputElementInternal cfg = getHydrationMode >>= \case
937927 doc <- askDocument
938928 -- Expected initial value from config
939929 let v0 = _inputElementConfig_initialValue cfg
940− c0 = _inputElementConfig_initialChecked cfg
941− valuesAtSwitchover = do
942− v <- maybe (pure $ pure v0) (hold v0) (_inputElementConfig_setValue cfg)
943− c <- maybe (pure $ pure c0) (hold c0) (_inputElementConfig_setChecked cfg)
944− pure (v, c)
945− addHydrationStepWithSetup valuesAtSwitchover $ \(switchoverValue', switchoverChecked') -> do
946− switchoverValue <- sample switchoverValue'
947− switchoverChecked <- sample switchoverChecked'
930+ addHydrationStep $ do
948931 domElement <- liftIO $ readIORef domElementRef
949932 let domInputElement = uncheckedCastTo DOM.HTMLInputElement domElement
950933 getValue = Input.getValue domInputElement
951− -- When the value has been updated by setValue before switchover, we must
952− -- send an update here to remain in sync. This is because the later
953− -- requestDomAction based on the setValue event will not capture events
954− -- happening before postBuild, because this code runs after switchover.
955− when (v0 /= switchoverValue) $ liftIO $ triggerChangeBySetValue switchoverValue
956− -- The user could have altered the value before switchover. This must be
957− -- triggered after the setValue one in order for the events to be in the
958− -- correct order.
959− liftJSM getValue >>= \realValue -> when (realValue /= switchoverValue) $ liftIO $ triggerChangeByUI realValue
934+ -- The browser might have messed with the value, or the user could have
935+ -- altered it before activation, so we set it if it isn't what we expect
936+ liftJSM getValue >>= \v0' -> do
937+ when (v0' /= v0) $ liftIO $ triggerChangeByUI v0'
960938 -- Watch for user interaction and trigger event accordingly
961939 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
962940 for_ (_inputElementConfig_setValue cfg) $ \eSetValue ->
@@ -970,17 +948,7 @@ inputElementInternal cfg = getHydrationMode >>= \case
970948 ]
971949 liftIO . triggerFocusChange =<< Node.isSameNode (toNode domElement) . fmap toNode =<< Document.getActiveElement doc
972950 requestDomAction_ $ liftIO . triggerFocusChange <$> focusChange'
973− -- When the checked state has been updated by setChecked before
974− -- switchover, we must send an update here to remain in sync. This is
975− -- because the later requestDomAction based on the setChecked event will not
976− -- capture events happening before postBuild, because this code runs after
977− -- switchover.
978− when (c0 /= switchoverChecked) $ liftIO $ triggerCheckedChangedBySetChecked switchoverChecked
979− -- The user could have clicked the checkbox before switchover, we only
980− -- detect cases where they flipped the state. This must be triggered after
981− -- the setValue one in order for the events to be in the correct order.
982− liftJSM (Input.getChecked domInputElement) >>= \realChecked -> when (realChecked /= switchoverChecked) $
983− liftIO $ triggerCheckedChangedByUI realChecked
951+ Input.setChecked domInputElement $ _inputElementConfig_initialChecked cfg
984952 _ <- liftJSM $ domInputElement `on` Events.click $ do
985953 liftIO . triggerCheckedChangedByUI =<< Input.getChecked domInputElement
986954 for_ (_inputElementConfig_setChecked cfg) $ \eNewchecked ->
@@ -993,7 +961,7 @@ inputElementInternal cfg = getHydrationMode >>= \case
993961 let getMyFiles xs = fmap catMaybes . mapM (FileList.item xs) . flip take [0..] . fromIntegral =<< FileList.getLength xs
994962 liftIO . triggerFileChange =<< maybe (return []) getMyFiles mfiles
995963 return ()
996− checked' <- holdDyn c0 $ leftmost
964+ checked' <- holdDyn (_inputElementConfig_initialChecked cfg) $ leftmost
997965 [ checkedChangedBySetChecked
998966 , checkedChangedByUI
999967 ]
@@ -1065,21 +1033,14 @@ textAreaElementInternal cfg = getHydrationMode >>= \case
10651033 doc <- askDocument
10661034 -- Expected initial value from config
10671035 let v0 = _textAreaElementConfig_initialValue cfg
1068− valueAtSwitchover = maybe (pure $ pure v0) (hold v0) (_textAreaElementConfig_setValue cfg)
1069− addHydrationStepWithSetup valueAtSwitchover $ \switchoverValue' -> do
1070− switchoverValue <- sample switchoverValue'
1036+ addHydrationStep $ do
10711037 domElement <- liftIO $ readIORef domElementRef
10721038 let domTextAreaElement = uncheckedCastTo DOM.HTMLTextAreaElement domElement
10731039 getValue = TextArea.getValue domTextAreaElement
1074− -- When the value has been updated by setValue before switchover, we must
1075− -- send an update here to remain in sync. This is because the later
1076− -- requestDomAction based on the setValue event will not capture events
1077− -- happening before postBuild, because this code runs after switchover.
1078− when (v0 /= switchoverValue) $ liftIO $ triggerChangeBySetValue switchoverValue
1079− -- The user could have altered the value before switchover. This must be
1080− -- triggered after the setValue one in order for the events to be in the
1081− -- correct order.
1082− liftJSM getValue >>= \realValue -> when (realValue /= switchoverValue) $ liftIO $ triggerChangeByUI realValue
1040+ -- The browser might have messed with the value, or the user could have
1041+ -- altered it before activation, so we set it if it isn't what we expect
1042+ liftJSM getValue >>= \v0' -> do
1043+ when (v0' /= v0) $ liftIO $ triggerChangeByUI v0'
10831044 -- Watch for user interaction and trigger event accordingly
10841045 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
10851046 for_ (_textAreaElementConfig_setValue cfg) $ \eSetValue ->
@@ -1672,7 +1633,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
16721633
16731634{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
16741635traverseDMapWithKeyWithAdjust'
1675− :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
1636+ :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, DMap.GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
16761637 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
16771638 -> DMap k v
16781639 -> Event t (PatchDMap k v)
@@ -1792,7 +1753,7 @@ hoistTraverseWithKeyWithAdjust
17921753 ::
17931754 ( Adjustable t m
17941755 , MonadHold t m
1795− , GCompare k
1756+ , DMap.GCompare k
17961757 , MonadIO m
17971758 , MonadJSM m
17981759 , PrimMonad m
@@ -1876,14 +1837,14 @@ hoistTraverseWithKeyWithAdjust base mapPatch updateChildUnreadiness applyDomUpda
18761837 getHydrationMode >>= \case
18771838 HydrationMode_Hydrating -> addHydrationStepWithSetup (holdIncremental children0 children') $ \children -> do
18781839 dm :: DMap k (Compose (TraverseChild t m (Some k)) v') <- sample $ currentIncremental children
1879− phs <- sequenceA $ weakenDMapWith (either _traverseChildHydration_delayed (pure . _traverseChildImmediate_placeholder) . _traverseChild_mode . getCompose) dm
1840+ phs <- traverse id $ weakenDMapWith (either _traverseChildHydration_delayed (pure . _traverseChildImmediate_placeholder) . _traverseChild_mode . getCompose) dm
18801841 liftIO $ writeIORef placeholders $! phs
18811842 insertAfterPreviousNode lastPlaceholder
18821843 HydrationMode_Immediate -> do
18831844 let activate i = do
18841845 append $ toNode $ _traverseChildImmediate_fragment i
18851846 pure $ _traverseChildImmediate_placeholder i
1886− phs <- sequenceA $ weakenDMapWith (either (error "impossible") activate . _traverseChild_mode . getCompose) children0
1847+ phs <- traverse id $ weakenDMapWith (either (error "impossible") activate . _traverseChild_mode . getCompose) children0
18871848 liftIO $ writeIORef placeholders $! phs
18881849 append $ toNode lastPlaceholder
18891850 requestDomAction_ $ ffor children' $ \p -> do
reflex-dom-core/src/Reflex/Dom/Builder/Static.hs+10−35
@@ -37,7 +37,6 @@ import Data.IntMap (IntMap)
3737import qualified Data.IntMap as IntMap
3838import qualified Data.Map as Map
3939import Data.Map.Misc (applyMap)
40−import Data.Maybe (fromMaybe)
4140import Data.Monoid ((<>))
4241import qualified Data.Set as Set
4342import Data.Text (Text)
@@ -274,7 +273,7 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
274273 --TODO: Do not escape quotation marks; see https://stackoverflow.com/questions/25612166/what-characters-must-be-escaped-in-html-5
275274 shouldEscape <- asks _staticDomBuilderEnv_shouldEscape
276275 let escape = if shouldEscape then fromHtmlEscapedText else byteString . encodeUtf8
277− (modify . (:)) . (\c -> "<!--" <> c <> "-->") =<< case mSetContents of
276+ modify . (:) =<< (\c -> "<!--" <> c <> "-->") <$> case mSetContents of
278277 Nothing -> return (pure (escape initialContents))
279278 Just setContents -> hold (escape initialContents) $ fmapCheap escape setContents --Only because it doesn't get optimized when profiling is on
280279 return $ CommentNode ()
@@ -312,32 +311,13 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
312311 return (e, result)
313312 {-# INLINABLE inputElement #-}
314313 inputElement cfg = do
315− -- Tweak the config to update the "value" and "checked" attributes appropriately.
316− -- TODO: warn upon overwriting values.
317− let setInitialValue = Map.insert "value" (_inputElementConfig_initialValue cfg)
318− setUpdatedValue updatedAttrs = case _inputElementConfig_setValue cfg of
319− Nothing -> updatedAttrs
320− Just e -> (Map.singleton "value" . Just <$> e) <> updatedAttrs
321− setInitialChecked = case _inputElementConfig_initialChecked cfg of
322− True -> Map.insert "checked" "checked"
323− False -> id
324− setUpdatedChecked updatedAttrs = case _inputElementConfig_setChecked cfg of
325− Nothing -> updatedAttrs
326− Just e -> (Map.singleton "checked" (Just "checked") <$ e) <> updatedAttrs
327− adjustedConfig = _inputElementConfig_elementConfig cfg
328− & elementConfig_initialAttributes %~ setInitialValue . setInitialChecked
329− & elementConfig_modifyAttributes %~ setUpdatedValue . setUpdatedChecked
330− (e, _result) <- element "input" adjustedConfig $ return ()
331− v <- case _inputElementConfig_setValue cfg of
332− Nothing -> pure $ constDyn (cfg ^. inputElementConfig_initialValue)
333− Just ev -> holdDyn (cfg ^. inputElementConfig_initialValue) ev
334− c <- case _inputElementConfig_setChecked cfg of
335− Nothing -> pure $ constDyn $ _inputElementConfig_initialChecked cfg
336− Just ev -> holdDyn (_inputElementConfig_initialChecked cfg) ev
314+ (e, _result) <- element "input" (cfg ^. inputElementConfig_elementConfig) $ return ()
315+ let v0 = constDyn $ cfg ^. inputElementConfig_initialValue
316+ let c0 = constDyn $ cfg ^. inputElementConfig_initialChecked
337317 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
338318 return $ InputElement
339− { _inputElement_value = v
340− , _inputElement_checked = c
319+ { _inputElement_value = v0
320+ , _inputElement_checked = c0
341321 , _inputElement_checkedChange = never
342322 , _inputElement_input = never
343323 , _inputElement_hasFocus = hasFocus
@@ -347,17 +327,12 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
347327 }
348328 {-# INLINABLE textAreaElement #-}
349329 textAreaElement cfg = do
350− (e, _domElement) <- element "textarea" (_textAreaElementConfig_elementConfig cfg) $ do
351− -- Set the initial value
352− void $ textNode $ def
353− & textNodeConfig_initialContents .~ _textAreaElementConfig_initialValue cfg
354− & textNodeConfig_setContents .~ fromMaybe never (_textAreaElementConfig_setValue cfg)
355− v <- case _textAreaElementConfig_setValue cfg of
356− Nothing -> pure $ constDyn (cfg ^. textAreaElementConfig_initialValue)
357− Just ev -> holdDyn (cfg ^. textAreaElementConfig_initialValue) ev
330+ --TODO: Support setValue event
331+ (e, _domElement) <- element "textarea" (cfg ^. textAreaElementConfig_elementConfig) $ return ()
332+ let v0 = constDyn $ cfg ^. textAreaElementConfig_initialValue
358333 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
359334 return $ TextAreaElement
360− { _textAreaElement_value = v
335+ { _textAreaElement_value = v0
361336 , _textAreaElement_input = never
362337 , _textAreaElement_hasFocus = hasFocus
363338 , _textAreaElement_element = e
reflex-dom-core/src/Reflex/Dom/Location.hs−1
@@ -26,7 +26,6 @@ import Control.Lens ((^.))
2626import Control.Monad ((>=>))
2727import Control.Monad.Fix (MonadFix)
2828import Data.Align (align)
29−import Data.Monoid
3029import Data.Text (Text)
3130import Data.These (These(..))
3231import qualified GHCJS.DOM as DOM
reflex-dom-core/src/Reflex/Dom/Main.hs+9−38
@@ -5,6 +5,8 @@
55{-# LANGUAGE GADTs #-}
66{-# LANGUAGE MultiParamTypeClasses #-}
77{-# LANGUAGE NoMonomorphismRestriction #-}
8+{-# LANGUAGE PackageImports #-}
9+{-# LANGUAGE PatternSynonyms #-}
810{-# LANGUAGE RankNTypes #-}
911{-# LANGUAGE RecursiveDo #-}
1012{-# LANGUAGE ScopedTypeVariables #-}
@@ -45,7 +47,7 @@ import Data.Text (Text)
4547import qualified Data.Text as T
4648import Data.Text.Encoding
4749import GHCJS.DOM
48−import GHCJS.DOM.Document
50+import "ghcjs-dom" GHCJS.DOM.Document
4951import GHCJS.DOM.Element
5052import GHCJS.DOM.Node
5153import GHCJS.DOM.NonElementParentNode
@@ -72,14 +74,8 @@ mainHydrationWidgetWithSwitchoverAction = mainHydrationWidgetWithSwitchoverActio
7274{-# INLINABLE mainHydrationWidgetWithSwitchoverAction' #-}
7375-- | Warning: `mainHydrationWidgetWithSwitchoverAction'` is provided only as performance tweak. It is expected to disappear in future releases.
7476mainHydrationWidgetWithSwitchoverAction' :: JSM () -> HydrationWidget () () -> HydrationWidget () () -> JSM ()
75−mainHydrationWidgetWithSwitchoverAction' = mainHydrationWidgetWithSwitchoverActionWithFailure' (pure ())
76−
77−
78−{-# INLINABLE mainHydrationWidgetWithSwitchoverActionWithFailure' #-}
79−-- | Warning: `mainHydrationWidgetWithSwitchoverActionWithFaiilure'` is provided only as performance tweak. It is expected to disappear in future releases.
80−mainHydrationWidgetWithSwitchoverActionWithFailure' :: IO () -> JSM () -> HydrationWidget () () -> HydrationWidget () () -> JSM ()
81−mainHydrationWidgetWithSwitchoverActionWithFailure' onFailure switchoverAction head' body = do
82− runHydrationWidgetWithHeadAndBodyWithFailure onFailure switchoverAction $ \appendHead appendBody -> do
77+mainHydrationWidgetWithSwitchoverAction' switchoverAction head' body = do
78+ runHydrationWidgetWithHeadAndBody switchoverAction $ \appendHead appendBody -> do
8379 appendHead head'
8480 appendBody body
8581
@@ -94,21 +90,7 @@ attachHydrationWidget
9490 -> PerformEventT DomTimeline DomHost (a, IORef (Maybe (EventTrigger DomTimeline ())))
9591 )
9692 -> IO (a, FireCommand DomTimeline DomHost)
97−attachHydrationWidget = attachHydrationWidgetWithFailure (pure ())
98−
99−{-# INLINABLE attachHydrationWidgetWithFailure #-}
100−attachHydrationWidgetWithFailure
101− :: IO ()
102− -> JSM ()
103− -> JSContextSingleton ()
104− -> ( Event DomTimeline ()
105− -> IORef HydrationMode
106− -> Maybe (IORef [(Node, HydrationRunnerT DomTimeline (DomCoreWidget ()) ())])
107− -> EventChannel
108− -> PerformEventT DomTimeline DomHost (a, IORef (Maybe (EventTrigger DomTimeline ())))
109− )
110− -> IO (a, FireCommand DomTimeline DomHost)
111−attachHydrationWidgetWithFailure onFailure switchoverAction jsSing w = do
93+attachHydrationWidget switchoverAction jsSing w = do
11294 hydrationMode <- liftIO $ newIORef HydrationMode_Hydrating
11395 rootNodesRef <- liftIO $ newIORef []
11496 events <- newChan
@@ -124,7 +106,7 @@ attachHydrationWidgetWithFailure onFailure switchoverAction jsSing w = do
124106 rootNodes <- liftIO $ readIORef rootNodesRef
125107 let delayedAction = do
126108 for_ (reverse rootNodes) $ \(rootNode, runner) -> do
127− let hydrate = runHydrationRunnerTWithFailure runner onFailure Nothing rootNode events
109+ let hydrate = runHydrationRunnerT runner Nothing rootNode events
128110 void $ runWithJSContextSingleton (runPostBuildT hydrate never) jsSing
129111 liftIO $ writeIORef hydrationMode HydrationMode_Immediate
130112 runWithJSContextSingleton (DOM.liftJSM switchoverAction) jsSing
@@ -145,22 +127,11 @@ runHydrationWidgetWithHeadAndBody
145127 -> FloatingWidget () ()
146128 )
147129 -> JSM ()
148−runHydrationWidgetWithHeadAndBody = runHydrationWidgetWithHeadAndBodyWithFailure (pure ())
149−
150−{-# INLINABLE runHydrationWidgetWithHeadAndBodyWithFailure #-}
151−runHydrationWidgetWithHeadAndBodyWithFailure
152− :: IO ()
153− -> JSM ()
154− -> ( (forall c. HydrationWidget () c -> FloatingWidget () c) -- "Append to head" --TODO: test invoking this more than once
155− -> (forall c. HydrationWidget () c -> FloatingWidget () c) -- "Append to body" --TODO: test invoking this more than once
156− -> FloatingWidget () ()
157− )
158− -> JSM ()
159−runHydrationWidgetWithHeadAndBodyWithFailure onFailure switchoverAction app = withJSContextSingletonMono $ \jsSing -> do
130+runHydrationWidgetWithHeadAndBody switchoverAction app = withJSContextSingletonMono $ \jsSing -> do
160131 globalDoc <- currentDocumentUnchecked
161132 headElement <- getHeadUnchecked globalDoc
162133 bodyElement <- getBodyUnchecked globalDoc
163− (events, fc) <- liftIO . attachHydrationWidgetWithFailure onFailure switchoverAction jsSing $ \switchover hydrationMode hydrationResult events -> do
134+ (events, fc) <- liftIO . attachHydrationWidget switchoverAction jsSing $ \switchover hydrationMode hydrationResult events -> do
164135 (postBuild, postBuildTriggerRef) <- newEventWithTriggerRef
165136 let hydrateDom :: DOM.Node -> HydrationWidget () c -> FloatingWidget () c
166137 hydrateDom n w = do
reflex-dom-core/src/Reflex/Dom/Prerender.hs+5−7
@@ -7,6 +7,7 @@
77{-# LANGUAGE GeneralizedNewtypeDeriving #-}
88{-# LANGUAGE LambdaCase #-}
99{-# LANGUAGE OverloadedStrings #-}
10+{-# LANGUAGE PackageImports #-}
1011{-# LANGUAGE Rank2Types #-}
1112{-# LANGUAGE RecursiveDo #-}
1213{-# LANGUAGE ScopedTypeVariables #-}
@@ -24,7 +25,7 @@ module Reflex.Dom.Prerender
2425
2526import Control.Monad.Primitive (PrimMonad(..))
2627import Control.Monad.Reader
27−import Control.Monad.Ref (MonadRef(..), MonadAtomicRef(..))
28+import Control.Monad.Ref (MonadRef(..))
2829import Data.IORef (IORef, newIORef)
2930import Data.Semigroup (Semigroup)
3031import Data.Text (Text)
@@ -41,7 +42,7 @@ import Reflex.Host.Class
4142import Data.IntMap.Strict (IntMap)
4243import qualified Data.IntMap.Strict as IntMap
4344
44−import qualified GHCJS.DOM.Document as Document
45+import qualified "ghcjs-dom" GHCJS.DOM.Document as Document
4546import qualified GHCJS.DOM.Node as Node
4647import qualified GHCJS.DOM.Types as DOM
4748
@@ -165,8 +166,6 @@ instance Monad m => MonadRef (UnrunnableT js t m) where
165166 newRef _ = unrunnable
166167 readRef _ = unrunnable
167168 writeRef _ _ = unrunnable
168−instance Monad m => MonadAtomicRef (UnrunnableT js t m) where
169− atomicModifyRef _ _ = unrunnable
170169instance Monad m => HasDocument (UnrunnableT js t m) where
171170 askDocument = unrunnable
172171instance Monad m => HasJSContext (UnrunnableT js t m) where
@@ -205,13 +204,12 @@ instance Monad m => MonadReflexCreateTrigger t (UnrunnableT js t m) where
205204 newFanEventWithTrigger _ = unrunnable
206205instance Monad m => MonadFix (UnrunnableT js t m) where
207206 mfix _ = unrunnable
208−instance (Monad m, MonadHold t m) => MonadHold t (UnrunnableT js t m) where
207+instance Monad m => MonadHold t (UnrunnableT js t m) where
209208 hold _ _ = unrunnable
210209 holdDyn _ _ = unrunnable
211210 holdIncremental _ _ = unrunnable
212211 buildDynamic _ _ = unrunnable
213212 headE _ = unrunnable
214− now = unrunnable
215213instance Monad m => MonadSample t (UnrunnableT js t m) where
216214 sample _ = unrunnable
217215instance Monad m => MonadIO (UnrunnableT js t m) where
@@ -229,7 +227,7 @@ instance (Reflex t, Monad m) => DomRenderHook t (UnrunnableT js t m) where
229227 withRenderHook _ _ = unrunnable
230228 requestDomAction _ = unrunnable
231229 requestDomAction_ _ = unrunnable
232−instance (Reflex t, Monad m, MonadHold t m) => Prerender JS' t (UnrunnableT js t m) where
230+instance (Reflex t, Monad m) => Prerender JS' t (UnrunnableT js t m) where
233231 type Client (UnrunnableT js t m) = UnrunnableT js t m
234232 prerender _ _ = unrunnable
235233
reflex-dom-core/src/Reflex/Dom/Test/Screenshot.hsnew file+292
@@ -0,0 +1,292 @@
1+{-# LANGUAGE BangPatterns #-}
2+{-# LANGUAGE CPP #-}
3+{-# LANGUAGE OverloadedStrings #-}
4+{-# LANGUAGE RecursiveDo #-}
5+{-# LANGUAGE ScopedTypeVariables #-}
6+{-# LANGUAGE RankNTypes #-}
7+{-# LANGUAGE FlexibleContexts #-}
8+{-# LANGUAGE TupleSections #-}
9+{-# LANGUAGE TemplateHaskell #-}
10+{-# LANGUAGE ConstraintKinds #-}
11+{-# LANGUAGE StandaloneDeriving #-}
12+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
13+{-# LANGUAGE LambdaCase #-}
14+
15+
16+module Reflex.Dom.Test.Screenshot where
17+
18+
19+import Control.Concurrent
20+import Control.Exception ()
21+import Control.Monad
22+import Control.Monad.Fix
23+import Control.Monad.IO.Class
24+import Data.Text (Text)
25+import qualified Data.Text as T
26+import Language.Javascript.JSaddle
27+import Language.Javascript.JSaddle.Warp
28+import Reflex.Dom.Core
29+import System.Exit
30+import System.Process
31+import Control.Monad.Catch
32+
33+import Test.Util.ChromeFlags
34+import Test.Util.UnshareNetwork
35+
36+import Test.WebDriver
37+import Test.WebDriver.Commands
38+import Control.Concurrent.Async
39+import qualified Control.Concurrent.Async as Async
40+import Network.Socket
41+import System.Environment
42+import System.Which (staticWhich)
43+import Data.Maybe
44+import qualified Data.Text.Encoding as TE
45+import qualified Data.ByteString.Lazy as LBS
46+import qualified Network.Wai.Handler.Warp as Warp
47+import Network.WebSockets
48+
49+import Network.Wai
50+import Network.HTTP.Types (status200)
51+import System.IO.Silently
52+import System.IO
53+
54+import Test.Hspec.WebDriver hiding (runWD, click, uploadFile, WD)
55+import qualified Test.WebDriver as WD
56+import qualified Test.WebDriver.Capabilities as WD
57+
58+deriving instance MonadMask WD
59+
60+chromium :: FilePath
61+chromium = $(staticWhich "chromium")
62+
63+myWDConfig :: WDConfig
64+myWDConfig = useBrowser chrome $ defaultConfig { wdPort = 4444 }
65+-- myWDConfig = useBrowser chrome $ defaultConfig
66+
67+followingH :: IO ()
68+followingH = do
69+ handle (\(_ :: IOError) -> return ()) $ unshareNetork -- If we run into an exception with sandboxing, just don't bother
70+ isHeadless <- (== Nothing) <$> lookupEnv "NO_HEADLESS"
71+ withSandboxedChromeFlags isHeadless $ \chromeFlags -> do
72+ withSeleniumServer $ \selenium -> do
73+ let browserPath = T.strip $ T.pack chromium
74+ when (T.null browserPath) $ fail "No browser found"
75+ withDebugging <- isNothing <$> lookupEnv "NO_DEBUG"
76+ let wdConfig = WD.defaultConfig { WD.wdPort = fromIntegral $ _selenium_portNumber selenium }
77+ chromeCaps' = WD.getCaps $ chromeConfig browserPath chromeFlags
78+ -- TODO I don't want this to call hspec
79+ tests withDebugging wdConfig [chromeCaps'] selenium `finally` _selenium_stopServer selenium
80+
81+tests :: Bool -> WD.WDConfig -> [Capabilities] -> Selenium -> IO ()
82+tests withDebugging wdConfig caps _selenium = do
83+ let putStrLnDebug :: MonadIO m => Text -> m ()
84+ putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
85+ -- session' :: SpecWith (WdTestSession multi) -> Spec
86+ -- session' = sessionWith wdConfig "" . (using :: Int) (map (,"") caps)
87+ -- runWD :: WD () -> WdExample ()
88+ -- runWD m = runWDOptions (WdOptions False) $ do
89+ -- putStrLnDebug "before"
90+ -- r <- m
91+ -- putStrLnDebug "after"
92+ -- return r
93+ testWidget :: WD () -> WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
94+ -- testWidget :: WD () -> WD b -> (forall m. Widget (SpiderTimeline Global) m) -> WD b
95+ testWidget = testWidgetDebug withDebugging
96+ -- session' $ do
97+ putStrLn "inside tests"
98+ runSession (useBrowser chrome $ wdConfig) $
99+ testWidget (checkBodyText "hello world") (saveScreenshot "/home/carlo/tmp/primo.png") $ do
100+ elAttr "div" ("style" =: "background-color: cyan;") $ text "hello world"
101+ putStrLn "Done"
102+
103+checkBodyText :: Text -> WD ()
104+checkBodyText = checkTextInTag "body"
105+
106+checkTextInTag :: Text -> Text -> WD ()
107+checkTextInTag t expected = do
108+ e <- findElemWithRetry (WD.ByTag t)
109+ shouldContainText expected e
110+
111+findElemWithRetry :: Selector -> WD WD.Element
112+findElemWithRetry = withRetry . WD.findElem
113+
114+shouldContainText :: Text -> WD.Element -> WD ()
115+shouldContainText t = withRetry . shouldContainTextNoRetry t
116+
117+withRetry :: forall a. WD a -> WD a
118+withRetry a = wait 300
119+ where wait :: Int -> WD a
120+ wait 0 = a
121+ wait n = try a >>= \case
122+ Left (e :: SomeException) -> do
123+ liftIO $ putStrLn ("(retrying due to " <> show e <> ")") *> threadDelay 100000
124+ wait $ n - 1
125+ Right v -> return v
126+
127+shouldContainTextNoRetry :: Text -> WD.Element -> WD ()
128+shouldContainTextNoRetry t = flip shouldBe t <=< WD.getText
129+
130+-- createScreenshot :: forall t m. (DomBuilder t m, MonadHold t m, MonadFix m) => m () -> IO ()
131+-- createScreenshot :: (forall t. Widget t a) -> IO ()
132+-- createScreenshot widget = do
133+-- handle (\(_ :: IOError) -> return ()) $ unshareNetork -- If we run into an exception with sandboxing, just don't bother
134+-- withSandboxedChromeFlags True $ \chromeFlags -> do
135+-- mainThread <- myThreadId
136+-- browserProcess <- spawnCommand $ mconcat
137+-- [ "echo 'Starting Chromium' ; chromium "
138+-- , T.unpack $ T.unwords chromeFlags
139+-- , " http://localhost:3911 ; echo 'Chromium exited'"
140+-- ]
141+-- let
142+-- finishTest :: ExitCode -> IO ()
143+-- finishTest result = do
144+-- interruptProcessGroupOf browserProcess
145+-- throwTo mainThread result
146+-- putStrLn "About to start the server"
147+
148+-- liftIO $ putStrLn "Starting in the async.."
149+-- runSession myWDConfig $ do
150+-- -- tells the browser to open the URL http://google.com
151+-- liftIO $ putStrLn "Before opening the page.."
152+-- openPage "http://google.com"
153+-- liftIO $ putStrLn "Page opened"
154+-- saveScreenshot "/home/carlo/tmp/primo.png"
155+-- closeSession
156+-- -- async $ do
157+-- -- -- starts a WebDriver session with the given firefox config, then runs the
158+-- -- -- supplied commands
159+
160+-- -- liftIO $ putStrLn "Starting in the async.."
161+-- -- runSession myWDConfig $ do
162+-- -- -- tells the browser to open the URL http://google.com
163+-- -- liftIO $ putStrLn "Before opening the page.."
164+-- -- openPage "http://google.com"
165+-- -- liftIO $ putStrLn "Page opened"
166+-- -- saveScreenshot "/home/carlo/tmp/primo.png"
167+-- -- closeSession
168+
169+-- run 3911 $ do
170+-- liftIO $ putStrLn "Running..."
171+-- mainWidget $ do
172+-- postBuild <- getPostBuild
173+-- performEvent_ <=< delay 10 $ (liftIO $ finishTest ExitSuccess) <$ postBuild
174+-- void widget
175+-- -- pure ()
176+
177+data Selenium = Selenium
178+ { _selenium_portNumber :: PortNumber
179+ , _selenium_stopServer :: IO ()
180+ }
181+
182+startSeleniumServer :: PortNumber -> IO (IO ())
183+startSeleniumServer port = do
184+ (_,_,_,ph) <- createProcess $ (proc "selenium-server" ["-port", show port])
185+ { std_in = NoStream
186+ , std_out = NoStream
187+ , std_err = NoStream
188+ }
189+ return $ terminateProcess ph
190+
191+withSeleniumServer :: (Selenium -> IO ()) -> IO ()
192+withSeleniumServer f = do
193+ stopServer <- startSeleniumServer seleniumPort
194+ threadDelay $ 1000 * 1000 * 2 -- TODO poll or wait on a a signal to block on
195+ f $ Selenium
196+ { _selenium_portNumber = seleniumPort
197+ , _selenium_stopServer = stopServer
198+ }
199+
200+chromeConfig :: Text -> [Text] -> WD.WDConfig
201+chromeConfig fp flags = WD.useBrowser (WD.chrome { WD.chromeBinary = Just $ T.unpack fp, WD.chromeOptions = T.unpack <$> flags }) WD.defaultConfig
202+
203+type TestWidget js t m = (DomBuilder t m, MonadHold t m, PostBuild t m, Prerender js t m, PerformEvent t m, TriggerEvent t m, MonadFix m, MonadIO (Performable m), MonadIO m)
204+
205+-- | TODO: do something about JSExceptions not causing tests to fail
206+testWidgetDebug
207+ :: Bool
208+ -> WD ()
209+ -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
210+ -> WD b
211+ -- ^ Webdriver commands to run after hydration switchover
212+ -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
213+ -- ^ Widget we are testing
214+ -> WD b
215+testWidgetDebug withDebugging beforeJS afterSwitchover =
216+ testWidgetDebug' withDebugging beforeJS (const afterSwitchover)
217+
218+-- | TODO: do something about JSExceptions not causing tests to fail
219+testWidgetDebug'
220+ :: Bool
221+ -> WD a
222+ -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
223+ -> (a -> WD b)
224+ -- ^ Webdriver commands to run after hydration switchover
225+ -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
226+ -- ^ Widget we are testing (contents of body)
227+ -> WD b
228+testWidgetDebug' withDebugging beforeJS afterSwitchover bodyWidget = do
229+ let putStrLnDebug :: MonadIO m => Text -> m ()
230+ putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
231+ staticApp = do
232+ el "head" $ pure ()
233+ el "body" $ do
234+ bodyWidget
235+ el "script" $ text $ TE.decodeUtf8 $ LBS.toStrict $ jsaddleJs False
236+ putStrLnDebug "rendering static"
237+ ((), html) <- liftIO $ renderStatic $ runHydratableT staticApp
238+ putStrLnDebug "rendered static"
239+ waitBeforeJS <- liftIO newEmptyMVar -- Empty until JS should be run
240+ waitUntilSwitchover <- liftIO newEmptyMVar -- Empty until switchover
241+ let entryPoint = do
242+ putStrLnDebug "taking waitBeforeJS"
243+ liftIO $ takeMVar waitBeforeJS
244+ let switchOverAction = do
245+ putStrLnDebug "switchover syncPoint"
246+ syncPoint
247+ putStrLnDebug "putting waitUntilSwitchover"
248+ liftIO $ putMVar waitUntilSwitchover ()
249+ putStrLnDebug "put waitUntilSwitchover"
250+ putStrLnDebug "running mainHydrationWidgetWithSwitchoverAction"
251+ mainHydrationWidgetWithSwitchoverAction switchOverAction blank bodyWidget
252+ putStrLnDebug "syncPoint after mainHydrationWidgetWithSwitchoverAction"
253+ syncPoint
254+ application <- liftIO $ jsaddleOr defaultConnectionOptions entryPoint $ \_ sendResponse -> do
255+ putStrLnDebug "sending response"
256+ r <- sendResponse $ responseLBS status200 [] $ "<!doctype html>\n" <> LBS.fromStrict html
257+ putStrLnDebug "sent response"
258+ return r
259+ waitJSaddle <- liftIO newEmptyMVar
260+ let settings = foldr ($) Warp.defaultSettings
261+ [ Warp.setPort $ fromIntegral $ toInteger jsaddlePort
262+ , Warp.setBeforeMainLoop $ do
263+ putStrLnDebug "putting waitJSaddle"
264+ putMVar waitJSaddle ()
265+ putStrLnDebug "put waitJSaddle"
266+ ]
267+ -- hSilence to get rid of ConnectionClosed logs
268+ silenceIfDebug = if withDebugging then id else hSilence [stderr]
269+ jsaddleWarp = silenceIfDebug $ Warp.runSettings settings application
270+ withAsync' jsaddleWarp $ do
271+ putStrLnDebug "taking waitJSaddle"
272+ liftIO $ takeMVar waitJSaddle
273+ putStrLnDebug "opening page"
274+ WD.openPage $ "http://localhost:" <> show jsaddlePort
275+ putStrLnDebug "running beforeJS"
276+ a <- beforeJS
277+ putStrLnDebug "putting waitBeforeJS"
278+ liftIO $ putMVar waitBeforeJS ()
279+ putStrLnDebug "taking waitUntilSwitchover"
280+ liftIO $ takeMVar waitUntilSwitchover
281+ putStrLnDebug "running afterSwitchover"
282+ afterSwitchover a
283+
284+seleniumPort, jsaddlePort :: PortNumber
285+seleniumPort = 8000
286+jsaddlePort = 8001
287+
288+withAsync' :: (MonadIO m, MonadMask m) => IO a -> m b -> m b
289+withAsync' f g = bracket
290+ (liftIO $ Async.async f)
291+ (liftIO . Async.uninterruptibleCancel)
292+ (const g)
reflex-dom-core/src/Reflex/Dom/Widget/Basic.hs−1
@@ -70,7 +70,6 @@ import Reflex.Network
7070import Reflex.PostBuild.Class
7171import Reflex.Workflow
7272
73−import Control.Arrow
7473import Control.Lens hiding (children, element)
7574import Control.Monad.Reader hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
7675import Data.Align
reflex-dom-core/src/Reflex/Dom/Widget/Input.hs+3−4
@@ -30,12 +30,8 @@ import Data.Functor.Misc
3030import Data.Map (Map)
3131import qualified Data.Map as Map
3232import Data.Maybe
33−import Data.Semigroup
3433import Data.Text (Text)
3534import qualified Data.Text as T
36−import qualified GHCJS.DOM.GlobalEventHandlers as Events
37−import GHCJS.DOM.EventM (on)
38−import qualified GHCJS.DOM.FileList as FileList
3935import GHCJS.DOM.HTMLInputElement (HTMLInputElement)
4036import GHCJS.DOM.HTMLTextAreaElement (HTMLTextAreaElement)
4137import GHCJS.DOM.Types (MonadJSM, File, uncheckedCastTo)
@@ -629,6 +625,9 @@ instance HasAttributes (FileInputConfig t) where
629625 type Attrs (FileInputConfig t) = Dynamic t (Map Text Text)
630626 attributes = fileInputConfig_attributes
631627
628+class HasSetValue a where
629+ type SetValue a :: *
630+ setValue :: Lens' a (SetValue a)
632631
633632instance HasSetValue (TextAreaConfig t) where
634633 type SetValue (TextAreaConfig t) = Event t Text
reflex-dom-core/src/Reflex/Dom/Widget/Lazy.hs+1−2
@@ -20,7 +20,6 @@ import Control.Monad.Fix
2020import Data.Fixed
2121import Data.Map (Map)
2222import qualified Data.Map as Map
23−import Data.Monoid
2423import Data.Text (Text)
2524import qualified Data.Text as T
2625import GHCJS.DOM.Element
@@ -117,7 +116,7 @@ virtualList heightPx rowPx maxIndex i0 setI keyToIndex items0 itemsUpdate itemBu
117116 "overflow" =: "hidden" <>
118117 "position" =: "relative"
119118 mkRow k = toStyleAttr $ "height" =: (T.pack (show rowPx) <> "px") <>
120− "top" =: (<> "px") (T.pack $ show $ keyToIndex k * rowPx) <>
119+ "top" =: ((<>"px") $ T.pack $ show $ keyToIndex k * rowPx) <>
121120 "position" =: "absolute" <>
122121 "width" =: "100%"
123122 findWindow sizeIncrement windowSize startingPosition =
reflex-dom-core/src/Reflex/Dom/Widget/Resize.hs−2
@@ -16,12 +16,10 @@ import Reflex.PerformEvent.Class
1616import Reflex.PostBuild.Class
1717import Reflex.TriggerEvent.Class
1818
19−import Control.Monad
2019import Control.Monad.Fix
2120import Control.Monad.IO.Class
2221import Data.Map (Map)
2322import qualified Data.Map as Map
24−import Data.Monoid
2523import Data.Text (Text)
2624import qualified Data.Text as T
2725import GHCJS.DOM.Element
reflex-dom-core/src/Reflex/Dom/Xhr/Foreign.hs+2−2
@@ -15,7 +15,7 @@ import Data.Text (Text)
1515import Data.ByteString (ByteString)
1616import Foreign.JavaScript.Utils (bsFromMutableArrayBuffer, bsToArrayBuffer)
1717import GHCJS.DOM.Enums
18−import GHCJS.DOM.EventM (EventM, on, onSync)
18+import GHCJS.DOM.EventM (EventM, on)
1919import GHCJS.DOM.EventTarget (dispatchEvent)
2020import GHCJS.DOM.Types (MonadJSM, ToJSString, FormData, Document, Blob (..), ArrayBuffer (..), JSVal, JSM, IsEvent, XMLHttpRequestProgressEvent, ProgressEvent, Event, XMLHttpRequestUpload, FromJSString, ArrayBufferView (..), liftJSM, castTo)
2121import GHCJS.DOM.XMLHttpRequest
@@ -114,7 +114,7 @@ xmlHttpRequestOntimeout :: XMLHttpRequest -> EventM XMLHttpRequest ProgressEvent
114114xmlHttpRequestOntimeout = (`on` timeout)
115115
116116xmlHttpRequestOnreadystatechange :: XMLHttpRequest -> EventM XMLHttpRequest Event () -> JSM (JSM ())
117−xmlHttpRequestOnreadystatechange = (`onSync` readyStateChange)
117+xmlHttpRequestOnreadystatechange = (`on` readyStateChange)
118118
119119xmlHttpRequestSetTimeout :: MonadJSM m => XMLHttpRequest -> Word -> m ()
120120xmlHttpRequestSetTimeout = setTimeout
reflex-dom-core/test/gc.hs+1−1
@@ -47,7 +47,7 @@ failureLimit = 0
4747
4848main :: IO ()
4949main = do
50− handle (\(_ :: IOError) -> return ()) $ unshareNetwork -- If we run into an exception with sandboxing, just don't bother
50+ handle (\(_ :: IOError) -> return ()) $ unshareNetork -- If we run into an exception with sandboxing, just don't bother
5151 withSandboxedChromeFlags True $ \chromeFlags -> do
5252 mainThread <- myThreadId
5353 browserProcess <- spawnCommand $ mconcat
reflex-dom-core/test/hlint.hs+1−1
@@ -1,4 +1,4 @@
1−import Language.Haskell.HLint (hlint)
1+import Language.Haskell.HLint3 (hlint)
22import System.Exit (exitFailure, exitSuccess)
33
44main :: IO ()
reflex-dom-core/test/hydration.hs+40−353
@@ -20,14 +20,6 @@
2020
2121{-# OPTIONS_GHC -fno-warn-orphans #-}
2222
23−-- Notice to those working on this test suite:
24−-- It doesn't appear to be possible to use --match to run a particular test, in
25−-- this situation the test may hang before reaching our code. This seems to
26−-- happen when the test is not the first test in the block. As a workaround, you
27−-- can just comment out the other tests. Also, using `xit` will cause the same
28−-- issue. `xit` tests must be the last tests in the session, or the session will
29−-- hang in the following test.
30−
3123import Prelude hiding (fail)
3224import Control.Concurrent
3325import qualified Control.Concurrent.Async as Async
@@ -145,7 +137,7 @@ deriving instance MonadFail WD
145137
146138main :: IO ()
147139main = do
148− unshareNetwork
140+ unshareNetork
149141 isHeadless <- (== Nothing) <$> lookupEnv "NO_HEADLESS"
150142 withSandboxedChromeFlags isHeadless $ \chromeFlags -> do
151143 withSeleniumServer $ \selenium -> do
@@ -154,13 +146,13 @@ main = do
154146 withDebugging <- isNothing <$> lookupEnv "NO_DEBUG"
155147 let wdConfig = WD.defaultConfig { WD.wdPort = fromIntegral $ _selenium_portNumber selenium }
156148 chromeCaps' = WD.getCaps $ chromeConfig browserPath chromeFlags
157− hspec (tests withDebugging wdConfig [(chromeCaps', "chrome")] selenium) `finally` _selenium_stopServer selenium
149+ hspec (tests withDebugging wdConfig [chromeCaps'] selenium) `finally` _selenium_stopServer selenium
158150
159−tests :: Bool -> WD.WDConfig -> [(Capabilities, String)] -> Selenium -> Spec
151+tests :: Bool -> WD.WDConfig -> [Capabilities] -> Selenium -> Spec
160152tests withDebugging wdConfig caps _selenium = do
161153 let putStrLnDebug :: MonadIO m => Text -> m ()
162154 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
163− session' t = sessionWith wdConfig t . using caps
155+ session' = sessionWith wdConfig "" . using (map (,"") caps)
164156 runWD m = runWDOptions (WdOptions False) $ do
165157 putStrLnDebug "before"
166158 r <- m
@@ -169,10 +161,10 @@ tests withDebugging wdConfig caps _selenium = do
169161 testWidgetStatic :: WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
170162 testWidgetStatic = testWidgetStaticDebug withDebugging
171163 testWidget :: WD () -> WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
172− testWidget = testWidgetDebug True withDebugging
164+ testWidget = testWidgetDebug withDebugging
173165 testWidget' :: WD a -> (a -> WD b) -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
174− testWidget' = testWidgetDebug' True withDebugging
175− session' "text" $ do
166+ testWidget' = testWidgetDebug' withDebugging
167+ describe "text" $ session' $ do
176168 it "works" $ runWD $ do
177169 testWidgetStatic (checkBodyText "hello world") $ do
178170 text "hello world"
@@ -233,7 +225,7 @@ tests withDebugging wdConfig caps _selenium = do
233225 click <- button ""
234226 void $ textNode $ TextNodeConfig "initial" $ Just $ "after" <$ click
235227
236− session' "element" $ do
228+ describe "element" $ session' $ do
237229 it "works with domEvent Click" $ runWD $ do
238230 clickedRef <- liftIO $ newRef False
239231 testWidget' (findElemWithRetry $ WD.ByTag "div") WD.click $ do
@@ -297,78 +289,21 @@ tests withDebugging wdConfig caps _selenium = do
297289 let click = domEvent Click e
298290 return ()
299291
300− session' "inputElement" $ do
301− describe "static renderer" $ do
302− it "sets value attribute" $ runWD $ do
303− let checkStatic = do
304− e <- findElemWithRetry $ WD.ByTag "input"
305− WD.attr e "value" `shouldBeWithRetryM` Just "test"
306− pure e
307− checkHydrated e = do
308− WD.attr e "value" `shouldBeWithRetryM` Just "test"
309− testWidget' checkStatic checkHydrated $ void $ inputElement $ def
310− & inputElementConfig_initialValue .~ "test"
311− it "updates value attribute at postBuild" $ runWD $ do
312− let checkStatic = do
313− e <- findElemWithRetry $ WD.ByTag "input"
314− WD.attr e "value" `shouldBeWithRetryM` Just "test-updated"
315− pure e
316− checkHydrated e = do
317− WD.attr e "value" `shouldBeWithRetryM` Just "test-updated"
318− testWidget' checkStatic checkHydrated $ do
319− pb <- getPostBuild
320− _ <- inputElement $ def
321− & inputElementConfig_initialValue .~ "test"
322− & inputElementConfig_setValue .~ ("test-updated" <$ pb)
323− pure ()
324− it "sets checked attr appropriately" $ runWD $ do
325− setCheckedChan <- liftIO newChan
326− let checkStatic = do
327− e <- findElemWithRetry $ WD.ByTag "input"
328− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
329− pure e
330− checkValue e = do
331− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
332− WD.moveToCenter e
333− WD.click e -- Click to uncheck
334− WD.attr e "checked" `shouldBeWithRetryM` Nothing
335− liftIO $ writeChan setCheckedChan True -- Programatically check the checkbox
336− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
337− testWidget' checkStatic checkValue $ do
338− setChecked <- triggerEventWithChan setCheckedChan
339− _ <- inputElement $ def
340− & initialAttributes .~ "type" =: "checkbox"
341− & inputElementConfig_initialChecked .~ True
342− & inputElementConfig_setChecked .~ setChecked
343− pure ()
344− it "sets checked attr appropriately at postbuild" $ runWD $ do
345− let checkStatic = do
346− e <- findElemWithRetry $ WD.ByTag "input"
347− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
348− pure e
349− checkValue e = do
350− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
351− testWidget' checkStatic checkValue $ do
352− pb <- getPostBuild
353− _ <- inputElement $ def
354− & initialAttributes .~ "type" =: "checkbox"
355− & inputElementConfig_initialChecked .~ False
356− & inputElementConfig_setChecked .~ (True <$ pb)
357− pure ()
358− describe "hydration" $ do
292+ describe "inputElement" $ do
293+ describe "hydration" $ session' $ do
359294 it "doesn't wipe user input when switching over" $ runWD $ do
360− inputRef <- newRef ("hello " :: Text)
295+ inputRef <- newRef ("" :: Text)
361296 testWidget'
362297 (do
363298 e <- findElemWithRetry $ WD.ByTag "input"
364− WD.sendKeys "world" e
299+ WD.sendKeys "hello world" e
365300 pure e)
366301 (\e -> do
367302 WD.attr e "value" `shouldBeWithRetryM` Just "hello world"
368303 WD.click =<< findElemWithRetry (WD.ByTag "button")
369304 readRef inputRef `shouldBeWithRetryM` "hello world"
370305 ) $ do
371− e <- inputElement $ def & inputElementConfig_initialValue .~ "hello "
306+ e <- inputElement def
372307 click <- button "save"
373308 performEvent_ $ liftIO . writeRef inputRef <$> tag (current (value e)) click
374309 it "captures user input after switchover" $ runWD $ do
@@ -425,49 +360,24 @@ tests withDebugging wdConfig caps _selenium = do
425360 checkedByUIRef <- newRef False
426361 checkedRef <- newRef False
427362 setCheckedChan <- liftIO newChan
428− let checkStatic = do
429− e <- findElemWithRetry $ WD.ByTag "input"
430− WD.attr e "checked" `shouldBeWithRetryM` Nothing
431− pure e
432− checkValue e = do
363+ let checkValue = do
433364 readRef checkedByUIRef `shouldBeWithRetryM` False
434365 readRef checkedRef `shouldBeWithRetryM` False
435− WD.attr e "checked" `shouldBeWithRetryM` Nothing
366+ e <- findElemWithRetry $ WD.ByTag "input"
436367 WD.moveToCenter e
437368 WD.click e
438369 readRef checkedByUIRef `shouldBeWithRetryM` True
439370 readRef checkedRef `shouldBeWithRetryM` True
440− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
441371 liftIO $ writeChan setCheckedChan False
442372 readRef checkedByUIRef `shouldBeWithRetryM` True
443373 readRef checkedRef `shouldBeWithRetryM` False
444− WD.attr e "checked" `shouldBeWithRetryM` Nothing
445− testWidget' checkStatic checkValue $ do
374+ testWidget (pure ()) checkValue $ do
446375 setChecked <- triggerEventWithChan setCheckedChan
447376 e <- inputElement $ def
448377 & initialAttributes .~ "type" =: "checkbox"
449378 & inputElementConfig_setChecked .~ setChecked
450379 performEvent_ $ liftIO . writeRef checkedByUIRef <$> _inputElement_checkedChange e
451380 performEvent_ $ liftIO . writeRef checkedRef <$> updated (_inputElement_checked e)
452− it "respects user updates to checked which happen before hydration" $ runWD $ do
453− checkedByUIRef <- newRef False
454− checkedRef <- newRef False
455− let checkStatic = do
456− e <- findElemWithRetry $ WD.ByTag "input"
457− WD.attr e "checked" `shouldBeWithRetryM` Nothing
458− WD.moveToCenter e
459− WD.click e
460− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
461− pure e
462− checkValue e = do
463− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
464− readRef checkedByUIRef `shouldBeWithRetryM` True
465− readRef checkedRef `shouldBeWithRetryM` True
466− testWidget' checkStatic checkValue $ do
467− e <- inputElement $ def
468− & initialAttributes .~ "type" =: "checkbox"
469− performEvent_ $ liftIO . writeRef checkedByUIRef <$> _inputElement_checkedChange e
470− performEvent_ $ liftIO . writeRef checkedRef <$> updated (_inputElement_checked e)
471381 it "captures file uploads" $ runWD $ do
472382 filesRef :: IORef [Text] <- newRef []
473383 let uploadFile = do
@@ -483,117 +393,8 @@ tests withDebugging wdConfig caps _selenium = do
483393 prerender_ (pure ()) $ performEvent_ $ ffor (tag (current (_inputElement_files e)) click) $ \fs -> do
484394 names <- liftJSM $ traverse File.getName fs
485395 liftIO $ writeRef filesRef names
486− it "fires _input event if the user altered the value before hydration" $ runWD $ do
487− input <- newRef ("" :: Text)
488− update <- newRef ("" :: Text)
489− let checkStatic = do
490− e <- findElemWithRetry $ WD.ByTag "input"
491− WD.attr e "value" `shouldBeWithRetryM` Just ""
492− WD.sendKeys "test" e
493− WD.attr e "value" `shouldBeWithRetryM` Just "test"
494− pure e
495− checkHydrated e = do
496− WD.attr e "value" `shouldBeWithRetryM` Just "test"
497− readRef input `shouldBeWithRetryM` "test"
498− readRef update `shouldBeWithRetryM` "test"
499− testWidget' checkStatic checkHydrated $ do
500− e <- inputElement def
501− performEvent_ $ liftIO . writeRef input <$> _inputElement_input e
502− performEvent_ $ liftIO . writeRef update <$> updated (_inputElement_value e)
503− it "does not fire _input event when the value is updated at postBuild" $ runWD $ do
504− input <- newRef (Nothing :: Maybe Text)
505− let checkStatic = do
506− e <- findElemWithRetry $ WD.ByTag "input"
507− WD.attr e "value" `shouldBeWithRetryM` Just "pb"
508− pure e
509− checkHydrated e = do
510− WD.attr e "value" `shouldBeWithRetryM` Just "pb"
511− readRef input `shouldBeWithRetryM` Nothing
512− testWidget' checkStatic checkHydrated $ do
513− pb <- getPostBuild
514− e <- inputElement $ def & inputElementConfig_setValue .~ ("pb" <$ pb)
515− performEvent_ $ liftIO . writeRef input . Just <$> _inputElement_input e
516− it "SSR produces correct DOM based on inputElement values when setValue happens at postBuild" $ runWD $ do
517− let checkBoth = do
518− input <- findElemWithRetry $ WD.ByTag "input"
519− WD.attr input "value" `shouldBeWithRetryM` Just "pb"
520− p <- findElemWithRetry (WD.ByTag "p")
521− shouldContainText "pb" p
522− testWidget checkBoth checkBoth $ do
523− pb <- getPostBuild
524− e <- inputElement $ def & inputElementConfig_setValue .~ ("pb" <$ pb)
525− el "p" $ dynText $ _inputElement_value e
526− it "does not fail when both setValue AND user updated value happen before switchover" $ runWD $ do
527− let checkStatic = do
528− input <- findElemWithRetry $ WD.ByTag "input"
529− h2_value <- findElemWithRetry (WD.ByTag "h2")
530− h3_input <- findElemWithRetry (WD.ByTag "h3")
531− WD.attr input "value" `shouldBeWithRetryM` Just "pb"
532− shouldContainText "pb" h2_value
533− shouldContainText "" h3_input
534− WD.sendKeys "abc" input
535− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
536− shouldContainText "pb" h2_value
537− shouldContainText "" h3_input
538− pure (input, h2_value, h3_input)
539− checkHydrated (input, h2_value, h3_input) = do
540− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
541− shouldContainText "pbabc" h3_input
542− shouldContainText "pbabc pb" h2_value
543− pure ()
544− testWidget' checkStatic checkHydrated $ do
545− pb <- getPostBuild
546− e <- inputElement $ def & inputElementConfig_setValue .~ ("pb" <$ pb)
547− el "h1" $ dynText $ _inputElement_value e
548− el "h2" $ dynText . fmap T.unwords <=< foldDyn (:) [] $ updated $ _inputElement_value e
549− el "h3" $ dynText . fmap T.unwords <=< foldDyn (:) [] $ _inputElement_input e
550− it "value is correct when both setValue AND user updated value happen before switchover" $ runWD $ do
551− let checkStatic = do
552− input <- findElemWithRetry $ WD.ByTag "input"
553− p <- findElemWithRetry (WD.ByTag "p")
554− WD.attr input "value" `shouldBeWithRetryM` Just "pb"
555− shouldContainText "pb" p
556− WD.sendKeys "abc" input
557− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
558− shouldContainText "pb" p -- It won't be updated yet
559− pure (input, p)
560− checkHydrated (input, p) = do
561− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
562− shouldContainText "pbabc" p
563− pure ()
564− testWidget' checkStatic checkHydrated $ do
565− pb <- getPostBuild
566− e <- inputElement $ def & inputElementConfig_setValue .~ ("pb" <$ pb)
567− el "p" $ dynText $ _inputElement_value e
568− it "input event and (updated value) fire correctly when both setValue AND user updated value happen before switchover" $ runWD $ do
569− valRef <- newRef ([] :: [Text])
570− inputRef <- newRef ([] :: [Text])
571− let consRef ref a = liftIO $ atomicModifyRef ref $ \as -> (a:as, ())
572− checkStatic = do
573− input <- findElemWithRetry $ WD.ByTag "input"
574− p <- findElemWithRetry (WD.ByTag "p")
575− WD.attr input "value" `shouldBeWithRetryM` Just "pb"
576− shouldContainText "pb" p
577− WD.sendKeys "abc" input
578− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
579− shouldContainText "pb" p -- It won't be updated yet
580− readRef inputRef `shouldBeWithRetryM` [] -- Should never fire input ref during SSR
581− readRef valRef `shouldBeWithRetryM` ["pb"]
582− pure (input, p)
583− checkHydrated (input, p) = do
584− readRef inputRef `shouldBeWithRetryM` ["pbabc"]
585− readRef valRef `shouldBeWithRetryM` ["pbabc", "pb"]
586− WD.attr input "value" `shouldBeWithRetryM` Just "pbabc"
587− shouldContainText "pbabc" p
588− pure ()
589− testWidget' checkStatic checkHydrated $ do
590− liftIO $ writeRef valRef []
591− pb <- getPostBuild
592− e <- inputElement $ def & inputElementConfig_setValue .~ ("pb" <$ pb)
593− el "p" $ dynText $ _inputElement_value e
594− performEvent_ $ consRef valRef <$> updated (_inputElement_value e)
595− performEvent_ $ consRef inputRef <$> _inputElement_input e
596− describe "hydration/immediate" $ do
396+
397+ describe "hydration/immediate" $ session' $ do
597398 it "captures user input after switchover" $ runWD $ do
598399 inputRef :: IORef Text <- newRef ""
599400 let checkValue = do
@@ -673,31 +474,8 @@ tests withDebugging wdConfig caps _selenium = do
673474 names <- liftJSM $ traverse File.getName fs
674475 liftIO $ writeRef filesRef names
675476
676− session' "textAreaElement" $ do
677− describe "static renderer" $ do
678− it "sets value attribute" $ runWD $ do
679− let checkStatic = do
680− e <- findElemWithRetry $ WD.ByTag "textarea"
681− WD.attr e "value" `shouldBeWithRetryM` Just "test"
682− pure e
683− checkHydrated e = do
684− WD.attr e "value" `shouldBeWithRetryM` Just "test"
685− testWidget' checkStatic checkHydrated $ void $ textAreaElement $ def
686− & textAreaElementConfig_initialValue .~ "test"
687− it "updates value attribute at postBuild" $ runWD $ do
688− let checkStatic = do
689− e <- findElemWithRetry $ WD.ByTag "textarea"
690− WD.attr e "value" `shouldBeWithRetryM` Just "test-updated"
691− pure e
692− checkHydrated e = do
693− WD.attr e "value" `shouldBeWithRetryM` Just "test-updated"
694− testWidget' checkStatic checkHydrated $ do
695− pb <- getPostBuild
696− _ <- textAreaElement $ def
697− & textAreaElementConfig_initialValue .~ "test"
698− & textAreaElementConfig_setValue .~ ("test-updated" <$ pb)
699− pure ()
700− describe "hydration" $ do
477+ describe "textAreaElement" $ do
478+ describe "hydration" $ session' $ do
701479 it "doesn't wipe user input when switching over" $ runWD $ do
702480 inputRef <- newRef ("" :: Text)
703481 testWidget'
@@ -763,90 +541,8 @@ tests withDebugging wdConfig caps _selenium = do
763541 e <- textAreaElement $ def { _textAreaElementConfig_setValue = Just setValue' }
764542 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
765543 performEvent_ $ liftIO . writeRef valueRef <$> updated (value e)
766− it "fires _input event if the user altered the value before hydration" $ runWD $ do
767− textarea <- newRef ("" :: Text)
768− update <- newRef ("" :: Text)
769− let checkStatic = do
770− e <- findElemWithRetry $ WD.ByTag "textarea"
771− WD.attr e "value" `shouldBeWithRetryM` Just ""
772− WD.sendKeys "test" e
773− WD.attr e "value" `shouldBeWithRetryM` Just "test"
774− pure e
775− checkHydrated e = do
776− WD.attr e "value" `shouldBeWithRetryM` Just "test"
777− readRef textarea `shouldBeWithRetryM` "test"
778− readRef update `shouldBeWithRetryM` "test"
779− testWidget' checkStatic checkHydrated $ do
780− e <- textAreaElement def
781− performEvent_ $ liftIO . writeRef textarea <$> _textAreaElement_input e
782− performEvent_ $ liftIO . writeRef update <$> updated (_textAreaElement_value e)
783− it "does not fire _input event when the value is updated at postBuild" $ runWD $ do
784− textarea <- newRef (Nothing :: Maybe Text)
785− let checkStatic = do
786− e <- findElemWithRetry $ WD.ByTag "textarea"
787− WD.attr e "value" `shouldBeWithRetryM` Just "pb"
788− pure e
789− checkHydrated e = do
790− WD.attr e "value" `shouldBeWithRetryM` Just "pb"
791− readRef textarea `shouldBeWithRetryM` Nothing
792− testWidget' checkStatic checkHydrated $ do
793− pb <- getPostBuild
794− e <- textAreaElement $ def & textAreaElementConfig_setValue .~ ("pb" <$ pb)
795− performEvent_ $ liftIO . writeRef textarea . Just <$> _textAreaElement_input e
796− it "SSR produces correct DOM based on textAreaElement values when setValue happens at postBuild" $ runWD $ do
797− let checkBoth = do
798− textarea <- findElemWithRetry $ WD.ByTag "textarea"
799− WD.attr textarea "value" `shouldBeWithRetryM` Just "pb"
800− p <- findElemWithRetry (WD.ByTag "p")
801− shouldContainText "pb" p
802− testWidget checkBoth checkBoth $ do
803− pb <- getPostBuild
804− e <- textAreaElement $ def & textAreaElementConfig_setValue .~ ("pb" <$ pb)
805− el "p" $ dynText $ _textAreaElement_value e
806− it "does not fail when both setValue AND user updated value happen before switchover" $ runWD $ do
807− let checkStatic = do
808− textarea <- findElemWithRetry $ WD.ByTag "textarea"
809− h2_value <- findElemWithRetry (WD.ByTag "h2")
810− h3_input <- findElemWithRetry (WD.ByTag "h3")
811− WD.attr textarea "value" `shouldBeWithRetryM` Just "pb"
812− shouldContainText "pb" h2_value
813− shouldContainText "" h3_input
814− WD.sendKeys "abc" textarea
815− WD.attr textarea "value" `shouldBeWithRetryM` Just "pbabc"
816− shouldContainText "pb" h2_value
817− shouldContainText "" h3_input
818− pure (textarea, h2_value, h3_input)
819− checkHydrated (textarea, h2_value, h3_input) = do
820− WD.attr textarea "value" `shouldBeWithRetryM` Just "pbabc"
821− shouldContainText "pbabc" h3_input
822− shouldContainText "pbabc pb" h2_value
823− pure ()
824− testWidget' checkStatic checkHydrated $ do
825− pb <- getPostBuild
826− e <- textAreaElement $ def & textAreaElementConfig_setValue .~ ("pb" <$ pb)
827− el "h1" $ dynText $ _textAreaElement_value e
828− el "h2" $ dynText . fmap T.unwords <=< foldDyn (:) [] $ updated $ _textAreaElement_value e
829− el "h3" $ dynText . fmap T.unwords <=< foldDyn (:) [] $ _textAreaElement_input e
830− it "value is correct when both setValue AND user updated value happen before switchover" $ runWD $ do
831− let checkStatic = do
832− textarea <- findElemWithRetry $ WD.ByTag "textarea"
833− p <- findElemWithRetry (WD.ByTag "p")
834− WD.attr textarea "value" `shouldBeWithRetryM` Just "pb"
835− shouldContainText "pb" p
836− WD.sendKeys "abc" textarea
837− WD.attr textarea "value" `shouldBeWithRetryM` Just "pbabc"
838− shouldContainText "pb" p -- It won't be updated yet
839− pure (textarea, p)
840− checkHydrated (textarea, p) = do
841− WD.attr textarea "value" `shouldBeWithRetryM` Just "pbabc"
842− shouldContainText "pbabc" p
843− pure ()
844− testWidget' checkStatic checkHydrated $ do
845− pb <- getPostBuild
846− e <- textAreaElement $ def & textAreaElementConfig_setValue .~ ("pb" <$ pb)
847− el "p" $ dynText $ _textAreaElement_value e
848544
849− describe "hydration/immediate" $ do
545+ describe "hydration/immediate" $ session' $ do
850546 it "captures user input after switchover" $ runWD $ do
851547 inputRef :: IORef Text <- newRef ""
852548 let checkValue = do
@@ -888,13 +584,13 @@ tests withDebugging wdConfig caps _selenium = do
888584 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
889585 performEvent_ $ liftIO . writeRef valueRef <$> updated (value e)
890586
891− session' "selectElement" $ do
587+ describe "selectElement" $ do
892588 let options :: DomBuilder t m => m ()
893589 options = do
894590 elAttr "option" ("value" =: "one" <> "id" =: "one") $ text "one"
895591 elAttr "option" ("value" =: "two" <> "id" =: "two") $ text "two"
896592 elAttr "option" ("value" =: "three" <> "id" =: "three") $ text "three"
897− describe "hydration" $ do
593+ describe "hydration" $ session' $ do
898594 it "sets initial value correctly" $ runWD $ do
899595 inputRef <- newRef ("" :: Text)
900596 let setup = do
@@ -968,7 +664,7 @@ tests withDebugging wdConfig caps _selenium = do
968664 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
969665 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
970666
971− describe "hydration/immediate" $ do
667+ describe "hydration/immediate" $ session' $ do
972668 it "captures user input after switchover" $ runWD $ do
973669 inputRef :: IORef Text <- newRef ""
974670 let checkValue = do
@@ -1014,7 +710,7 @@ tests withDebugging wdConfig caps _selenium = do
1014710 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
1015711 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
1016712
1017− session' "prerender" $ do
713+ describe "prerender" $ session' $ do
1018714 it "works in simple case" $ runWD $ do
1019715 testWidget (checkBodyText "One") (checkBodyText "Two") $ do
1020716 prerender_ (text "One") (text "Two")
@@ -1083,7 +779,7 @@ tests withDebugging wdConfig caps _selenium = do
1083779 prerender_ (pure ()) (liftIO $ trigger "Client")
1084780 textNode $ TextNodeConfig "Initial" $ Just e
1085781
1086− session' "namespaces" $ do
782+ describe "namespaces" $ session' $ do
1087783 it "dyn can be nested in namespaced widget" $ runWD $ do
1088784 testWidget (pure ()) (checkTextInTag "svg" "one") $ do
1089785 let svgRootCfg = def
@@ -1092,7 +788,7 @@ tests withDebugging wdConfig caps _selenium = do
1092788 void $ element "svg" svgRootCfg $ do
1093789 dyn_ $ text "one" <$ pure ()
1094790
1095− session' "runWithReplace" $ do
791+ describe "runWithReplace" $ session' $ do
1096792 it "works" $ runWD $ do
1097793 replaceChan :: Chan Text <- liftIO newChan
1098794 let setup = findElemWithRetry $ WD.ByTag "div"
@@ -1266,9 +962,7 @@ tests withDebugging wdConfig caps _selenium = do
1266962 _ <- runWithReplace (text "inner1" *> comment "replace-end-0") $ text "inner2" <$ replace
1267963 text "|after"
1268964 void $ runWithReplace blank $ el "p" blank <$ replace -- Signal tag for end of test
1269− -- TODO This test actually causes a hydration failure, but it wasn't
1270− -- previously detected, so I've marked it pending
1271− xit "ignores missing ending bracketing comments" $ runWD $ do
965+ it "ignores missing ending bracketing comments" $ runWD $ do
1272966 replaceChan :: Chan () <- liftIO newChan
1273967 let
1274968 preSwitchover = do
@@ -1290,7 +984,7 @@ tests withDebugging wdConfig caps _selenium = do
1290984 _ <- runWithReplace (text "inner1") $ el "p" (text "inner2") <$ replace
1291985 text "|after"
1292986
1293− session' "traverseDMapWithKeyWithAdjust" $ do
987+ describe "traverseDMapWithKeyWithAdjust" $ session' $ do
1294988 let widget :: DomBuilder t m => DKey a -> Identity a -> m (Identity a)
1295989 widget k (Identity v) = elAttr "li" ("id" =: textKey k) $ do
1296990 elClass "span" "key" $ text $ textKey k
@@ -1393,7 +1087,7 @@ tests withDebugging wdConfig caps _selenium = do
13931087 (dmap, _evt) <- traverseDMapWithKeyWithAdjust widget keyMap $ leftmost [postBuildPatch <$ pb, replace]
13941088 liftIO $ dmap `H.shouldBe` keyMap
13951089
1396− session' "traverseIntMapWithKeyWithAdjust" $ do
1090+ describe "traverseIntMapWithKeyWithAdjust" $ session' $ do
13971091 let textKeyInt k = "key" <> T.pack (show k)
13981092 intMap = IntMap.fromList
13991093 [ (1, "one")
@@ -1500,7 +1194,7 @@ tests withDebugging wdConfig caps _selenium = do
15001194 (dmap, _evt) <- traverseIntMapWithKeyWithAdjust widget intMap $ leftmost [postBuildPatch <$ pb, replace]
15011195 liftIO $ dmap `H.shouldBe` intMap
15021196
1503− session' "traverseDMapWithKeyWithAdjustWithMove" $ do
1197+ describe "traverseDMapWithKeyWithAdjustWithMove" $ session' $ do
15041198 let widget :: DomBuilder t m => Key2 a -> Identity a -> m (Identity a)
15051199 widget k (Identity v) = elAttr "li" ("id" =: textKey2 k) $ do
15061200 elClass "span" "key" $ text $ textKey2 k
@@ -1580,8 +1274,8 @@ tests withDebugging wdConfig caps _selenium = do
15801274 (dmap, _evt) <- traverseDMapWithKeyWithAdjustWithMove widget initMap =<< triggerEventWithChan chan
15811275 liftIO $ assertEqual "DMap" initMap dmap
15821276
1583− session' "hydrating invalid HTML" $ do
1584− xit "can hydrate list in paragraph" $ runWD $ do
1277+ describe "hydrating invalid HTML" $ session' $ do
1278+ it "can hydrate list in paragraph" $ runWD $ do
15851279 let preSwitchover = do
15861280 checkBodyText "before\ninner\nafter"
15871281 -- Two <p> tags should be present
@@ -1598,8 +1292,7 @@ tests withDebugging wdConfig caps _selenium = do
15981292 shouldContainText "before\ninner\nafter" p1
15991293 elementShouldBeRemoved ol
16001294 elementShouldBeRemoved p2
1601− -- Don't fail fatally when hydration encounters the invalid DOM
1602− testWidgetDebug' False withDebugging preSwitchover check $ do
1295+ testWidget' preSwitchover check $ do
16031296 -- This is deliberately invalid HTML, the browser will interpret it as
16041297 -- <p>before</p><ol>inner</ol>after<p></p>
16051298 el "p" $ do
@@ -1610,7 +1303,7 @@ tests withDebugging wdConfig caps _selenium = do
16101303 -- TODO: This test presupposes the exact set of labels that "dropdown" places in the "value" fields to distinguish options.
16111304 -- This dependence on internal implementation details is undesirable in a test case, but seems fairly tricky to avoid.
16121305 -- It seems expedient for the time being to expect this test case to be updated, should those implementation details ever change.
1613− session' "dropdown" $ do
1306+ describe "dropdown" $ session' $ do
16141307 let doTest expectedOpts (initialValue :: Text) = do
16151308 let doCheck = do
16161309 es <- findElemsWithRetry $ WD.ByTag "option"
@@ -1725,12 +1418,11 @@ testWidgetStaticDebug
17251418 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
17261419 -- ^ Widget we are testing
17271420 -> WD b
1728−testWidgetStaticDebug withDebugging w = testWidgetDebug True withDebugging (void w) w
1421+testWidgetStaticDebug withDebugging w = testWidgetDebug withDebugging (void w) w
17291422
17301423-- | TODO: do something about JSExceptions not causing tests to fail
17311424testWidgetDebug
17321425 :: Bool
1733− -> Bool
17341426 -> WD ()
17351427 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
17361428 -> WD b
@@ -1738,16 +1430,12 @@ testWidgetDebug
17381430 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
17391431 -- ^ Widget we are testing
17401432 -> WD b
1741−testWidgetDebug hardFailure withDebugging beforeJS afterSwitchover =
1742− testWidgetDebug' hardFailure withDebugging beforeJS (const afterSwitchover)
1743−
1744−data HydrationFailedException = HydrationFailedException deriving Show
1745−instance Exception HydrationFailedException
1433+testWidgetDebug withDebugging beforeJS afterSwitchover =
1434+ testWidgetDebug' withDebugging beforeJS (const afterSwitchover)
17461435
17471436-- | TODO: do something about JSExceptions not causing tests to fail
17481437testWidgetDebug'
17491438 :: Bool
1750− -> Bool
17511439 -> WD a
17521440 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
17531441 -> (a -> WD b)
@@ -1755,7 +1443,7 @@ testWidgetDebug'
17551443 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
17561444 -- ^ Widget we are testing (contents of body)
17571445 -> WD b
1758−testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget = do
1446+testWidgetDebug' withDebugging beforeJS afterSwitchover bodyWidget = do
17591447 let putStrLnDebug :: MonadIO m => Text -> m ()
17601448 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
17611449 staticApp = do
@@ -1767,7 +1455,6 @@ testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget =
17671455 ((), html) <- liftIO $ renderStatic $ runHydratableT staticApp
17681456 putStrLnDebug "rendered static"
17691457 waitBeforeJS <- liftIO newEmptyMVar -- Empty until JS should be run
1770− onFailure <- if hardFailure then (`throwTo` HydrationFailedException) <$> liftIO myThreadId else pure $ pure ()
17711458 waitUntilSwitchover <- liftIO newEmptyMVar -- Empty until switchover
17721459 let entryPoint = do
17731460 putStrLnDebug "taking waitBeforeJS"
@@ -1779,7 +1466,7 @@ testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget =
17791466 liftIO $ putMVar waitUntilSwitchover ()
17801467 putStrLnDebug "put waitUntilSwitchover"
17811468 putStrLnDebug "running mainHydrationWidgetWithSwitchoverAction"
1782− mainHydrationWidgetWithSwitchoverActionWithFailure' onFailure switchOverAction blank bodyWidget
1469+ mainHydrationWidgetWithSwitchoverAction switchOverAction blank bodyWidget
17831470 putStrLnDebug "syncPoint after mainHydrationWidgetWithSwitchoverAction"
17841471 syncPoint
17851472 application <- liftIO $ jsaddleOr defaultConnectionOptions entryPoint $ \_ sendResponse -> do
reflex-dom-test-selenium/CHANGELOG.mddeleted−5
@@ -1,5 +0,0 @@
1−# Revision history for reflex-dom-core-selenium
2−
3−## 0.1.0.0 -- YYYY-mm-dd
4−
5−* First version. Released on an unsuspecting world.
reflex-dom-test-selenium/LICENSEdeleted−12
@@ -1,12 +0,0 @@
1−Copyright (c) 2020, Obsidian Systems LLC
2−All rights reserved.
3−
4−Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
5−
6−1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
7−
8−2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
9−
10−3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
11−
12−THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
reflex-dom-test-selenium/Setup.hsdeleted−2
@@ -1,2 +0,0 @@
1−import Distribution.Simple
2−main = defaultMain
reflex-dom-test-selenium/add-overrides.nixdeleted−20
@@ -1,20 +0,0 @@
1−{ nixpkgs }: testPackage:
2− nixpkgs.haskell.lib.overrideCabal testPackage
3− (drv: {
4−
5− # The headless browser run as part of the tests will exit without this
6− preBuild = ''
7− export HOME="$PWD"
8− '';
9−
10− testSystemDepends = with nixpkgs; (drv.testSystemDepends or []) ++ [
11− selenium-server-standalone which
12− chromium
13− nixpkgs.iproute
14− ];
15−
16− # The headless browser run as part of gc tests would hang/crash without this
17− preCheck = ''
18− export FONTCONFIG_PATH=${nixpkgs.fontconfig.out}/etc/fonts
19− '';
20− })
reflex-dom-test-selenium/reflex-dom-test-selenium.cabaldeleted−41
@@ -1,41 +0,0 @@
1−cabal-version: 1.24
2−Name: reflex-dom-test-selenium
3−Version: 0.0.0.1
4−Synopsis: Testing framework for selenium tests
5−Description:
6−License: BSD3
7−License-file: LICENSE
8−Author: Ryan Trinkle
9−Maintainer: ryan.trinkle@gmail.com
10−Stability: Experimental
11−Category: FRP, Web, GUI, HTML, Javascript, Reactive, Reactivity, User Interfaces, User-interface
12−Build-type: Simple
13−
14−library
15− hs-source-dirs: src
16− build-depends:
17− async,
18− base >= 4.7 && < 4.15,
19− bytestring == 0.10.*,
20− chrome-test-utils,
21− exceptions,
22− hspec-core,
23− hspec-webdriver >= 1.2.1,
24− http-types,
25− jsaddle >= 0.9.0.0 && < 0.10,
26− jsaddle-warp,
27− network,
28− process,
29− reflex-dom-core,
30− silently,
31− text == 1.2.*,
32− wai,
33− warp,
34− webdriver,
35− websockets
36−
37− exposed-modules:
38− Reflex.Dom.Test.Selenium
39−
40− default-language: Haskell98
41− ghc-options: -Wall -fwarn-tabs -funbox-strict-fields -O2 -ferror-spans -fspecialise-aggressively
reflex-dom-test-selenium/src/Reflex/Dom/Test/Selenium.hsdeleted−249
@@ -1,249 +0,0 @@
1−{-# LANGUAGE ConstraintKinds #-}
2−{-# LANGUAGE FlexibleContexts #-}
3−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
4−{-# LANGUAGE OverloadedStrings #-}
5−{-# LANGUAGE RankNTypes #-}
6−{-# LANGUAGE ScopedTypeVariables #-}
7−{-# LANGUAGE StandaloneDeriving #-}
8−{-# LANGUAGE TemplateHaskell #-}
9−
10−{-# OPTIONS_GHC -fno-warn-orphans #-}
11−
12−-- | Utilities for testing reflex-dom widgets with Selenium.
13−--
14−-- Any uses of the 'testWidget' functions will start a jsaddle warp server and
15−-- serve the given widget in an otherwise empty page. Webdriver commands can run
16−-- on the statically rendered page, and on the hydrated page.
17−module Reflex.Dom.Test.Selenium
18− ( TestWidget
19− , TestWidgetConfig (..)
20− , testWidget, testWidget', testWidgetStatic, testWidgetHydrated
21− , withSeleniumSpec
22− , embedSpec
23− , SeleniumSetupConfig (..)
24− ) where
25−
26−import Control.Concurrent (threadDelay, newEmptyMVar, takeMVar, putMVar)
27−import Control.Exception (throwIO)
28−import Control.Monad (when)
29−import Control.Monad.Catch (MonadMask, handle)
30−import Control.Monad.Fix (MonadFix)
31−import Control.Monad.IO.Class (MonadIO, liftIO)
32−import Data.Text (Text)
33−import Language.Javascript.JSaddle
34−import Language.Javascript.JSaddle.Warp
35−import Network.HTTP.Types (status200)
36−import Network.Socket (PortNumber)
37−import Network.Wai (responseLBS)
38−import Network.WebSockets (defaultConnectionOptions)
39−import Reflex.Dom.Core
40−import System.IO (stderr)
41−import System.IO.Silently (hSilence)
42−import System.Process (std_in, std_out, std_err, createProcess, proc, StdStream (..), terminateProcess)
43−import Test.Hspec.WebDriver (Spec, SpecWith, WdTestSession, sessionWith, using)
44−import Test.Util.ChromeFlags
45−import Test.Util.UnshareNetwork
46−import Test.WebDriver (WD)
47−
48−import qualified Control.Concurrent.Async as Async
49−import qualified Data.ByteString.Lazy as LBS
50−import qualified Data.Text as T
51−import qualified Data.Text.Encoding as TE
52−import qualified Network.Wai.Handler.Warp as Warp
53−import qualified Test.Hspec.Core.Spec as Hspec
54−import qualified Test.WebDriver as WD
55−import qualified Test.WebDriver.Capabilities as WD
56−
57−deriving instance MonadMask WD
58−
59−data SeleniumSetupConfig = SeleniumSetupConfig
60− { _seleniumSetupConfig_chromiumPath :: FilePath
61− -- ^ Path to the chromium executable
62− , _seleniumSetupConfig_headless :: Bool
63− -- ^ True means that the browser is invoked in headless mode, False means that
64− -- the user can see the interaction happening on the browser (useful for debugging).
65− , _seleniumSetupConfig_seleniumPort :: PortNumber
66− -- ^ The port number used by selenium
67− }
68−
69−-- | Setup a selenium server and use it to run some hspec tests.
70−--
71−-- withSeleniumSpec config $ \runSession -> hspec $ do
72−-- describe "tests using webdriver session" $ runSession $ do
73−-- webdriver tests here
74−withSeleniumSpec :: SeleniumSetupConfig -> ((forall multi. SpecWith (WdTestSession multi) -> Spec) -> IO a) -> IO a
75−withSeleniumSpec config runSpec = do
76− liftIO $ handle (\(_ :: IOError) -> return ()) $ unshareNetork -- If we run into an exception with sandboxing, just don't bother
77− withSandboxedChromeFlags (_seleniumSetupConfig_headless config) $ \chromeFlags -> do
78− withSeleniumServer (_seleniumSetupConfig_seleniumPort config) $ do
79− let browserPath = T.strip $ T.pack $ _seleniumSetupConfig_chromiumPath config
80− when (T.null browserPath) $ fail "No browser found"
81− let wdConfig = WD.defaultConfig { WD.wdPort = fromIntegral $ _seleniumSetupConfig_seleniumPort config }
82− chromeCaps' = WD.getCaps $ chromeConfig browserPath chromeFlags
83− runSpec $ sessionWith wdConfig "" . using [(chromeCaps', "chrome")]
84−
85−startSeleniumServer :: PortNumber -> IO (IO ())
86−startSeleniumServer port = do
87− (_,_,_,ph) <- createProcess $ (proc "selenium-server" ["-port", show port])
88− { std_in = NoStream
89− , std_out = NoStream
90− , std_err = NoStream
91− }
92− return $ terminateProcess ph
93−
94−withSeleniumServer :: PortNumber -> IO a -> IO a
95−withSeleniumServer port f = bracket (startSeleniumServer port) id $ \_ -> do
96− threadDelay $ 1000 * 1000 * 2 -- TODO poll or wait on a a signal to block on
97− f
98−
99−chromeConfig :: Text -> [Text] -> WD.WDConfig
100−chromeConfig fp flags =
101− WD.useBrowser
102− (WD.chrome { WD.chromeBinary = Just $ T.unpack fp, WD.chromeOptions = T.unpack <$> flags })
103− WD.defaultConfig
104−
105−--------------------------------------------------------------------------------
106−-- Function to test widgets
107−--------------------------------------------------------------------------------
108−
109−-- | The environment in which your widgets can be tested
110−type TestWidget js t m =
111− (DomBuilder t m, MonadHold t m, PostBuild t m
112− , Prerender js t m, PerformEvent t m, TriggerEvent t m
113− , MonadFix m, MonadIO (Performable m), MonadIO m)
114−
115−-- | Configuration of individual tests
116−data TestWidgetConfig = TestWidgetConfig
117− { _testWidgetConfig_debug :: Bool
118− -- ^ If this flag is set to True, during the test we will emit debug messages
119− , _testWidgetConfig_headWidget :: (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
120− -- ^ We can add widgets here that will be included in the head of the page
121− -- (useful for example to include external js libraries in the tests)
122− , _testWidgetConfig_jsaddlePort :: PortNumber
123− -- ^ Port used by the jsaddle server
124− }
125−
126−-- | Test a widget by running some webdriver commands before and after
127−-- hydration.
128−testWidget
129− :: TestWidgetConfig
130− -> WD a
131− -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
132− -> WD b
133− -- ^ Webdriver commands to run after hydration switchover
134− -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
135− -- ^ Widget we are testing (contents of body)
136− -> WD b
137−testWidget cfg before after widget = testWidget' cfg before (const after) widget
138−
139−-- | Test a widget by running some webdriver commands before hydration (on the
140−-- statically rendered page).
141−testWidgetStatic
142− :: TestWidgetConfig
143− -> WD a
144− -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
145− -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
146− -- ^ Widget we are testing (contents of body)
147− -> WD a
148−testWidgetStatic cfg before widget = testWidget' cfg before pure widget
149−
150−-- | Test a widget by running some webdriver commands after hydration.
151−testWidgetHydrated
152− :: TestWidgetConfig
153− -> WD b
154− -- ^ Webdriver commands to run after hydration switchover
155− -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
156− -- ^ Widget we are testing (contents of body)
157− -> WD b
158−testWidgetHydrated cfg after widget = testWidget' cfg (pure ()) (const after) widget
159−
160−-- | Test a widget by running some webdriver commands before and after
161−-- hydration. Like 'testWidget', but you can use the result of the webdriver
162−-- commands from before hydration in the post hydration test.
163−testWidget'
164− :: TestWidgetConfig
165− -> WD a
166− -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
167− -> (a -> WD b)
168− -- ^ Webdriver commands to run after hydration switchover
169− -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
170− -- ^ Widget we are testing (contents of body)
171− -> WD b
172−testWidget' (TestWidgetConfig withDebugging headWidget jsaddlePort) beforeJS afterSwitchover bodyWidget = do
173− let putStrLnDebug :: MonadIO m => Text -> m ()
174− putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
175− staticApp = do
176− el "head" $ headWidget
177− el "body" $ do
178− bodyWidget
179− el "script" $ text $ TE.decodeUtf8 $ LBS.toStrict $ jsaddleJs False
180− putStrLnDebug "rendering static"
181− ((), html) <- liftIO $ renderStatic $ runHydratableT staticApp
182− putStrLnDebug "rendered static"
183− waitBeforeJS <- liftIO newEmptyMVar -- Empty until JS should be run
184− waitUntilSwitchover <- liftIO newEmptyMVar -- Empty until switchover
185− let entryPoint = do
186− putStrLnDebug "taking waitBeforeJS"
187− liftIO $ takeMVar waitBeforeJS
188− let switchOverAction = do
189− putStrLnDebug "switchover syncPoint"
190− syncPoint
191− putStrLnDebug "putting waitUntilSwitchover"
192− liftIO $ putMVar waitUntilSwitchover ()
193− putStrLnDebug "put waitUntilSwitchover"
194− putStrLnDebug "running mainHydrationWidgetWithSwitchoverAction"
195− mainHydrationWidgetWithSwitchoverAction switchOverAction blank bodyWidget
196− putStrLnDebug "syncPoint after mainHydrationWidgetWithSwitchoverAction"
197− syncPoint
198− application <- liftIO $ jsaddleOr defaultConnectionOptions entryPoint $ \_ sendResponse -> do
199− putStrLnDebug "sending response"
200− r <- sendResponse $ responseLBS status200 [] $ "<!doctype html>\n" <> LBS.fromStrict html
201− putStrLnDebug "sent response"
202− return r
203− waitJSaddle <- liftIO newEmptyMVar
204− let settings = foldr ($) Warp.defaultSettings
205− [ Warp.setPort $ fromIntegral $ toInteger jsaddlePort
206− , Warp.setBeforeMainLoop $ do
207− putStrLnDebug "putting waitJSaddle"
208− putMVar waitJSaddle ()
209− putStrLnDebug "put waitJSaddle"
210− ]
211− -- hSilence to get rid of ConnectionClosed logs
212− silenceIfNotDebugging = if withDebugging then id else hSilence [stderr]
213− jsaddleWarp = silenceIfNotDebugging $ Warp.runSettings settings application
214− withAsync' jsaddleWarp $ do
215− putStrLnDebug "taking waitJSaddle"
216− liftIO $ takeMVar waitJSaddle
217− putStrLnDebug "opening page"
218− WD.openPage $ "http://localhost:" <> show jsaddlePort
219− putStrLnDebug "running beforeJS"
220− a <- beforeJS
221− putStrLnDebug "putting waitBeforeJS"
222− liftIO $ putMVar waitBeforeJS ()
223− putStrLnDebug "taking waitUntilSwitchover"
224− liftIO $ takeMVar waitUntilSwitchover
225− putStrLnDebug "running afterSwitchover"
226− afterSwitchover a
227−
228−--------------------------------------------------------------------------------
229−-- Utilities
230−--------------------------------------------------------------------------------
231−
232−-- | Embed a different spec type by evaluating it directly.
233−embedSpec :: (Hspec.Example a, MonadIO m) => Hspec.Arg a -> a -> m ()
234−embedSpec arg spec = liftIO $ do
235− Hspec.Result _info status <- Hspec.evaluateExample
236− spec
237− Hspec.defaultParams
238− (\actionWith -> actionWith arg)
239− (\_ -> pure ())
240− case status of
241− Hspec.Success -> pure ()
242− Hspec.Pending _ _ -> pure () -- should not happen
243− failure -> throwIO failure
244−
245−withAsync' :: (MonadIO m, MonadMask m) => IO a -> m b -> m b
246−withAsync' f g = bracket
247− (liftIO $ Async.async f)
248− (liftIO . Async.uninterruptibleCancel)
249− (const g)
reflex-dom/ChangeLog.md−8
@@ -1,13 +1,5 @@
11# Revision history for reflex-dom
22
3−## 0.6.1.0-r1
4−
5−* Loosen reflex-dom-core version bounds
6−
7−## 0.6.1.0
8−
9−* Update for new dependent-map and dependent-sum (after the "some" package split)
10−
113## 0.6.0.0
124
135* ([#379](https://github.com/reflex-frp/reflex-dom/pull/379)) Re-export all modules from `reflex-dom-core`. The newly re-exported modules are:
reflex-dom/LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2020, Obsidian Systems LLC
1+Copyright (c) 2015, Obsidian Systems LLC
22All rights reserved.
33
44Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
reflex-dom/reflex-dom.cabal+5−9
@@ -1,12 +1,8 @@
11cabal-version: 1.24
22Name: reflex-dom
3−Version: 0.6.1.0
3+Version: 0.6.0.0
44Synopsis: Functional Reactive Web Apps with Reflex
55Description:
6− Web applications without callbacks or side-effects.
7− Reflex-DOM brings the power of functional reactive programming (FRP) to the web.
8− Build HTML and other Document Object Model (DOM) data with a pure functional interface.
9− .
106 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
117 .
128 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
@@ -61,7 +57,7 @@ library
6157 hs-source-dirs: src-android
6258 other-modules: Reflex.Dom.Android.MainWidget
6359 build-depends:
64− aeson >= 1.4 && < 1.6,
60+ aeson >= 1.4 && < 1.5,
6561 android-activity == 0.1.*,
6662 data-default == 0.7.*,
6763 jsaddle >= 0.9.6 && < 0.10
@@ -71,10 +67,10 @@ library
7167 cpp-options: -DANDROID
7268 build-tools: hsc2hs
7369 build-depends:
74− base >= 4.7 && < 4.15,
70+ base >= 4.7 && < 4.14,
7571 bytestring == 0.10.*,
76− reflex >= 0.8 && < 0.9,
77− reflex-dom-core >= 0.6.1.0 && <0.7,
72+ reflex >= 0.6.2 && < 0.8,
73+ reflex-dom-core == 0.6.0.0,
7874 text == 1.2.*
7975 if !impl(ghcjs)
8076 if flag(use-warp) && (os(linux) || os(osx))
test/prebuild.hsnew file+127
@@ -0,0 +1,127 @@
1+{-# LANGUAGE CPP #-}
2+{-# LANGUAGE OverloadedStrings #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
4+{-# LANGUAGE TypeFamilies #-}
5+{-# LANGUAGE LambdaCase #-}
6+{-# LANGUAGE FlexibleInstances #-}
7+{-# LANGUAGE MultiParamTypeClasses #-}
8+import Control.Monad
9+import Control.Monad.Identity
10+import Control.Monad.Trans
11+import Reflex.Dom
12+import qualified Data.Text as T
13+import Control.Concurrent
14+
15+import Control.Monad.State.Strict
16+import Data.Functor.Misc
17+import Data.Monoid
18+import Data.Word
19+import qualified Data.Map as Map
20+import qualified Data.Dependent.Map as DMap
21+import Data.Dependent.Sum
22+import qualified Reflex.Patch.DMapWithMove as PatchDMapWithMove
23+
24+main :: IO ()
25+main = mainWidget w
26+
27+w :: forall t m. (MonadWidget t m, DomRenderHook t m, MountableDomBuilder t m) => m ()
28+w = do
29+ let slow :: forall m'. (MonadWidget t m', DomRenderHook t m') => m' ()
30+ {-
31+ performEventChain = do
32+ postBuild <- delay 0 =<< getPostBuild
33+ rec let maxN = 10000
34+ n = leftmost [0 <$ postBuild, ffilter (<=maxN) $ succ <$> n']
35+ n' <- performEvent $ return <$> n
36+ pausedUntil $ ffilter (==maxN) n'
37+ _ <- widgetHold (text "Starting") $ text . T.pack . show <$> n
38+ return ()
39+ -}
40+-- {- Many dyns
41+ slow = elAttr "div" ("style" =: "position:relative;width:256px;height:256px") $ go maxDepth
42+ where maxDepth = 6 :: Int
43+ go 0 = blank
44+ go n = void $ dyn $ pure $ do
45+ let bgcolor = "rgba(0,0,0," <> T.pack (show (1 - (fromIntegral n / fromIntegral maxDepth) :: Double)) <> ")"
46+ s pos = pos <> ";position:absolute;border:1px solid white;background-color:" <> bgcolor
47+ elAttr "div" ("style" =: s "left:0;right:50%;top:0;bottom:50%") $ go $ pred n
48+ elAttr "div" ("style" =: s "left:50%;right:0;top:0;bottom:50%") $ go $ pred n
49+ elAttr "div" ("style" =: s "left:50%;right:0;top:50%;bottom:0") $ go $ pred n
50+ elAttr "div" ("style" =: s "left:0;right:50%;top:50%;bottom:0") $ go $ pred n
51+-- -}
52+ {- Many elDynAttrs
53+ slow = do
54+ let size = 64
55+ replicateM_ size $ elAttr "div" ("style" =: ("height:4px;width:" <> T.pack (show (size*4)) <> "px;line-height:0;background-color:gray")) $ do
56+ replicateM_ size $ elDynAttr "div" (pure $ "style" =: "display:inline-block;width:4px;height:4px;background-color:black") blank
57+ -}
58+ {- Many dynTexts
59+ slow = el "table" $ do
60+ let size = 64
61+ replicateM_ size $ el "tr" $ do
62+ replicateM_ size $ el "td" $ do
63+ dynText $ pure "."
64+ -}
65+ {- Many simultaneous performEvents
66+ slow = do
67+ postBuild <- getPostBuild
68+ replicateM_ ((2 :: Int) ^ (14 :: Int)) $ performEvent_ $ return () <$ postBuild
69+ done <- performEvent $ return () <$ postBuild
70+ _ <- widgetHold (text "Doing performEvent") $ text "Done" <$ done
71+ return ()
72+ -}
73+ {-
74+ slow = do
75+ postBuild <- getPostBuild
76+ postBuild' <- performEvent . (return () <$) =<< performEvent . (return () <$) =<< getPostBuild
77+ let f x = Map.fromList [(n, x) | n <- [1 :: Int .. 4096]]
78+ listHoldWithKey (f False) (f (Just True) <$ postBuild') $ \k -> \case
79+ False -> do
80+ text "X "
81+ notReadyUntil =<< getPostBuild
82+ True -> do
83+ text ". "
84+ return ()
85+ -}
86+ {-
87+ slow = do
88+ let f :: forall a. EitherTag () () a -> Const2 () () a -> m' (Const2 () () a)
89+ f _ (Const2 ()) = do
90+ notReadyUntil =<< delay 0.5 =<< getPostBuild
91+ text "Done"
92+ return $ Const2 ()
93+ postBuild <- getPostBuild
94+ traverseDMapWithKeyWithAdjustWithMove f (DMap.singleton LeftTag $ Const2 ()) $ (PatchDMapWithMove.moveDMapKey LeftTag RightTag) <$ postBuild
95+ return ()
96+ -}
97+ {-
98+ slow = do
99+ let h x = do
100+ liftIO $ putStrLn "render hook"
101+ result <- x
102+ liftIO $ putStrLn "render hook done"
103+ return result
104+ f :: forall a. Const2 () () a -> Identity a -> m' (Identity a)
105+ f (Const2 ()) (Identity ()) = do
106+ liftIO $ putStrLn "f"
107+ widgetHold notReady . (blank <$) =<< delay 0.1 =<< getPostBuild
108+ liftIO $ putStrLn "f done"
109+ return $ Identity ()
110+ withRenderHook h $ do
111+ postBuild <- getPostBuild
112+ _ <- traverseDMapWithKeyWithAdjust f mempty $ PatchDMap (DMap.singleton (Const2 () :: Const2 () () ()) (ComposeMaybe $ Just $ Identity ())) <$ postBuild
113+ return ()
114+ -}
115+ el "div" $ do
116+ draw <- button "Draw"
117+ widgetHold blank $ ffor draw $ \_ -> do
118+ _ <- untilReady (text "Loading...") slow
119+ return ()
120+ return ()
121+
122+#ifdef EXPERIMENTAL_DEPENDENT_SUM_INSTANCES
123+instance {-# INCOHERENT #-} (Show (f a), Show (f b)) => ShowTag (EitherTag a b) f where
124+ showTagToShow e _ = case e of
125+ LeftTag -> id
126+ RightTag -> id
127+#endif