on 01685d0 help sign in
.github/workflows/haskell.ymldeleted−47
since splitsnapshots
unifiedsplit
@@ -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 @@
1## [Reflex-DOM](https://reflex-frp.org)
1## [Reflex-DOM](https://reflex-frp.org)
2
2
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)
4
4
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
6
6
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).
8
10
9**Visit https://reflex-frp.org/ for more information, tutorials, documentation and [examples](https://examples.reflex-frp.org/).**
11**Visit https://reflex-frp.org/ for more information, tutorials, documentation and [examples](https://examples.reflex-frp.org/).**
10
12
11### Additional resources
13### Additional resources
14+[Get started with Reflex](https://github.com/reflex-frp/reflex-platform)
15+
16+[/r/reflexfrp](https://www.reddit.com/r/reflexfrp)
12
17
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)
19
19
20### Hacking
20### Hacking
21
21
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/
1+packages: chrome-test-utils, reflex-dom-core, reflex-dom, reflex-dom-test-selenium
6−
7−source-repository-package
8− type: git
9− location: https://github.com/dfordivam/hspec-webdriver-clone
10− tag: 0d748b7bb7cd74dce0a55a1ec86b01dbb8a71cd8
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
2All rights reserved.
2All rights reserved.
3
3
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
4Redistribution 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 @@
1Name: chrome-test-utils
1Name: chrome-test-utils
2−Version: 0.5
2+Version: 0.4
3Synopsis: Utilities to write headless Chromium tests
3Synopsis: Utilities to write headless Chromium tests
4License: BSD3
4License: BSD3
5License-file: LICENSE
5License-file: LICENSE
chrome-test-utils/src/Test/Util/UnshareNetwork.hs+2−2
@@ -4,8 +4,8 @@ import System.Linux.Namespaces
4import System.Posix
4import System.Posix
5import System.Process
5import System.Process
6
6
7−unshareNetwork :: IO ()
7+unshareNetork :: IO ()
8−unshareNetwork = do
8+unshareNetork = do
9 uid <- getEffectiveUserID
9 uid <- getEffectiveUserID
10 unshare [User, Network]
10 unshare [User, Network]
11 writeUserMappings Nothing [UserMapping 0 uid 1]
11 writeUserMappings Nothing [UserMapping 0 uid 1]
dep/reflex-platform/default.nix+6−1
@@ -1,2 +1,7 @@
1# DO NOT HAND-EDIT THIS FILE
1# 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 @@
1{
1{
2 "owner": "reflex-frp",
2 "owner": "reflex-frp",
3 "repo": "reflex-platform",
3 "repo": "reflex-platform",
4− "branch": "aa-bump-some",
4+ "branch": "master",
5− "private": false,
5+ "rev": "510b990d0b11f0626afbec5fe8575b5b2395391b",
6− "rev": "fd5acecb50474f795734db9fb924cc3b2fd2b508",
6+ "sha256": "09cmahsbxr0963wq171c7j139iyzz49hramr4v9nsf684wcwkngv"
7− "sha256": "0wsdd67g42klsf9n3pxb3pndjdz36nzf8gp7pfm8j6nyyy2qribk"
8}
7}
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 @@
1# Revision history for reflex-dom-core
1# Revision history for reflex-dom-core
2
2
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−
22## 0.6.0.0
3## 0.6.0.0
23
4
24* ([#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`.
5* ([#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
2All rights reserved.
2All rights reserved.
3
3
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
reflex-dom-core/reflex-dom-core.cabal+13−29
@@ -1,12 +1,8 @@
1cabal-version: 1.24
1cabal-version: 1.24
2Name: reflex-dom-core
2Name: reflex-dom-core
3−Version: 0.6.2.1
3+Version: 0.6.0.0
4Synopsis: Functional Reactive Web Apps with Reflex
4Synopsis: Functional Reactive Web Apps with Reflex
5Description:
5Description:
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− .
10 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
6 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
11 .
7 .
12 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
8 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
@@ -54,32 +50,22 @@ flag split-these
54 manual: False
50 manual: False
55 default: True
51 default: True
56
52
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−
67library
53library
68 hs-source-dirs: src
54 hs-source-dirs: src
69 build-depends:
55 build-depends:
70− aeson >= 0.8 && < 1.6,
56+ aeson >= 0.8 && < 1.5,
71− base >= 4.7 && < 4.15,
57+ base >= 4.7 && < 4.14,
72 bifunctors >= 4.2 && < 6,
58 bifunctors >= 4.2 && < 6,
73− bimap >= 0.3 && < 0.5,
59+ bimap >= 0.3 && < 0.4,
74 blaze-builder >= 0.4.1 && < 0.5,
60 blaze-builder >= 0.4.1 && < 0.5,
75 bytestring == 0.10.*,
61 bytestring == 0.10.*,
76 case-insensitive < 1.3,
62 case-insensitive < 1.3,
77 containers >= 0.6 && < 0.7,
63 containers >= 0.6 && < 0.7,
78− constraints >= 0.9 && < 0.13,
64+ constraints >= 0.9 && < 0.12,
79 contravariant >= 1.4 && < 1.6,
65 contravariant >= 1.4 && < 1.6,
80 data-default >= 0.5 && < 0.8,
66 data-default >= 0.5 && < 0.8,
81− dependent-map >= 0.3 && < 0.5,
67+ dependent-map >= 0.3 && < 0.4,
82− dependent-sum >= 0.6 && < 0.8,
68+ dependent-sum >= 0.6 && < 0.7,
83 dependent-sum-template >= 0.1 && < 0.2,
69 dependent-sum-template >= 0.1 && < 0.2,
84 directory >= 1.2 && < 1.4,
70 directory >= 1.2 && < 1.4,
85 exception-transformers == 0.4.*,
71 exception-transformers == 0.4.*,
@@ -93,7 +79,7 @@ library
93 primitive >= 0.5 && < 0.8,
79 primitive >= 0.5 && < 0.8,
94 random >= 1.1 && < 1.2,
80 random >= 1.1 && < 1.2,
95 ref-tf == 0.4.*,
81 ref-tf == 0.4.*,
96− reflex >= 0.8 && < 0.9,
82+ reflex >= 0.6.2 && < 0.8,
97 semigroups >= 0.16 && < 0.20,
83 semigroups >= 0.16 && < 0.20,
98 stm >= 2.4 && < 2.6,
84 stm >= 2.4 && < 2.6,
99 text == 1.2.*,
85 text == 1.2.*,
@@ -114,7 +100,7 @@ library
114 if flag(split-these)
100 if flag(split-these)
115 build-depends:
101 build-depends:
116 semialign >= 1 && < 1.2,
102 semialign >= 1 && < 1.2,
117− these >= 1 && < 1.2
103+ these >= 1 && < 1.1
118 else
104 else
119 build-depends:
105 build-depends:
120 these >= 0.4 && < 0.9
106 these >= 0.4 && < 0.9
@@ -169,16 +155,14 @@ library
169 if flag(use-template-haskell)
155 if flag(use-template-haskell)
170 build-depends:
156 build-depends:
171 dependent-sum-template >= 0.1 && < 0.2,
157 dependent-sum-template >= 0.1 && < 0.2,
172− template-haskell >= 2.12.0 && < 2.17
158+ template-haskell >= 2.12.0 && < 2.16
173 other-extensions: TemplateHaskell
159 other-extensions: TemplateHaskell
174 cpp-options: -DUSE_TEMPLATE_HASKELL
160 cpp-options: -DUSE_TEMPLATE_HASKELL
175 other-modules:
161 other-modules:
176 Reflex.Dom.Builder.Class.TH
162 Reflex.Dom.Builder.Class.TH
177
163
178test-suite hlint
164test-suite hlint
179− build-depends:
165+ build-depends: base, hlint
180− base,
181− hlint >= 2.0 && < 4.0
182 hs-source-dirs: test
166 hs-source-dirs: test
183 main-is: hlint.hs
167 main-is: hlint.hs
184 type: exitcode-stdio-1.0
168 type: exitcode-stdio-1.0
@@ -230,7 +214,7 @@ test-suite hydration
230 main-is: hydration.hs
214 main-is: hydration.hs
231 type: exitcode-stdio-1.0
215 type: exitcode-stdio-1.0
232 default-language: Haskell98
216 default-language: Haskell98
233− if !os(linux) || !arch(x86_64) || flag(profile-reflex) || !flag(hydration-tests)
217+ if !os(linux) || !arch(x86_64) || flag(profile-reflex)
234 buildable: False
218 buildable: False
235
219
236-- broken test on base 4.11 & ghc 8.4.3
220-- broken test on base 4.11 & ghc 8.4.3
@@ -250,7 +234,7 @@ test-suite gc
250 main-is: gc.hs
234 main-is: gc.hs
251 type: exitcode-stdio-1.0
235 type: exitcode-stdio-1.0
252 default-language: Haskell98
236 default-language: Haskell98
253− if !os(linux) || !arch(x86_64) || !flag(gc-tests)
237+ if !os(linux) || !arch(x86_64)
254 buildable: False
238 buildable: False
255
239
256source-repository head
240source-repository head
reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−10
@@ -9,12 +9,11 @@
9{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9{-# LANGUAGE GeneralizedNewtypeDeriving #-}
10#if !MIN_VERSION_base(4,9,0)
10#if !MIN_VERSION_base(4,9,0)
11{-# LANGUAGE ImpredicativeTypes #-}
11{-# LANGUAGE ImpredicativeTypes #-}
12−#else
13−{-# LANGUAGE Rank2Types #-} -- Implied by ImpredicativeTypes
14#endif
12#endif
15{-# LANGUAGE LambdaCase #-}
13{-# LANGUAGE LambdaCase #-}
16{-# LANGUAGE OverloadedStrings #-}
14{-# LANGUAGE OverloadedStrings #-}
17{-# LANGUAGE PolyKinds #-}
15{-# LANGUAGE PolyKinds #-}
16+{-# LANGUAGE Rank2Types #-}
18{-# LANGUAGE RecursiveDo #-}
17{-# LANGUAGE RecursiveDo #-}
19{-# LANGUAGE ScopedTypeVariables #-}
18{-# LANGUAGE ScopedTypeVariables #-}
20{-# LANGUAGE StandaloneDeriving #-}
19{-# LANGUAGE StandaloneDeriving #-}
@@ -745,11 +744,3 @@ instance HasDocument m => HasDocument (DynamicWriterT t w m)
745instance HasDocument m => HasDocument (PostBuildT t m)
744instance HasDocument m => HasDocument (PostBuildT t m)
746instance HasDocument m => HasDocument (RequesterT t request response m)
745instance HasDocument m => HasDocument (RequesterT t request response m)
747instance HasDocument m => HasDocument (QueryT t q m)
746instance 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+19−59
@@ -2,6 +2,7 @@
2{-# LANGUAGE CPP #-}
2{-# LANGUAGE CPP #-}
3{-# LANGUAGE ConstraintKinds #-}
3{-# LANGUAGE ConstraintKinds #-}
4{-# LANGUAGE DataKinds #-}
4{-# LANGUAGE DataKinds #-}
5+{-# LANGUAGE DeriveFunctor #-}
5{-# LANGUAGE DeriveTraversable #-}
6{-# LANGUAGE DeriveTraversable #-}
6{-# LANGUAGE EmptyDataDecls #-}
7{-# LANGUAGE EmptyDataDecls #-}
7{-# LANGUAGE FlexibleContexts #-}
8{-# LANGUAGE FlexibleContexts #-}
@@ -48,7 +49,6 @@ module Reflex.Dom.Builder.Immediate
48 , HydrationMode (..)
49 , HydrationMode (..)
49 , HydrationRunnerT (..)
50 , HydrationRunnerT (..)
50 , runHydrationRunnerT
51 , runHydrationRunnerT
51− , runHydrationRunnerTWithFailure
52 , ImmediateDomBuilderT
52 , ImmediateDomBuilderT
53 , runHydrationDomBuilderT
53 , runHydrationDomBuilderT
54 , getHydrationMode
54 , getHydrationMode
@@ -135,13 +135,11 @@ import Data.Functor.Compose
135import Data.Functor.Constant
135import Data.Functor.Constant
136import Data.Functor.Misc
136import Data.Functor.Misc
137import Data.Functor.Product
137import Data.Functor.Product
138−import Data.GADT.Compare (GCompare)
139import Data.IORef
138import Data.IORef
140import Data.IntMap.Strict (IntMap)
139import Data.IntMap.Strict (IntMap)
141import Data.Maybe
140import Data.Maybe
142import Data.Monoid ((<>))
141import Data.Monoid ((<>))
143import Data.Some (Some(..))
142import Data.Some (Some(..))
144−import Data.GADT.Compare (GCompare)
145import Data.String (IsString)
143import Data.String (IsString)
146import Data.Text (Text)
144import Data.Text (Text)
147import Foreign.JavaScript.Internal.Utils
145import Foreign.JavaScript.Internal.Utils
@@ -294,21 +292,12 @@ localRunner (HydrationRunnerT m) s parent = do
294runHydrationRunnerT
292runHydrationRunnerT
295 :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m))
293 :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m))
296 => HydrationRunnerT t m a -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
294 => 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
295+runHydrationRunnerT (HydrationRunnerT m) s parent events = flip runDomRenderHookT events $ flip runReaderT parent $ do
304 (a, s') <- runStateT m (HydrationState s False)
296 (a, s') <- runStateT m (HydrationState s False)
305 traverse_ removeSubsequentNodes $ _hydrationState_previousNode s'
297 traverse_ removeSubsequentNodes $ _hydrationState_previousNode s'
306 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."
298 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
308 pure a
299 pure a
309
300
310−
311−
312instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydrationRunnerT t m) where
301instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydrationRunnerT t m) where
313 {-# INLINABLE newEventWithTrigger #-}
302 {-# INLINABLE newEventWithTrigger #-}
314 newEventWithTrigger = lift . newEventWithTrigger
303 newEventWithTrigger = lift . newEventWithTrigger
@@ -332,7 +321,7 @@ instance (Reflex t, MonadFix m) => DomRenderHook t (HydrationRunnerT t m) where
332-- done *before* the switchover to immediate mode - this is most likely some
321-- done *before* the switchover to immediate mode - this is most likely some
333-- form of 'hold' which we want to remove after hydration is done
322-- form of 'hold' which we want to remove after hydration is done
334{-# INLINABLE addHydrationStepWithSetup #-}
323{-# INLINABLE addHydrationStepWithSetup #-}
335−addHydrationStepWithSetup :: MonadIO m => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m ()
324+addHydrationStepWithSetup :: (Adjustable t m, MonadIO m) => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m ()
336addHydrationStepWithSetup setup f = getHydrationMode >>= \case
325addHydrationStepWithSetup setup f = getHydrationMode >>= \case
337 HydrationMode_Immediate -> pure ()
326 HydrationMode_Immediate -> pure ()
338 HydrationMode_Hydrating -> do
327 HydrationMode_Hydrating -> do
@@ -937,26 +926,14 @@ inputElementInternal cfg = getHydrationMode >>= \case
937 doc <- askDocument
926 doc <- askDocument
938 -- Expected initial value from config
927 -- Expected initial value from config
939 let v0 = _inputElementConfig_initialValue cfg
928 let v0 = _inputElementConfig_initialValue cfg
940− c0 = _inputElementConfig_initialChecked cfg
929+ addHydrationStep $ do
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'
948 domElement <- liftIO $ readIORef domElementRef
930 domElement <- liftIO $ readIORef domElementRef
949 let domInputElement = uncheckedCastTo DOM.HTMLInputElement domElement
931 let domInputElement = uncheckedCastTo DOM.HTMLInputElement domElement
950 getValue = Input.getValue domInputElement
932 getValue = Input.getValue domInputElement
951− -- When the value has been updated by setValue before switchover, we must
933+ -- The browser might have messed with the value, or the user could have
952− -- send an update here to remain in sync. This is because the later
934+ -- altered it before activation, so we set it if it isn't what we expect
953− -- requestDomAction based on the setValue event will not capture events
935+ liftJSM getValue >>= \v0' -> do
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
936+ when (v0' /= v0) $ liftIO $ triggerChangeByUI v0'
960 -- Watch for user interaction and trigger event accordingly
937 -- Watch for user interaction and trigger event accordingly
961 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
938 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
962 for_ (_inputElementConfig_setValue cfg) $ \eSetValue ->
939 for_ (_inputElementConfig_setValue cfg) $ \eSetValue ->
@@ -970,17 +947,7 @@ inputElementInternal cfg = getHydrationMode >>= \case
970 ]
947 ]
971 liftIO . triggerFocusChange =<< Node.isSameNode (toNode domElement) . fmap toNode =<< Document.getActiveElement doc
948 liftIO . triggerFocusChange =<< Node.isSameNode (toNode domElement) . fmap toNode =<< Document.getActiveElement doc
972 requestDomAction_ $ liftIO . triggerFocusChange <$> focusChange'
949 requestDomAction_ $ liftIO . triggerFocusChange <$> focusChange'
973− -- When the checked state has been updated by setChecked before
950+ Input.setChecked domInputElement $ _inputElementConfig_initialChecked cfg
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
984 _ <- liftJSM $ domInputElement `on` Events.click $ do
951 _ <- liftJSM $ domInputElement `on` Events.click $ do
985 liftIO . triggerCheckedChangedByUI =<< Input.getChecked domInputElement
952 liftIO . triggerCheckedChangedByUI =<< Input.getChecked domInputElement
986 for_ (_inputElementConfig_setChecked cfg) $ \eNewchecked ->
953 for_ (_inputElementConfig_setChecked cfg) $ \eNewchecked ->
@@ -993,7 +960,7 @@ inputElementInternal cfg = getHydrationMode >>= \case
993 let getMyFiles xs = fmap catMaybes . mapM (FileList.item xs) . flip take [0..] . fromIntegral =<< FileList.getLength xs
960 let getMyFiles xs = fmap catMaybes . mapM (FileList.item xs) . flip take [0..] . fromIntegral =<< FileList.getLength xs
994 liftIO . triggerFileChange =<< maybe (return []) getMyFiles mfiles
961 liftIO . triggerFileChange =<< maybe (return []) getMyFiles mfiles
995 return ()
962 return ()
996− checked' <- holdDyn c0 $ leftmost
963+ checked' <- holdDyn (_inputElementConfig_initialChecked cfg) $ leftmost
997 [ checkedChangedBySetChecked
964 [ checkedChangedBySetChecked
998 , checkedChangedByUI
965 , checkedChangedByUI
999 ]
966 ]
@@ -1065,21 +1032,14 @@ textAreaElementInternal cfg = getHydrationMode >>= \case
1065 doc <- askDocument
1032 doc <- askDocument
1066 -- Expected initial value from config
1033 -- Expected initial value from config
1067 let v0 = _textAreaElementConfig_initialValue cfg
1034 let v0 = _textAreaElementConfig_initialValue cfg
1068− valueAtSwitchover = maybe (pure $ pure v0) (hold v0) (_textAreaElementConfig_setValue cfg)
1035+ addHydrationStep $ do
1069− addHydrationStepWithSetup valueAtSwitchover $ \switchoverValue' -> do
1070− switchoverValue <- sample switchoverValue'
1071 domElement <- liftIO $ readIORef domElementRef
1036 domElement <- liftIO $ readIORef domElementRef
1072 let domTextAreaElement = uncheckedCastTo DOM.HTMLTextAreaElement domElement
1037 let domTextAreaElement = uncheckedCastTo DOM.HTMLTextAreaElement domElement
1073 getValue = TextArea.getValue domTextAreaElement
1038 getValue = TextArea.getValue domTextAreaElement
1074− -- When the value has been updated by setValue before switchover, we must
1039+ -- The browser might have messed with the value, or the user could have
1075− -- send an update here to remain in sync. This is because the later
1040+ -- altered it before activation, so we set it if it isn't what we expect
1076− -- requestDomAction based on the setValue event will not capture events
1041+ liftJSM getValue >>= \v0' -> do
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
1042+ when (v0' /= v0) $ liftIO $ triggerChangeByUI v0'
1083 -- Watch for user interaction and trigger event accordingly
1043 -- Watch for user interaction and trigger event accordingly
1084 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
1044 requestDomAction_ $ (liftJSM getValue >>= liftIO . triggerChangeByUI) <$ Reflex.select (_element_events e) (WrapArg Input)
1085 for_ (_textAreaElementConfig_setValue cfg) $ \eSetValue ->
1045 for_ (_textAreaElementConfig_setValue cfg) $ \eSetValue ->
@@ -1672,7 +1632,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
1672
1632
1673{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
1633{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
1674traverseDMapWithKeyWithAdjust'
1634traverseDMapWithKeyWithAdjust'
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)
1635+ :: 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)
1676 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
1636 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
1677 -> DMap k v
1637 -> DMap k v
1678 -> Event t (PatchDMap k v)
1638 -> Event t (PatchDMap k v)
@@ -1792,7 +1752,7 @@ hoistTraverseWithKeyWithAdjust
1792 ::
1752 ::
1793 ( Adjustable t m
1753 ( Adjustable t m
1794 , MonadHold t m
1754 , MonadHold t m
1795− , GCompare k
1755+ , DMap.GCompare k
1796 , MonadIO m
1756 , MonadIO m
1797 , MonadJSM m
1757 , MonadJSM m
1798 , PrimMonad m
1758 , PrimMonad m
@@ -1876,14 +1836,14 @@ hoistTraverseWithKeyWithAdjust base mapPatch updateChildUnreadiness applyDomUpda
1876 getHydrationMode >>= \case
1836 getHydrationMode >>= \case
1877 HydrationMode_Hydrating -> addHydrationStepWithSetup (holdIncremental children0 children') $ \children -> do
1837 HydrationMode_Hydrating -> addHydrationStepWithSetup (holdIncremental children0 children') $ \children -> do
1878 dm :: DMap k (Compose (TraverseChild t m (Some k)) v') <- sample $ currentIncremental children
1838 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
1839+ phs <- traverse id $ weakenDMapWith (either _traverseChildHydration_delayed (pure . _traverseChildImmediate_placeholder) . _traverseChild_mode . getCompose) dm
1880 liftIO $ writeIORef placeholders $! phs
1840 liftIO $ writeIORef placeholders $! phs
1881 insertAfterPreviousNode lastPlaceholder
1841 insertAfterPreviousNode lastPlaceholder
1882 HydrationMode_Immediate -> do
1842 HydrationMode_Immediate -> do
1883 let activate i = do
1843 let activate i = do
1884 append $ toNode $ _traverseChildImmediate_fragment i
1844 append $ toNode $ _traverseChildImmediate_fragment i
1885 pure $ _traverseChildImmediate_placeholder i
1845 pure $ _traverseChildImmediate_placeholder i
1886− phs <- sequenceA $ weakenDMapWith (either (error "impossible") activate . _traverseChild_mode . getCompose) children0
1846+ phs <- traverse id $ weakenDMapWith (either (error "impossible") activate . _traverseChild_mode . getCompose) children0
1887 liftIO $ writeIORef placeholders $! phs
1847 liftIO $ writeIORef placeholders $! phs
1888 append $ toNode lastPlaceholder
1848 append $ toNode lastPlaceholder
1889 requestDomAction_ $ ffor children' $ \p -> do
1849 requestDomAction_ $ ffor children' $ \p -> do
reflex-dom-core/src/Reflex/Dom/Builder/Static.hs+10−35
@@ -37,7 +37,6 @@ import Data.IntMap (IntMap)
37import qualified Data.IntMap as IntMap
37import qualified Data.IntMap as IntMap
38import qualified Data.Map as Map
38import qualified Data.Map as Map
39import Data.Map.Misc (applyMap)
39import Data.Map.Misc (applyMap)
40−import Data.Maybe (fromMaybe)
41import Data.Monoid ((<>))
40import Data.Monoid ((<>))
42import qualified Data.Set as Set
41import qualified Data.Set as Set
43import Data.Text (Text)
42import Data.Text (Text)
@@ -274,7 +273,7 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
274 --TODO: Do not escape quotation marks; see https://stackoverflow.com/questions/25612166/what-characters-must-be-escaped-in-html-5
273 --TODO: Do not escape quotation marks; see https://stackoverflow.com/questions/25612166/what-characters-must-be-escaped-in-html-5
275 shouldEscape <- asks _staticDomBuilderEnv_shouldEscape
274 shouldEscape <- asks _staticDomBuilderEnv_shouldEscape
276 let escape = if shouldEscape then fromHtmlEscapedText else byteString . encodeUtf8
275 let escape = if shouldEscape then fromHtmlEscapedText else byteString . encodeUtf8
277− (modify . (:)) . (\c -> "<!--" <> c <> "-->") =<< case mSetContents of
276+ modify . (:) =<< (\c -> "<!--" <> c <> "-->") <$> case mSetContents of
278 Nothing -> return (pure (escape initialContents))
277 Nothing -> return (pure (escape initialContents))
279 Just setContents -> hold (escape initialContents) $ fmapCheap escape setContents --Only because it doesn't get optimized when profiling is on
278 Just setContents -> hold (escape initialContents) $ fmapCheap escape setContents --Only because it doesn't get optimized when profiling is on
280 return $ CommentNode ()
279 return $ CommentNode ()
@@ -312,32 +311,13 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
312 return (e, result)
311 return (e, result)
313 {-# INLINABLE inputElement #-}
312 {-# INLINABLE inputElement #-}
314 inputElement cfg = do
313 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 ()
314+ (e, _result) <- element "input" (cfg ^. inputElementConfig_elementConfig) $ return ()
331− v <- case _inputElementConfig_setValue cfg of
332− Nothing -> pure $ constDyn (cfg ^. inputElementConfig_initialValue)
315+ let v0 = constDyn $ cfg ^. inputElementConfig_initialValue
333− Just ev -> holdDyn (cfg ^. inputElementConfig_initialValue) ev
316+ let c0 = constDyn $ cfg ^. inputElementConfig_initialChecked
334− c <- case _inputElementConfig_setChecked cfg of
335− Nothing -> pure $ constDyn $ _inputElementConfig_initialChecked cfg
336− Just ev -> holdDyn (_inputElementConfig_initialChecked cfg) ev
337 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
317 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
338 return $ InputElement
318 return $ InputElement
339− { _inputElement_value = v
319+ { _inputElement_value = v0
340− , _inputElement_checked = c
320+ , _inputElement_checked = c0
341 , _inputElement_checkedChange = never
321 , _inputElement_checkedChange = never
342 , _inputElement_input = never
322 , _inputElement_input = never
343 , _inputElement_hasFocus = hasFocus
323 , _inputElement_hasFocus = hasFocus
@@ -347,17 +327,12 @@ instance SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) wh
347 }
327 }
348 {-# INLINABLE textAreaElement #-}
328 {-# INLINABLE textAreaElement #-}
349 textAreaElement cfg = do
329 textAreaElement cfg = do
330+ --TODO: Support setValue event
350− (e, _domElement) <- element "textarea" (_textAreaElementConfig_elementConfig cfg) $ do
331+ (e, _domElement) <- element "textarea" (cfg ^. textAreaElementConfig_elementConfig) $ return ()
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
332+ let v0 = constDyn $ cfg ^. textAreaElementConfig_initialValue
358 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
333 let hasFocus = constDyn False -- TODO should this be coming from initialAtttributes
359 return $ TextAreaElement
334 return $ TextAreaElement
360− { _textAreaElement_value = v
335+ { _textAreaElement_value = v0
361 , _textAreaElement_input = never
336 , _textAreaElement_input = never
362 , _textAreaElement_hasFocus = hasFocus
337 , _textAreaElement_hasFocus = hasFocus
363 , _textAreaElement_element = e
338 , _textAreaElement_element = e
reflex-dom-core/src/Reflex/Dom/Main.hs+7−37
@@ -5,6 +5,7 @@
5{-# LANGUAGE GADTs #-}
5{-# LANGUAGE GADTs #-}
6{-# LANGUAGE MultiParamTypeClasses #-}
6{-# LANGUAGE MultiParamTypeClasses #-}
7{-# LANGUAGE NoMonomorphismRestriction #-}
7{-# LANGUAGE NoMonomorphismRestriction #-}
8+{-# LANGUAGE PatternSynonyms #-}
8{-# LANGUAGE RankNTypes #-}
9{-# LANGUAGE RankNTypes #-}
9{-# LANGUAGE RecursiveDo #-}
10{-# LANGUAGE RecursiveDo #-}
10{-# LANGUAGE ScopedTypeVariables #-}
11{-# LANGUAGE ScopedTypeVariables #-}
@@ -72,14 +73,8 @@ mainHydrationWidgetWithSwitchoverAction = mainHydrationWidgetWithSwitchoverActio
72{-# INLINABLE mainHydrationWidgetWithSwitchoverAction' #-}
73{-# INLINABLE mainHydrationWidgetWithSwitchoverAction' #-}
73-- | Warning: `mainHydrationWidgetWithSwitchoverAction'` is provided only as performance tweak. It is expected to disappear in future releases.
74-- | Warning: `mainHydrationWidgetWithSwitchoverAction'` is provided only as performance tweak. It is expected to disappear in future releases.
74mainHydrationWidgetWithSwitchoverAction' :: JSM () -> HydrationWidget () () -> HydrationWidget () () -> JSM ()
75mainHydrationWidgetWithSwitchoverAction' :: JSM () -> HydrationWidget () () -> HydrationWidget () () -> JSM ()
75−mainHydrationWidgetWithSwitchoverAction' = mainHydrationWidgetWithSwitchoverActionWithFailure' (pure ())
76+mainHydrationWidgetWithSwitchoverAction' switchoverAction head' body = do
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+ runHydrationWidgetWithHeadAndBody switchoverAction $ \appendHead appendBody -> do
83 appendHead head'
78 appendHead head'
84 appendBody body
79 appendBody body
85
80
@@ -94,21 +89,7 @@ attachHydrationWidget
94 -> PerformEventT DomTimeline DomHost (a, IORef (Maybe (EventTrigger DomTimeline ())))
89 -> PerformEventT DomTimeline DomHost (a, IORef (Maybe (EventTrigger DomTimeline ())))
95 )
90 )
96 -> IO (a, FireCommand DomTimeline DomHost)
91 -> 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
92+attachHydrationWidget switchoverAction jsSing w = do
112 hydrationMode <- liftIO $ newIORef HydrationMode_Hydrating
93 hydrationMode <- liftIO $ newIORef HydrationMode_Hydrating
113 rootNodesRef <- liftIO $ newIORef []
94 rootNodesRef <- liftIO $ newIORef []
114 events <- newChan
95 events <- newChan
@@ -124,7 +105,7 @@ attachHydrationWidgetWithFailure onFailure switchoverAction jsSing w = do
124 rootNodes <- liftIO $ readIORef rootNodesRef
105 rootNodes <- liftIO $ readIORef rootNodesRef
125 let delayedAction = do
106 let delayedAction = do
126 for_ (reverse rootNodes) $ \(rootNode, runner) -> do
107 for_ (reverse rootNodes) $ \(rootNode, runner) -> do
127− let hydrate = runHydrationRunnerTWithFailure runner onFailure Nothing rootNode events
108+ let hydrate = runHydrationRunnerT runner Nothing rootNode events
128 void $ runWithJSContextSingleton (runPostBuildT hydrate never) jsSing
109 void $ runWithJSContextSingleton (runPostBuildT hydrate never) jsSing
129 liftIO $ writeIORef hydrationMode HydrationMode_Immediate
110 liftIO $ writeIORef hydrationMode HydrationMode_Immediate
130 runWithJSContextSingleton (DOM.liftJSM switchoverAction) jsSing
111 runWithJSContextSingleton (DOM.liftJSM switchoverAction) jsSing
@@ -145,22 +126,11 @@ runHydrationWidgetWithHeadAndBody
145 -> FloatingWidget () ()
126 -> FloatingWidget () ()
146 )
127 )
147 -> JSM ()
128 -> 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
129+runHydrationWidgetWithHeadAndBody switchoverAction app = withJSContextSingletonMono $ \jsSing -> do
160 globalDoc <- currentDocumentUnchecked
130 globalDoc <- currentDocumentUnchecked
161 headElement <- getHeadUnchecked globalDoc
131 headElement <- getHeadUnchecked globalDoc
162 bodyElement <- getBodyUnchecked globalDoc
132 bodyElement <- getBodyUnchecked globalDoc
163− (events, fc) <- liftIO . attachHydrationWidgetWithFailure onFailure switchoverAction jsSing $ \switchover hydrationMode hydrationResult events -> do
133+ (events, fc) <- liftIO . attachHydrationWidget switchoverAction jsSing $ \switchover hydrationMode hydrationResult events -> do
164 (postBuild, postBuildTriggerRef) <- newEventWithTriggerRef
134 (postBuild, postBuildTriggerRef) <- newEventWithTriggerRef
165 let hydrateDom :: DOM.Node -> HydrationWidget () c -> FloatingWidget () c
135 let hydrateDom :: DOM.Node -> HydrationWidget () c -> FloatingWidget () c
166 hydrateDom n w = do
136 hydrateDom n w = do
reflex-dom-core/src/Reflex/Dom/Prerender.hs+3−6
@@ -24,7 +24,7 @@ module Reflex.Dom.Prerender
24
24
25import Control.Monad.Primitive (PrimMonad(..))
25import Control.Monad.Primitive (PrimMonad(..))
26import Control.Monad.Reader
26import Control.Monad.Reader
27−import Control.Monad.Ref (MonadRef(..), MonadAtomicRef(..))
27+import Control.Monad.Ref (MonadRef(..))
28import Data.IORef (IORef, newIORef)
28import Data.IORef (IORef, newIORef)
29import Data.Semigroup (Semigroup)
29import Data.Semigroup (Semigroup)
30import Data.Text (Text)
30import Data.Text (Text)
@@ -165,8 +165,6 @@ instance Monad m => MonadRef (UnrunnableT js t m) where
165 newRef _ = unrunnable
165 newRef _ = unrunnable
166 readRef _ = unrunnable
166 readRef _ = unrunnable
167 writeRef _ _ = unrunnable
167 writeRef _ _ = unrunnable
168−instance Monad m => MonadAtomicRef (UnrunnableT js t m) where
169− atomicModifyRef _ _ = unrunnable
170instance Monad m => HasDocument (UnrunnableT js t m) where
168instance Monad m => HasDocument (UnrunnableT js t m) where
171 askDocument = unrunnable
169 askDocument = unrunnable
172instance Monad m => HasJSContext (UnrunnableT js t m) where
170instance Monad m => HasJSContext (UnrunnableT js t m) where
@@ -205,13 +203,12 @@ instance Monad m => MonadReflexCreateTrigger t (UnrunnableT js t m) where
205 newFanEventWithTrigger _ = unrunnable
203 newFanEventWithTrigger _ = unrunnable
206instance Monad m => MonadFix (UnrunnableT js t m) where
204instance Monad m => MonadFix (UnrunnableT js t m) where
207 mfix _ = unrunnable
205 mfix _ = unrunnable
208−instance (Monad m, MonadHold t m) => MonadHold t (UnrunnableT js t m) where
206+instance Monad m => MonadHold t (UnrunnableT js t m) where
209 hold _ _ = unrunnable
207 hold _ _ = unrunnable
210 holdDyn _ _ = unrunnable
208 holdDyn _ _ = unrunnable
211 holdIncremental _ _ = unrunnable
209 holdIncremental _ _ = unrunnable
212 buildDynamic _ _ = unrunnable
210 buildDynamic _ _ = unrunnable
213 headE _ = unrunnable
211 headE _ = unrunnable
214− now = unrunnable
215instance Monad m => MonadSample t (UnrunnableT js t m) where
212instance Monad m => MonadSample t (UnrunnableT js t m) where
216 sample _ = unrunnable
213 sample _ = unrunnable
217instance Monad m => MonadIO (UnrunnableT js t m) where
214instance Monad m => MonadIO (UnrunnableT js t m) where
@@ -229,7 +226,7 @@ instance (Reflex t, Monad m) => DomRenderHook t (UnrunnableT js t m) where
229 withRenderHook _ _ = unrunnable
226 withRenderHook _ _ = unrunnable
230 requestDomAction _ = unrunnable
227 requestDomAction _ = unrunnable
231 requestDomAction_ _ = unrunnable
228 requestDomAction_ _ = unrunnable
232−instance (Reflex t, Monad m, MonadHold t m) => Prerender JS' t (UnrunnableT js t m) where
229+instance (Reflex t, Monad m) => Prerender JS' t (UnrunnableT js t m) where
233 type Client (UnrunnableT js t m) = UnrunnableT js t m
230 type Client (UnrunnableT js t m) = UnrunnableT js t m
234 prerender _ _ = unrunnable
231 prerender _ _ = unrunnable
235
232
reflex-dom-core/src/Reflex/Dom/Widget/Input.hs+3
@@ -629,6 +629,9 @@ instance HasAttributes (FileInputConfig t) where
629 type Attrs (FileInputConfig t) = Dynamic t (Map Text Text)
629 type Attrs (FileInputConfig t) = Dynamic t (Map Text Text)
630 attributes = fileInputConfig_attributes
630 attributes = fileInputConfig_attributes
631
631
632+class HasSetValue a where
633+ type SetValue a :: *
634+ setValue :: Lens' a (SetValue a)
632
635
633instance HasSetValue (TextAreaConfig t) where
636instance HasSetValue (TextAreaConfig t) where
634 type SetValue (TextAreaConfig t) = Event t Text
637 type SetValue (TextAreaConfig t) = Event t Text
reflex-dom-core/src/Reflex/Dom/Widget/Lazy.hs+1−1
@@ -117,7 +117,7 @@ virtualList heightPx rowPx maxIndex i0 setI keyToIndex items0 itemsUpdate itemBu
117 "overflow" =: "hidden" <>
117 "overflow" =: "hidden" <>
118 "position" =: "relative"
118 "position" =: "relative"
119 mkRow k = toStyleAttr $ "height" =: (T.pack (show rowPx) <> "px") <>
119 mkRow k = toStyleAttr $ "height" =: (T.pack (show rowPx) <> "px") <>
120− "top" =: (<> "px") (T.pack $ show $ keyToIndex k * rowPx) <>
120+ "top" =: ((<>"px") $ T.pack $ show $ keyToIndex k * rowPx) <>
121 "position" =: "absolute" <>
121 "position" =: "absolute" <>
122 "width" =: "100%"
122 "width" =: "100%"
123 findWindow sizeIncrement windowSize startingPosition =
123 findWindow sizeIncrement windowSize startingPosition =
reflex-dom-core/src/Reflex/Dom/Xhr/Foreign.hs+2−2
@@ -15,7 +15,7 @@ import Data.Text (Text)
15import Data.ByteString (ByteString)
15import Data.ByteString (ByteString)
16import Foreign.JavaScript.Utils (bsFromMutableArrayBuffer, bsToArrayBuffer)
16import Foreign.JavaScript.Utils (bsFromMutableArrayBuffer, bsToArrayBuffer)
17import GHCJS.DOM.Enums
17import GHCJS.DOM.Enums
18−import GHCJS.DOM.EventM (EventM, on, onSync)
18+import GHCJS.DOM.EventM (EventM, on)
19import GHCJS.DOM.EventTarget (dispatchEvent)
19import GHCJS.DOM.EventTarget (dispatchEvent)
20import GHCJS.DOM.Types (MonadJSM, ToJSString, FormData, Document, Blob (..), ArrayBuffer (..), JSVal, JSM, IsEvent, XMLHttpRequestProgressEvent, ProgressEvent, Event, XMLHttpRequestUpload, FromJSString, ArrayBufferView (..), liftJSM, castTo)
20import GHCJS.DOM.Types (MonadJSM, ToJSString, FormData, Document, Blob (..), ArrayBuffer (..), JSVal, JSM, IsEvent, XMLHttpRequestProgressEvent, ProgressEvent, Event, XMLHttpRequestUpload, FromJSString, ArrayBufferView (..), liftJSM, castTo)
21import GHCJS.DOM.XMLHttpRequest
21import GHCJS.DOM.XMLHttpRequest
@@ -114,7 +114,7 @@ xmlHttpRequestOntimeout :: XMLHttpRequest -> EventM XMLHttpRequest ProgressEvent
114xmlHttpRequestOntimeout = (`on` timeout)
114xmlHttpRequestOntimeout = (`on` timeout)
115
115
116xmlHttpRequestOnreadystatechange :: XMLHttpRequest -> EventM XMLHttpRequest Event () -> JSM (JSM ())
116xmlHttpRequestOnreadystatechange :: XMLHttpRequest -> EventM XMLHttpRequest Event () -> JSM (JSM ())
117−xmlHttpRequestOnreadystatechange = (`onSync` readyStateChange)
117+xmlHttpRequestOnreadystatechange = (`on` readyStateChange)
118
118
119xmlHttpRequestSetTimeout :: MonadJSM m => XMLHttpRequest -> Word -> m ()
119xmlHttpRequestSetTimeout :: MonadJSM m => XMLHttpRequest -> Word -> m ()
120xmlHttpRequestSetTimeout = setTimeout
120xmlHttpRequestSetTimeout = setTimeout
reflex-dom-core/test/gc.hs+1−1
@@ -47,7 +47,7 @@ failureLimit = 0
47
47
48main :: IO ()
48main :: IO ()
49main = do
49main = 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
51 withSandboxedChromeFlags True $ \chromeFlags -> do
51 withSandboxedChromeFlags True $ \chromeFlags -> do
52 mainThread <- myThreadId
52 mainThread <- myThreadId
53 browserProcess <- spawnCommand $ mconcat
53 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)
2import System.Exit (exitFailure, exitSuccess)
2import System.Exit (exitFailure, exitSuccess)
3
3
4main :: IO ()
4main :: IO ()
reflex-dom-core/test/hydration.hs+40−353
@@ -20,14 +20,6 @@
20
20
21{-# OPTIONS_GHC -fno-warn-orphans #-}
21{-# OPTIONS_GHC -fno-warn-orphans #-}
22
22
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−
31import Prelude hiding (fail)
23import Prelude hiding (fail)
32import Control.Concurrent
24import Control.Concurrent
33import qualified Control.Concurrent.Async as Async
25import qualified Control.Concurrent.Async as Async
@@ -145,7 +137,7 @@ deriving instance MonadFail WD
145
137
146main :: IO ()
138main :: IO ()
147main = do
139main = do
148− unshareNetwork
140+ unshareNetork
149 isHeadless <- (== Nothing) <$> lookupEnv "NO_HEADLESS"
141 isHeadless <- (== Nothing) <$> lookupEnv "NO_HEADLESS"
150 withSandboxedChromeFlags isHeadless $ \chromeFlags -> do
142 withSandboxedChromeFlags isHeadless $ \chromeFlags -> do
151 withSeleniumServer $ \selenium -> do
143 withSeleniumServer $ \selenium -> do
@@ -154,13 +146,13 @@ main = do
154 withDebugging <- isNothing <$> lookupEnv "NO_DEBUG"
146 withDebugging <- isNothing <$> lookupEnv "NO_DEBUG"
155 let wdConfig = WD.defaultConfig { WD.wdPort = fromIntegral $ _selenium_portNumber selenium }
147 let wdConfig = WD.defaultConfig { WD.wdPort = fromIntegral $ _selenium_portNumber selenium }
156 chromeCaps' = WD.getCaps $ chromeConfig browserPath chromeFlags
148 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
158
150
159−tests :: Bool -> WD.WDConfig -> [(Capabilities, String)] -> Selenium -> Spec
151+tests :: Bool -> WD.WDConfig -> [Capabilities] -> Selenium -> Spec
160tests withDebugging wdConfig caps _selenium = do
152tests withDebugging wdConfig caps _selenium = do
161 let putStrLnDebug :: MonadIO m => Text -> m ()
153 let putStrLnDebug :: MonadIO m => Text -> m ()
162 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
154 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
163− session' t = sessionWith wdConfig t . using caps
155+ session' = sessionWith wdConfig "" . using (map (,"") caps)
164 runWD m = runWDOptions (WdOptions False) $ do
156 runWD m = runWDOptions (WdOptions False) $ do
165 putStrLnDebug "before"
157 putStrLnDebug "before"
166 r <- m
158 r <- m
@@ -169,10 +161,10 @@ tests withDebugging wdConfig caps _selenium = do
169 testWidgetStatic :: WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
161 testWidgetStatic :: WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
170 testWidgetStatic = testWidgetStaticDebug withDebugging
162 testWidgetStatic = testWidgetStaticDebug withDebugging
171 testWidget :: WD () -> WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
163 testWidget :: WD () -> WD b -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
172− testWidget = testWidgetDebug True withDebugging
164+ testWidget = testWidgetDebug withDebugging
173 testWidget' :: WD a -> (a -> WD b) -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
165 testWidget' :: WD a -> (a -> WD b) -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ()) -> WD b
174− testWidget' = testWidgetDebug' True withDebugging
166+ testWidget' = testWidgetDebug' withDebugging
175− session' "text" $ do
167+ describe "text" $ session' $ do
176 it "works" $ runWD $ do
168 it "works" $ runWD $ do
177 testWidgetStatic (checkBodyText "hello world") $ do
169 testWidgetStatic (checkBodyText "hello world") $ do
178 text "hello world"
170 text "hello world"
@@ -233,7 +225,7 @@ tests withDebugging wdConfig caps _selenium = do
233 click <- button ""
225 click <- button ""
234 void $ textNode $ TextNodeConfig "initial" $ Just $ "after" <$ click
226 void $ textNode $ TextNodeConfig "initial" $ Just $ "after" <$ click
235
227
236− session' "element" $ do
228+ describe "element" $ session' $ do
237 it "works with domEvent Click" $ runWD $ do
229 it "works with domEvent Click" $ runWD $ do
238 clickedRef <- liftIO $ newRef False
230 clickedRef <- liftIO $ newRef False
239 testWidget' (findElemWithRetry $ WD.ByTag "div") WD.click $ do
231 testWidget' (findElemWithRetry $ WD.ByTag "div") WD.click $ do
@@ -297,78 +289,21 @@ tests withDebugging wdConfig caps _selenium = do
297 let click = domEvent Click e
289 let click = domEvent Click e
298 return ()
290 return ()
299
291
300− session' "inputElement" $ do
292+ describe "inputElement" $ do
301− describe "static renderer" $ do
293+ describe "hydration" $ session' $ 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
359 it "doesn't wipe user input when switching over" $ runWD $ do
294 it "doesn't wipe user input when switching over" $ runWD $ do
360− inputRef <- newRef ("hello " :: Text)
295+ inputRef <- newRef ("" :: Text)
361 testWidget'
296 testWidget'
362 (do
297 (do
363 e <- findElemWithRetry $ WD.ByTag "input"
298 e <- findElemWithRetry $ WD.ByTag "input"
364− WD.sendKeys "world" e
299+ WD.sendKeys "hello world" e
365 pure e)
300 pure e)
366 (\e -> do
301 (\e -> do
367 WD.attr e "value" `shouldBeWithRetryM` Just "hello world"
302 WD.attr e "value" `shouldBeWithRetryM` Just "hello world"
368 WD.click =<< findElemWithRetry (WD.ByTag "button")
303 WD.click =<< findElemWithRetry (WD.ByTag "button")
369 readRef inputRef `shouldBeWithRetryM` "hello world"
304 readRef inputRef `shouldBeWithRetryM` "hello world"
370 ) $ do
305 ) $ do
371− e <- inputElement $ def & inputElementConfig_initialValue .~ "hello "
306+ e <- inputElement def
372 click <- button "save"
307 click <- button "save"
373 performEvent_ $ liftIO . writeRef inputRef <$> tag (current (value e)) click
308 performEvent_ $ liftIO . writeRef inputRef <$> tag (current (value e)) click
374 it "captures user input after switchover" $ runWD $ do
309 it "captures user input after switchover" $ runWD $ do
@@ -425,49 +360,24 @@ tests withDebugging wdConfig caps _selenium = do
425 checkedByUIRef <- newRef False
360 checkedByUIRef <- newRef False
426 checkedRef <- newRef False
361 checkedRef <- newRef False
427 setCheckedChan <- liftIO newChan
362 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
433 readRef checkedByUIRef `shouldBeWithRetryM` False
364 readRef checkedByUIRef `shouldBeWithRetryM` False
434 readRef checkedRef `shouldBeWithRetryM` False
365 readRef checkedRef `shouldBeWithRetryM` False
435− WD.attr e "checked" `shouldBeWithRetryM` Nothing
366+ e <- findElemWithRetry $ WD.ByTag "input"
436 WD.moveToCenter e
367 WD.moveToCenter e
437 WD.click e
368 WD.click e
438 readRef checkedByUIRef `shouldBeWithRetryM` True
369 readRef checkedByUIRef `shouldBeWithRetryM` True
439 readRef checkedRef `shouldBeWithRetryM` True
370 readRef checkedRef `shouldBeWithRetryM` True
440− WD.attr e "checked" `shouldBeWithRetryM` Just "true"
441 liftIO $ writeChan setCheckedChan False
371 liftIO $ writeChan setCheckedChan False
442 readRef checkedByUIRef `shouldBeWithRetryM` True
372 readRef checkedByUIRef `shouldBeWithRetryM` True
443 readRef checkedRef `shouldBeWithRetryM` False
373 readRef checkedRef `shouldBeWithRetryM` False
444− WD.attr e "checked" `shouldBeWithRetryM` Nothing
445− testWidget' checkStatic checkValue $ do
374+ testWidget (pure ()) checkValue $ do
446 setChecked <- triggerEventWithChan setCheckedChan
375 setChecked <- triggerEventWithChan setCheckedChan
447 e <- inputElement $ def
376 e <- inputElement $ def
448 & initialAttributes .~ "type" =: "checkbox"
377 & initialAttributes .~ "type" =: "checkbox"
449 & inputElementConfig_setChecked .~ setChecked
378 & inputElementConfig_setChecked .~ setChecked
450 performEvent_ $ liftIO . writeRef checkedByUIRef <$> _inputElement_checkedChange e
379 performEvent_ $ liftIO . writeRef checkedByUIRef <$> _inputElement_checkedChange e
451 performEvent_ $ liftIO . writeRef checkedRef <$> updated (_inputElement_checked e)
380 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)
471 it "captures file uploads" $ runWD $ do
381 it "captures file uploads" $ runWD $ do
472 filesRef :: IORef [Text] <- newRef []
382 filesRef :: IORef [Text] <- newRef []
473 let uploadFile = do
383 let uploadFile = do
@@ -483,117 +393,8 @@ tests withDebugging wdConfig caps _selenium = do
483 prerender_ (pure ()) $ performEvent_ $ ffor (tag (current (_inputElement_files e)) click) $ \fs -> do
393 prerender_ (pure ()) $ performEvent_ $ ffor (tag (current (_inputElement_files e)) click) $ \fs -> do
484 names <- liftJSM $ traverse File.getName fs
394 names <- liftJSM $ traverse File.getName fs
485 liftIO $ writeRef filesRef names
395 liftIO $ writeRef filesRef names
486− it "fires _input event if the user altered the value before hydration" $ runWD $ do
396+
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
397+ describe "hydration/immediate" $ session' $ do
597 it "captures user input after switchover" $ runWD $ do
398 it "captures user input after switchover" $ runWD $ do
598 inputRef :: IORef Text <- newRef ""
399 inputRef :: IORef Text <- newRef ""
599 let checkValue = do
400 let checkValue = do
@@ -673,31 +474,8 @@ tests withDebugging wdConfig caps _selenium = do
673 names <- liftJSM $ traverse File.getName fs
474 names <- liftJSM $ traverse File.getName fs
674 liftIO $ writeRef filesRef names
475 liftIO $ writeRef filesRef names
675
476
676− session' "textAreaElement" $ do
477+ describe "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
478+ describe "hydration" $ session' $ do
701 it "doesn't wipe user input when switching over" $ runWD $ do
479 it "doesn't wipe user input when switching over" $ runWD $ do
702 inputRef <- newRef ("" :: Text)
480 inputRef <- newRef ("" :: Text)
703 testWidget'
481 testWidget'
@@ -763,90 +541,8 @@ tests withDebugging wdConfig caps _selenium = do
763 e <- textAreaElement $ def { _textAreaElementConfig_setValue = Just setValue' }
541 e <- textAreaElement $ def { _textAreaElementConfig_setValue = Just setValue' }
764 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
542 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
765 performEvent_ $ liftIO . writeRef valueRef <$> updated (value e)
543 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
848
544
849− describe "hydration/immediate" $ do
545+ describe "hydration/immediate" $ session' $ do
850 it "captures user input after switchover" $ runWD $ do
546 it "captures user input after switchover" $ runWD $ do
851 inputRef :: IORef Text <- newRef ""
547 inputRef :: IORef Text <- newRef ""
852 let checkValue = do
548 let checkValue = do
@@ -888,13 +584,13 @@ tests withDebugging wdConfig caps _selenium = do
888 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
584 performEvent_ $ liftIO . writeRef valueByUIRef <$> _textAreaElement_input e
889 performEvent_ $ liftIO . writeRef valueRef <$> updated (value e)
585 performEvent_ $ liftIO . writeRef valueRef <$> updated (value e)
890
586
891− session' "selectElement" $ do
587+ describe "selectElement" $ do
892 let options :: DomBuilder t m => m ()
588 let options :: DomBuilder t m => m ()
893 options = do
589 options = do
894 elAttr "option" ("value" =: "one" <> "id" =: "one") $ text "one"
590 elAttr "option" ("value" =: "one" <> "id" =: "one") $ text "one"
895 elAttr "option" ("value" =: "two" <> "id" =: "two") $ text "two"
591 elAttr "option" ("value" =: "two" <> "id" =: "two") $ text "two"
896 elAttr "option" ("value" =: "three" <> "id" =: "three") $ text "three"
592 elAttr "option" ("value" =: "three" <> "id" =: "three") $ text "three"
897− describe "hydration" $ do
593+ describe "hydration" $ session' $ do
898 it "sets initial value correctly" $ runWD $ do
594 it "sets initial value correctly" $ runWD $ do
899 inputRef <- newRef ("" :: Text)
595 inputRef <- newRef ("" :: Text)
900 let setup = do
596 let setup = do
@@ -968,7 +664,7 @@ tests withDebugging wdConfig caps _selenium = do
968 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
664 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
969 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
665 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
970
666
971− describe "hydration/immediate" $ do
667+ describe "hydration/immediate" $ session' $ do
972 it "captures user input after switchover" $ runWD $ do
668 it "captures user input after switchover" $ runWD $ do
973 inputRef :: IORef Text <- newRef ""
669 inputRef :: IORef Text <- newRef ""
974 let checkValue = do
670 let checkValue = do
@@ -1014,7 +710,7 @@ tests withDebugging wdConfig caps _selenium = do
1014 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
710 performEvent_ $ liftIO . writeRef valueByUIRef <$> _selectElement_change e
1015 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
711 performEvent_ $ liftIO . writeRef valueRef <$> updated (_selectElement_value e)
1016
712
1017− session' "prerender" $ do
713+ describe "prerender" $ session' $ do
1018 it "works in simple case" $ runWD $ do
714 it "works in simple case" $ runWD $ do
1019 testWidget (checkBodyText "One") (checkBodyText "Two") $ do
715 testWidget (checkBodyText "One") (checkBodyText "Two") $ do
1020 prerender_ (text "One") (text "Two")
716 prerender_ (text "One") (text "Two")
@@ -1083,7 +779,7 @@ tests withDebugging wdConfig caps _selenium = do
1083 prerender_ (pure ()) (liftIO $ trigger "Client")
779 prerender_ (pure ()) (liftIO $ trigger "Client")
1084 textNode $ TextNodeConfig "Initial" $ Just e
780 textNode $ TextNodeConfig "Initial" $ Just e
1085
781
1086− session' "namespaces" $ do
782+ describe "namespaces" $ session' $ do
1087 it "dyn can be nested in namespaced widget" $ runWD $ do
783 it "dyn can be nested in namespaced widget" $ runWD $ do
1088 testWidget (pure ()) (checkTextInTag "svg" "one") $ do
784 testWidget (pure ()) (checkTextInTag "svg" "one") $ do
1089 let svgRootCfg = def
785 let svgRootCfg = def
@@ -1092,7 +788,7 @@ tests withDebugging wdConfig caps _selenium = do
1092 void $ element "svg" svgRootCfg $ do
788 void $ element "svg" svgRootCfg $ do
1093 dyn_ $ text "one" <$ pure ()
789 dyn_ $ text "one" <$ pure ()
1094
790
1095− session' "runWithReplace" $ do
791+ describe "runWithReplace" $ session' $ do
1096 it "works" $ runWD $ do
792 it "works" $ runWD $ do
1097 replaceChan :: Chan Text <- liftIO newChan
793 replaceChan :: Chan Text <- liftIO newChan
1098 let setup = findElemWithRetry $ WD.ByTag "div"
794 let setup = findElemWithRetry $ WD.ByTag "div"
@@ -1266,9 +962,7 @@ tests withDebugging wdConfig caps _selenium = do
1266 _ <- runWithReplace (text "inner1" *> comment "replace-end-0") $ text "inner2" <$ replace
962 _ <- runWithReplace (text "inner1" *> comment "replace-end-0") $ text "inner2" <$ replace
1267 text "|after"
963 text "|after"
1268 void $ runWithReplace blank $ el "p" blank <$ replace -- Signal tag for end of test
964 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
1272 replaceChan :: Chan () <- liftIO newChan
966 replaceChan :: Chan () <- liftIO newChan
1273 let
967 let
1274 preSwitchover = do
968 preSwitchover = do
@@ -1290,7 +984,7 @@ tests withDebugging wdConfig caps _selenium = do
1290 _ <- runWithReplace (text "inner1") $ el "p" (text "inner2") <$ replace
984 _ <- runWithReplace (text "inner1") $ el "p" (text "inner2") <$ replace
1291 text "|after"
985 text "|after"
1292
986
1293− session' "traverseDMapWithKeyWithAdjust" $ do
987+ describe "traverseDMapWithKeyWithAdjust" $ session' $ do
1294 let widget :: DomBuilder t m => DKey a -> Identity a -> m (Identity a)
988 let widget :: DomBuilder t m => DKey a -> Identity a -> m (Identity a)
1295 widget k (Identity v) = elAttr "li" ("id" =: textKey k) $ do
989 widget k (Identity v) = elAttr "li" ("id" =: textKey k) $ do
1296 elClass "span" "key" $ text $ textKey k
990 elClass "span" "key" $ text $ textKey k
@@ -1393,7 +1087,7 @@ tests withDebugging wdConfig caps _selenium = do
1393 (dmap, _evt) <- traverseDMapWithKeyWithAdjust widget keyMap $ leftmost [postBuildPatch <$ pb, replace]
1087 (dmap, _evt) <- traverseDMapWithKeyWithAdjust widget keyMap $ leftmost [postBuildPatch <$ pb, replace]
1394 liftIO $ dmap `H.shouldBe` keyMap
1088 liftIO $ dmap `H.shouldBe` keyMap
1395
1089
1396− session' "traverseIntMapWithKeyWithAdjust" $ do
1090+ describe "traverseIntMapWithKeyWithAdjust" $ session' $ do
1397 let textKeyInt k = "key" <> T.pack (show k)
1091 let textKeyInt k = "key" <> T.pack (show k)
1398 intMap = IntMap.fromList
1092 intMap = IntMap.fromList
1399 [ (1, "one")
1093 [ (1, "one")
@@ -1500,7 +1194,7 @@ tests withDebugging wdConfig caps _selenium = do
1500 (dmap, _evt) <- traverseIntMapWithKeyWithAdjust widget intMap $ leftmost [postBuildPatch <$ pb, replace]
1194 (dmap, _evt) <- traverseIntMapWithKeyWithAdjust widget intMap $ leftmost [postBuildPatch <$ pb, replace]
1501 liftIO $ dmap `H.shouldBe` intMap
1195 liftIO $ dmap `H.shouldBe` intMap
1502
1196
1503− session' "traverseDMapWithKeyWithAdjustWithMove" $ do
1197+ describe "traverseDMapWithKeyWithAdjustWithMove" $ session' $ do
1504 let widget :: DomBuilder t m => Key2 a -> Identity a -> m (Identity a)
1198 let widget :: DomBuilder t m => Key2 a -> Identity a -> m (Identity a)
1505 widget k (Identity v) = elAttr "li" ("id" =: textKey2 k) $ do
1199 widget k (Identity v) = elAttr "li" ("id" =: textKey2 k) $ do
1506 elClass "span" "key" $ text $ textKey2 k
1200 elClass "span" "key" $ text $ textKey2 k
@@ -1580,8 +1274,8 @@ tests withDebugging wdConfig caps _selenium = do
1580 (dmap, _evt) <- traverseDMapWithKeyWithAdjustWithMove widget initMap =<< triggerEventWithChan chan
1274 (dmap, _evt) <- traverseDMapWithKeyWithAdjustWithMove widget initMap =<< triggerEventWithChan chan
1581 liftIO $ assertEqual "DMap" initMap dmap
1275 liftIO $ assertEqual "DMap" initMap dmap
1582
1276
1583− session' "hydrating invalid HTML" $ do
1277+ describe "hydrating invalid HTML" $ session' $ do
1584− xit "can hydrate list in paragraph" $ runWD $ do
1278+ it "can hydrate list in paragraph" $ runWD $ do
1585 let preSwitchover = do
1279 let preSwitchover = do
1586 checkBodyText "before\ninner\nafter"
1280 checkBodyText "before\ninner\nafter"
1587 -- Two <p> tags should be present
1281 -- Two <p> tags should be present
@@ -1598,8 +1292,7 @@ tests withDebugging wdConfig caps _selenium = do
1598 shouldContainText "before\ninner\nafter" p1
1292 shouldContainText "before\ninner\nafter" p1
1599 elementShouldBeRemoved ol
1293 elementShouldBeRemoved ol
1600 elementShouldBeRemoved p2
1294 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
1603 -- This is deliberately invalid HTML, the browser will interpret it as
1296 -- This is deliberately invalid HTML, the browser will interpret it as
1604 -- <p>before</p><ol>inner</ol>after<p></p>
1297 -- <p>before</p><ol>inner</ol>after<p></p>
1605 el "p" $ do
1298 el "p" $ do
@@ -1610,7 +1303,7 @@ tests withDebugging wdConfig caps _selenium = do
1610 -- TODO: This test presupposes the exact set of labels that "dropdown" places in the "value" fields to distinguish options.
1303 -- TODO: This test presupposes the exact set of labels that "dropdown" places in the "value" fields to distinguish options.
1611 -- This dependence on internal implementation details is undesirable in a test case, but seems fairly tricky to avoid.
1304 -- This dependence on internal implementation details is undesirable in a test case, but seems fairly tricky to avoid.
1612 -- It seems expedient for the time being to expect this test case to be updated, should those implementation details ever change.
1305 -- 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
1614 let doTest expectedOpts (initialValue :: Text) = do
1307 let doTest expectedOpts (initialValue :: Text) = do
1615 let doCheck = do
1308 let doCheck = do
1616 es <- findElemsWithRetry $ WD.ByTag "option"
1309 es <- findElemsWithRetry $ WD.ByTag "option"
@@ -1725,12 +1418,11 @@ testWidgetStaticDebug
1725 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1418 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1726 -- ^ Widget we are testing
1419 -- ^ Widget we are testing
1727 -> WD b
1420 -> WD b
1728−testWidgetStaticDebug withDebugging w = testWidgetDebug True withDebugging (void w) w
1421+testWidgetStaticDebug withDebugging w = testWidgetDebug withDebugging (void w) w
1729
1422
1730-- | TODO: do something about JSExceptions not causing tests to fail
1423-- | TODO: do something about JSExceptions not causing tests to fail
1731testWidgetDebug
1424testWidgetDebug
1732 :: Bool
1425 :: Bool
1733− -> Bool
1734 -> WD ()
1426 -> WD ()
1735 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
1427 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
1736 -> WD b
1428 -> WD b
@@ -1738,16 +1430,12 @@ testWidgetDebug
1738 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1430 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1739 -- ^ Widget we are testing
1431 -- ^ Widget we are testing
1740 -> WD b
1432 -> WD b
1741−testWidgetDebug hardFailure withDebugging beforeJS afterSwitchover =
1433+testWidgetDebug withDebugging beforeJS afterSwitchover =
1742− testWidgetDebug' hardFailure withDebugging beforeJS (const afterSwitchover)
1434+ testWidgetDebug' withDebugging beforeJS (const afterSwitchover)
1743−
1744−data HydrationFailedException = HydrationFailedException deriving Show
1745−instance Exception HydrationFailedException
1746
1435
1747-- | TODO: do something about JSExceptions not causing tests to fail
1436-- | TODO: do something about JSExceptions not causing tests to fail
1748testWidgetDebug'
1437testWidgetDebug'
1749 :: Bool
1438 :: Bool
1750− -> Bool
1751 -> WD a
1439 -> WD a
1752 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
1440 -- ^ Webdriver commands to run before the JS runs (i.e. on the statically rendered page)
1753 -> (a -> WD b)
1441 -> (a -> WD b)
@@ -1755,7 +1443,7 @@ testWidgetDebug'
1755 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1443 -> (forall m js. TestWidget js (SpiderTimeline Global) m => m ())
1756 -- ^ Widget we are testing (contents of body)
1444 -- ^ Widget we are testing (contents of body)
1757 -> WD b
1445 -> WD b
1758−testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget = do
1446+testWidgetDebug' withDebugging beforeJS afterSwitchover bodyWidget = do
1759 let putStrLnDebug :: MonadIO m => Text -> m ()
1447 let putStrLnDebug :: MonadIO m => Text -> m ()
1760 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
1448 putStrLnDebug m = when withDebugging $ liftIO $ putStrLn $ T.unpack m
1761 staticApp = do
1449 staticApp = do
@@ -1767,7 +1455,6 @@ testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget =
1767 ((), html) <- liftIO $ renderStatic $ runHydratableT staticApp
1455 ((), html) <- liftIO $ renderStatic $ runHydratableT staticApp
1768 putStrLnDebug "rendered static"
1456 putStrLnDebug "rendered static"
1769 waitBeforeJS <- liftIO newEmptyMVar -- Empty until JS should be run
1457 waitBeforeJS <- liftIO newEmptyMVar -- Empty until JS should be run
1770− onFailure <- if hardFailure then (`throwTo` HydrationFailedException) <$> liftIO myThreadId else pure $ pure ()
1771 waitUntilSwitchover <- liftIO newEmptyMVar -- Empty until switchover
1458 waitUntilSwitchover <- liftIO newEmptyMVar -- Empty until switchover
1772 let entryPoint = do
1459 let entryPoint = do
1773 putStrLnDebug "taking waitBeforeJS"
1460 putStrLnDebug "taking waitBeforeJS"
@@ -1779,7 +1466,7 @@ testWidgetDebug' hardFailure withDebugging beforeJS afterSwitchover bodyWidget =
1779 liftIO $ putMVar waitUntilSwitchover ()
1466 liftIO $ putMVar waitUntilSwitchover ()
1780 putStrLnDebug "put waitUntilSwitchover"
1467 putStrLnDebug "put waitUntilSwitchover"
1781 putStrLnDebug "running mainHydrationWidgetWithSwitchoverAction"
1468 putStrLnDebug "running mainHydrationWidgetWithSwitchoverAction"
1782− mainHydrationWidgetWithSwitchoverActionWithFailure' onFailure switchOverAction blank bodyWidget
1469+ mainHydrationWidgetWithSwitchoverAction switchOverAction blank bodyWidget
1783 putStrLnDebug "syncPoint after mainHydrationWidgetWithSwitchoverAction"
1470 putStrLnDebug "syncPoint after mainHydrationWidgetWithSwitchoverAction"
1784 syncPoint
1471 syncPoint
1785 application <- liftIO $ jsaddleOr defaultConnectionOptions entryPoint $ \_ sendResponse -> do
1472 application <- liftIO $ jsaddleOr defaultConnectionOptions entryPoint $ \_ sendResponse -> do
reflex-dom-test-selenium/LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2020, Obsidian Systems LLC
1+Copyright (c) 2015, Obsidian Systems LLC
2All rights reserved.
2All rights reserved.
3
3
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
reflex-dom-test-selenium/Main.hsnew file+4
@@ -0,0 +1,4 @@
1+module Main where
2+
3+main :: IO ()
4+main = putStrLn "Hello, Haskell!"
reflex-dom-test-selenium/reflex-dom-test-selenium.cabal+1−1
@@ -15,7 +15,7 @@ library
15 hs-source-dirs: src
15 hs-source-dirs: src
16 build-depends:
16 build-depends:
17 async,
17 async,
18− base >= 4.7 && < 4.15,
18+ base >= 4.7 && < 4.14,
19 bytestring == 0.10.*,
19 bytestring == 0.10.*,
20 chrome-test-utils,
20 chrome-test-utils,
21 exceptions,
21 exceptions,
reflex-dom/ChangeLog.md−8
@@ -1,13 +1,5 @@
1# Revision history for reflex-dom
1# Revision history for reflex-dom
2
2
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−
11## 0.6.0.0
3## 0.6.0.0
12
4
13* ([#379](https://github.com/reflex-frp/reflex-dom/pull/379)) Re-export all modules from `reflex-dom-core`. The newly re-exported modules are:
5* ([#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
2All rights reserved.
2All rights reserved.
3
3
4Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
4Redistribution 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 @@
1cabal-version: 1.24
1cabal-version: 1.24
2Name: reflex-dom
2Name: reflex-dom
3−Version: 0.6.1.0
3+Version: 0.6.0.0
4Synopsis: Functional Reactive Web Apps with Reflex
4Synopsis: Functional Reactive Web Apps with Reflex
5Description:
5Description:
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− .
10 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
6 Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine: <https://reflex-frp.org/>.
11 .
7 .
12 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
8 The @reflex-dom@ package is a small wrapper around the @reflex-dom-core@ package. It pulls in the
@@ -61,7 +57,7 @@ library
61 hs-source-dirs: src-android
57 hs-source-dirs: src-android
62 other-modules: Reflex.Dom.Android.MainWidget
58 other-modules: Reflex.Dom.Android.MainWidget
63 build-depends:
59 build-depends:
64− aeson >= 1.4 && < 1.6,
60+ aeson >= 1.4 && < 1.5,
65 android-activity == 0.1.*,
61 android-activity == 0.1.*,
66 data-default == 0.7.*,
62 data-default == 0.7.*,
67 jsaddle >= 0.9.6 && < 0.10
63 jsaddle >= 0.9.6 && < 0.10
@@ -71,10 +67,10 @@ library
71 cpp-options: -DANDROID
67 cpp-options: -DANDROID
72 build-tools: hsc2hs
68 build-tools: hsc2hs
73 build-depends:
69 build-depends:
74− base >= 4.7 && < 4.15,
70+ base >= 4.7 && < 4.14,
75 bytestring == 0.10.*,
71 bytestring == 0.10.*,
76− reflex >= 0.8 && < 0.9,
72+ reflex >= 0.6.2 && < 0.8,
77− reflex-dom-core >= 0.6.1.0 && <0.7,
73+ reflex-dom-core == 0.6.0.0,
78 text == 1.2.*
74 text == 1.2.*
79 if !impl(ghcjs)
75 if !impl(ghcjs)
80 if flag(use-warp) && (os(linux) || os(osx))
76 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