f8403b6 · reflex · git.iko.soy

git.iko.soy/reflex

Merge branch 'develop' into requester-simple-fix-nonempty-deferred

commitf8403b682f76cfa5a10f640fa12dcb4283b0f47d authorOwen Shepherd <owen.shepherd@obsidian.systems> dateMon 6 Apr 2020, 17:06 (7 years ago) parentb7eaf89 1d29b35

13 files changed+151−37

compare with develop

unifiedsplit

ChangeLog.md+18−1 README.md+8−2 reflex.cabal+4−1 src/Reflex/BehaviorWriter/Base.hs+3−3 src/Reflex/BehaviorWriter/Class.hs+11−5 src/Reflex/FastWeak.hs+10 src/Reflex/PerformEvent/Class.hs+6 src/Reflex/Profiled.hs+55−2 src/Reflex/Query/Class.hs+5−5 src/Reflex/Spider/Internal.hs−10 src/Reflex/TriggerEvent/Class.hs+6 test/Reflex/Test/CrossImpl.hs+12−7 test/RequesterT.hs+13−1

ChangeLog.md+18−1

@@ -1,6 +1,23 @@

11# Revision history for reflex

3−## Unreleased

3+## 0.7.0.0

5+* Add lifting instances for most classes to `Reflex.Profiled.Profiled`. ([#398](https://github.com/reflex-frp/reflex/pull/398))

6+* Class `MonadQuery t q m` now has a `Monad m` superclass constraint. ([#400](https://github.com/reflex-frp/reflex/pull/400))

7+* **(Breaking change)** Rename class `MonadBehaviorWriter` -> `BehaviorWriter` for consistency with `EventWriter`/`DynamicWriter`. ([#401](https://github.com/reflex-frp/reflex/pull/401))

8+* Introduce deprecated alias `MonadBehaviorWriter = BehaviorWriter`. ([#401](https://github.com/reflex-frp/reflex/pull/401))

9+* Fix bug in spider where event subscriptions would be prematurely finalized due to over-aggressive inlining. ([#409](https://github.com/reflex-frp/reflex/pull/409))

10+* Add instances of `PerformEvent` and `TriggerEvent` for `MaybeT`. ([#395](https://github.com/reflex-frp/reflex/pull/395))

11+

12+## 0.6.4.1

13+

14+* Fix a bug in the Reflex Profiled transformer where

15+ `Reflex.Class.mergeIncrementalG` and

16+ `Reflex.Class.mergeIncrementalWithMoveG` implementations referenced

17+ itself instead of the inner transformed timeline, causing an

18+ infinite loop.

19+

20+## 0.6.4

421

522* Support GHC 8.8

623

README.md+8−2

@@ -21,5 +21,11 @@ A summary of Reflex functions is available in the [quick reference](Quickref.md)

2121

2222### Hacking

2323

24−Use the `./scripts/hack-on reflex` script in [Reflex Platform](https://github.com/reflex-frp/reflex-platform) to checkout the source code of `reflex` locally in `reflex-platform/reflex` directory.

25−Then do modifications to the source in place, and use the `./try-reflex` or `./scripts/work-on` scripts to create the shell to test your changes.

24+From the root of a [Reflex

25+Platform](https://github.com/reflex-frp/reflex-platform) checkout, run

26+`./scripts/hack-on haskell-overlays/reflex-packages/dep/reflex`. This

27+will check out the reflex source code into the

28+`haskell-overlays/reflex-packages/dep/reflex` directory. You can then

29+point that checkout at your fork, make changes, etc. Use the

30+`./try-reflex` or `./scripts/work-on` scripts to start a shell in

31+which you can test your changes.

reflex.cabal+4−1

@@ -1,5 +1,5 @@

11Name: reflex

2−Version: 0.6.3

2+Version: 0.7.0.0

33Synopsis: Higher-order Functional Reactive Programming

44Description: Reflex is a high-performance, deterministic, higher-order Functional Reactive Programming system

55License: BSD3

@@ -318,6 +318,8 @@ test-suite RequesterT

318318 main-is: RequesterT.hs

319319 hs-source-dirs: test

320320 build-depends: base

321+ , constraints

322+ , constraints-extras

321323 , containers

322324 , constraints

323325 , constraints-extras

@@ -329,6 +331,7 @@ test-suite RequesterT

329331 , primitive

330332 , ref-tf

331333 , reflex

334+ , text

332335 , these

333336 , transformers

334337

src/Reflex/BehaviorWriter/Base.hs+3−3

@@ -1,6 +1,6 @@

11{-|

22Module: Reflex.BehaviorWriter.Base

3−Description: Implementation of MonadBehaviorWriter

3+Description: Implementation of BehaviorWriter

44-}

55{-# LANGUAGE CPP #-}

66{-# LANGUAGE FlexibleInstances #-}

@@ -46,7 +46,7 @@ import Reflex.Query.Class

4646import Reflex.Requester.Class

4747import Reflex.TriggerEvent.Class

4848

49−-- | A basic implementation of 'MonadBehaviorWriter'.

49+-- | A basic implementation of 'BehaviorWriter'.

5050newtype BehaviorWriterT t w m a = BehaviorWriterT { unBehaviorWriterT :: StateT [Behavior t w] m a }

5151 deriving (Functor, Applicative, Monad, MonadIO, MonadFix, MonadAsyncException, MonadException) -- The list is kept in reverse order

5252

@@ -89,7 +89,7 @@ instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (BehaviorWri

8989 newEventWithTrigger = lift . newEventWithTrigger

9090 newFanEventWithTrigger f = lift $ newFanEventWithTrigger f

9191

92−instance (Monad m, Monoid w, Reflex t) => MonadBehaviorWriter t w (BehaviorWriterT t w m) where

92+instance (Monad m, Monoid w, Reflex t) => BehaviorWriter t w (BehaviorWriterT t w m) where

9393 tellBehavior w = BehaviorWriterT $ modify (w :)

9494

9595instance MonadReader r m => MonadReader r (BehaviorWriterT t w m) where

src/Reflex/BehaviorWriter/Class.hs+11−5

@@ -1,8 +1,9 @@

11{-|

22Module: Reflex.BehaviorWriter.Class

3−Description: This module defines the 'MonadBehaviorWriter' class

3+Description: This module defines the 'BehaviorWriter' class

44-}

55{-# LANGUAGE CPP #-}

6+{-# LANGUAGE ConstraintKinds #-}

67{-# LANGUAGE FlexibleInstances #-}

78{-# LANGUAGE FunctionalDependencies #-}

89{-# LANGUAGE UndecidableInstances #-}

@@ -10,16 +11,21 @@ Description: This module defines the 'MonadBehaviorWriter' class

1011{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}

1112#endif

1213module Reflex.BehaviorWriter.Class

13− ( MonadBehaviorWriter (..)

14+ ( MonadBehaviorWriter

15+ , BehaviorWriter(..)

1416 ) where

1517

1618import Control.Monad.Reader (ReaderT, lift)

1719import Reflex.Class (Behavior)

1820

19−-- | 'MonadBehaviorWriter' efficiently collects 'Behavior' values using 'tellBehavior'

21+{-# DEPRECATED MonadBehaviorWriter "Use 'BehaviorWriter' instead" #-}

22+-- | Type synonym for 'BehaviorWriter'

23+type MonadBehaviorWriter = BehaviorWriter

24+

25+-- | 'BehaviorWriter' efficiently collects 'Behavior' values using 'tellBehavior'

2026-- and combines them monoidally to provide a 'Behavior' result.

21−class (Monad m, Monoid w) => MonadBehaviorWriter t w m | m -> t w where

27+class (Monad m, Monoid w) => BehaviorWriter t w m | m -> t w where

2228 tellBehavior :: Behavior t w -> m ()

2329

24−instance MonadBehaviorWriter t w m => MonadBehaviorWriter t w (ReaderT r m) where

30+instance BehaviorWriter t w m => BehaviorWriter t w (ReaderT r m) where

2531 tellBehavior = lift . tellBehavior

src/Reflex/FastWeak.hs+10

@@ -151,6 +151,16 @@ getFastWeakTicket w = do

151151

152152-- | Create a 'FastWeakTicket' directly from a value, creating a 'FastWeak' in the process

153153-- which can be obtained with 'getFastWeakTicketValue'.

154+--

155+-- This function is marked NOINLINE so it is opaque to GHC.

156+-- If we do not do this, then GHC will sometimes fuse the constructor away

157+-- so any weak references that are attached to the ticket will have their

158+-- finalizer run. Using the opaque constructor, GHC does not see the

159+-- constructor application, so it behaves like an IORef and cannot be fused away.

160+--

161+-- The result is also evaluated to WHNF, since forcing a thunk invalidates

162+-- the weak pointer to it in some cases.

163+{-# NOINLINE mkFastWeakTicket #-}

154164mkFastWeakTicket :: a -> IO (FastWeakTicket a)

155165-- I think it's fine if this is lazy - it'll retain the 'a', but so would the output; we just need to make sure it's forced before we start relying on the

156166-- associated FastWeak to actually be weak

src/Reflex/PerformEvent/Class.hs+6

@@ -22,6 +22,7 @@ import Reflex.Class

2222import Reflex.TriggerEvent.Class

2323

2424import Control.Monad.Reader

25+import Control.Monad.Trans.Maybe (MaybeT (..))

2526

2627-- | 'PerformEvent' represents actions that can trigger other actions based on

2728-- 'Event's.

@@ -61,3 +62,8 @@ instance PerformEvent t m => PerformEvent t (ReaderT r m) where

6162 performEvent e = do

6263 r <- ask

6364 lift $ performEvent $ flip runReaderT r <$> e

65+

66+instance PerformEvent t m => PerformEvent t (MaybeT m) where

67+ type Performable (MaybeT m) = MaybeT (Performable m)

68+ performEvent_ = lift . performEvent_ . fmapCheap (void . runMaybeT)

69+ performEvent = lift . fmap (fmapMaybe id) . performEvent . fmapCheap runMaybeT

src/Reflex/Profiled.hs+55−2

@@ -26,6 +26,7 @@ import Control.Monad.Primitive

2626import Control.Monad.Reader

2727import Control.Monad.Ref

2828import Control.Monad.State.Strict (StateT, execStateT, modify)

29+import Data.Bifunctor

2930import Data.Coerce

3031import Data.Dependent.Map (DMap, GCompare)

3132import Data.FastMutableIntMap

@@ -42,9 +43,18 @@ import Foreign.Ptr

4243import GHC.Foreign

4344import GHC.IO.Encoding

4445import GHC.Stack

46+import Reflex.Adjustable.Class

47+import Reflex.BehaviorWriter.Class

4548import Reflex.Class

49+import Reflex.DynamicWriter.Class

50+import Reflex.EventWriter.Class

4651import Reflex.Host.Class

52+import Reflex.NotReady.Class

4753import Reflex.PerformEvent.Class

54+import Reflex.PostBuild.Class

55+import Reflex.Query.Class

56+import Reflex.Requester.Class

57+import Reflex.TriggerEvent.Class

4858

4959import System.IO.Unsafe

5060

@@ -146,8 +156,8 @@ instance Reflex t => Reflex (ProfiledTimeline t) where

146156 updated (Dynamic_Profiled d) = coerce $ profileEvent $ updated d

147157 unsafeBuildDynamic (ProfiledM a0) (Event_Profiled a') = coerce $ unsafeBuildDynamic a0 a'

148158 unsafeBuildIncremental (ProfiledM a0) (Event_Profiled a') = coerce $ unsafeBuildIncremental a0 a'

149− mergeIncrementalG nt = (Event_Profiled . coerce) #. mergeIncrementalG nt

150− mergeIncrementalWithMoveG nt = (Event_Profiled . coerce) #. mergeIncrementalWithMoveG nt

159+ mergeIncrementalG nt res = Event_Profiled $ mergeIncrementalG (coerce nt) (coerce res)

160+ mergeIncrementalWithMoveG nt res = Event_Profiled $ mergeIncrementalWithMoveG (coerce nt) (coerce res)

151161 currentIncremental (Incremental_Profiled i) = coerce $ currentIncremental i

152162 updatedIncremental (Incremental_Profiled i) = coerce $ profileEvent $ updatedIncremental i

153163 incrementalToDynamic (Incremental_Profiled i) = coerce $ incrementalToDynamic i

@@ -177,6 +187,16 @@ instance MonadHold t m => MonadHold (ProfiledTimeline t) (ProfiledM m) where

177187instance MonadSample t m => MonadSample (ProfiledTimeline t) (ProfiledM m) where

178188 sample (Behavior_Profiled b) = ProfiledM $ sample b

179189

190+instance Adjustable t m => Adjustable (ProfiledTimeline t) (ProfiledM m) where

191+ runWithReplace a0 a' = (fmap . fmap) coerce . lift $

192+ runWithReplace (coerce a0) (coerce $ coerce <$> a')

193+ traverseIntMapWithKeyWithAdjust f dm0 dm' = (fmap . fmap) coerce . lift $

194+ traverseIntMapWithKeyWithAdjust (\k v -> coerce $ f k v) dm0 (coerce dm')

195+ traverseDMapWithKeyWithAdjust f dm0 dm' = (fmap . fmap) coerce . lift $

196+ traverseDMapWithKeyWithAdjust (\k v -> coerce $ f k v) dm0 (coerce dm')

197+ traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = (fmap . fmap) coerce . lift $

198+ traverseDMapWithKeyWithAdjustWithMove (\k v -> coerce $ f k v) dm0 (coerce dm')

199+

180200instance MonadTrans ProfiledM where

181201 lift = ProfiledM

182202

@@ -188,6 +208,39 @@ instance PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m) whe

188208 performEvent_ = lift . performEvent_ . coerce

189209 performEvent = lift . fmap coerce . performEvent . coerce

190210

211+instance TriggerEvent t m => TriggerEvent (ProfiledTimeline t) (ProfiledM m) where

212+ newTriggerEvent = first coerce <$> lift newTriggerEvent

213+ newTriggerEventWithOnComplete = first coerce <$> lift newTriggerEventWithOnComplete

214+ newEventWithLazyTriggerWithOnComplete f = coerce <$> lift (newEventWithLazyTriggerWithOnComplete f)

215+

216+instance PostBuild t m => PostBuild (ProfiledTimeline t) (ProfiledM m) where

217+ getPostBuild = coerce <$> lift getPostBuild

218+

219+instance NotReady t m => NotReady (ProfiledTimeline t) (ProfiledM m) where

220+ notReady = lift notReady

221+ notReadyUntil = lift . notReadyUntil . coerce

222+

223+instance BehaviorWriter t w m => BehaviorWriter (ProfiledTimeline t) w (ProfiledM m) where

224+ tellBehavior = lift . tellBehavior . coerce

225+

226+instance DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m) where

227+ tellDyn = lift . tellDyn . coerce

228+

229+instance EventWriter t w m => EventWriter (ProfiledTimeline t) w (ProfiledM m) where

230+ tellEvent = lift . tellEvent . coerce

231+

232+instance MonadQuery t q m => MonadQuery (ProfiledTimeline t) q (ProfiledM m) where

233+ tellQueryIncremental = lift . tellQueryIncremental . coerce

234+ askQueryResult = coerce <$> lift askQueryResult

235+ queryIncremental = fmap coerce . lift . queryIncremental . coerce

236+

237+instance Requester t m => Requester (ProfiledTimeline t) (ProfiledM m) where

238+ type Request (ProfiledM m) = Request m

239+ type Response (ProfiledM m) = Response m

240+

241+ requesting = fmap coerce . lift . requesting . coerce

242+ requesting_ = lift . requesting_ . coerce

243+

191244instance MonadRef m => MonadRef (ProfiledM m) where

192245 type Ref (ProfiledM m) = Ref m

193246 newRef = lift . newRef

src/Reflex/Query/Class.hs+5−5

@@ -125,7 +125,7 @@ instance Group SelectedCount where

125125

126126instance Additive SelectedCount

127127

128−-- | The Semigroup/Monoid/Group instances for a Query containing 'SelectedCount's should use

128+-- | The Semigroup\/Monoid\/Group instances for a Query containing 'SelectedCount's should use

129129-- this function which returns Nothing if the result is 0. This allows the pruning of leaves

130130-- of the 'Query' that are no longer wanted.

131131combineSelectedCounts :: SelectedCount -> SelectedCount -> Maybe SelectedCount

@@ -133,12 +133,12 @@ combineSelectedCounts (SelectedCount i) (SelectedCount j) = if i == negate j the

133133

134134-- | A class that allows sending of 'Query's and retrieval of 'QueryResult's. See 'queryDyn' for a commonly

135135-- used interface.

136−class (Group q, Additive q, Query q) => MonadQuery t q m | m -> q t where

136+class (Group q, Additive q, Query q, Monad m) => MonadQuery t q m | m -> q t where

137137 tellQueryIncremental :: Incremental t (AdditivePatch q) -> m ()

138138 askQueryResult :: m (Dynamic t (QueryResult q))

139139 queryIncremental :: Incremental t (AdditivePatch q) -> m (Dynamic t (QueryResult q))

140140

141−instance (Monad m, MonadQuery t q m) => MonadQuery t q (ReaderT r m) where

141+instance MonadQuery t q m => MonadQuery t q (ReaderT r m) where

142142 tellQueryIncremental = lift . tellQueryIncremental

143143 askQueryResult = lift askQueryResult

144144 queryIncremental = lift . queryIncremental

@@ -148,11 +148,11 @@ tellQueryDyn :: (Reflex t, MonadQuery t q m) => Dynamic t q -> m ()

148148tellQueryDyn d = tellQueryIncremental $ unsafeBuildIncremental (sample (current d)) $ attachWith (\old new -> AdditivePatch $ new ~~ old) (current d) (updated d)

149149

150150-- | Retrieve 'Dynamic'ally updating 'QueryResult's for a 'Dynamic'ally updating 'Query'.

151−queryDyn :: (Reflex t, Monad m, MonadQuery t q m) => Dynamic t q -> m (Dynamic t (QueryResult q))

151+queryDyn :: (Reflex t, MonadQuery t q m) => Dynamic t q -> m (Dynamic t (QueryResult q))

152152queryDyn q = do

153153 tellQueryDyn q

154154 zipDynWith crop q <$> askQueryResult

155155

156156-- | Use a query morphism to operate on a smaller version of a query.

157−subQuery :: (Reflex t, MonadQuery t q2 m, Monad m) => QueryMorphism q1 q2 -> Dynamic t q1 -> m (Dynamic t (QueryResult q1))

157+subQuery :: (Reflex t, MonadQuery t q2 m) => QueryMorphism q1 q2 -> Dynamic t q1 -> m (Dynamic t (QueryResult q1))

158158subQuery (QueryMorphism f g) x = fmap g <$> queryDyn (fmap f x)

src/Reflex/Spider/Internal.hs−10

@@ -450,16 +450,6 @@ data Subscriber x a = Subscriber

450450 , subscriberRecalculateHeight :: !(Height -> IO ())

451451 }

452452

453−--TODO: Move this comment to WeakBag

454−-- These function are constructor functions that are marked NOINLINE so they are

455−-- opaque to GHC. If we do not do this, then GHC will sometimes fuse the constructor away

456−-- so any weak references that are attached to the constructors will have their

457−-- finalizer run. Using the opaque constructor, does not see the

458−-- constructor application, so it behaves like an IORef and cannot be fused away.

459−--

460−-- The result is also evaluated to WHNF, since forcing a thunk invalidates

461−-- the weak pointer to it in some cases.

462−

463453newSubscriberHold :: (HasSpiderTimeline x, Patch p) => Hold x p -> IO (Subscriber x p)

464454newSubscriberHold h = return $ Subscriber

465455 { subscriberPropagate = {-# SCC "traverseHold" #-} propagateSubscriberHold h

src/Reflex/TriggerEvent/Class.hs+6

@@ -12,6 +12,7 @@ import Reflex.Class

1212import Control.Monad.Reader

1313import Control.Monad.State

1414import qualified Control.Monad.State.Strict as Strict

15+import Control.Monad.Trans.Maybe (MaybeT)

1516

1617--TODO: Shouldn't have IO hard-coded

1718-- | 'TriggerEvent' represents actions that can create 'Event's that can be

@@ -47,3 +48,8 @@ instance TriggerEvent t m => TriggerEvent t (Strict.StateT s m) where

4748 newTriggerEvent = lift newTriggerEvent

4849 newTriggerEventWithOnComplete = lift newTriggerEventWithOnComplete

4950 newEventWithLazyTriggerWithOnComplete = lift . newEventWithLazyTriggerWithOnComplete

51+

52+instance TriggerEvent t m => TriggerEvent t (MaybeT m) where

53+ newTriggerEvent = lift newTriggerEvent

54+ newTriggerEventWithOnComplete = lift newTriggerEventWithOnComplete

55+ newEventWithLazyTriggerWithOnComplete = lift . newEventWithLazyTriggerWithOnComplete

test/Reflex/Test/CrossImpl.hs+12−7

@@ -21,6 +21,7 @@ import Reflex.Dynamic

2121import Reflex.Host.Class

2222import qualified Reflex.Pure as P

2323import qualified Reflex.Spider.Internal as S

24+import qualified Reflex.Profiled as Prof

2425

2526import Control.Arrow (second, (&&&))

2627import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

@@ -35,8 +36,6 @@ import Data.Traversable

3536import System.Exit

3637import System.Mem

3738

38−import System.IO.Unsafe

39−

4039mapToPureBehavior :: Map Int a -> Behavior PureReflexDomain a

4140mapToPureBehavior m = P.Behavior $ \t -> case Map.lookupLE t m of

4241 Nothing -> error $ "mapToPureBehavior: no value for time " <> show t

@@ -73,11 +72,14 @@ instance MapMSignals (Event t a) (Event t' a) t t' where

7372instance (MapMSignals a a' t t', MapMSignals b b' t t') => MapMSignals (a, b) (a', b') t t' where

7473 mapMSignals fb fe (a, b) = liftM2 (,) (mapMSignals fb fe a) (mapMSignals fb fe b)

7574

76−testSpider :: (forall m t. TestCaseConstraint t m => (Behavior t a, Event t b) -> m (Behavior t c, Event t d)) -> (Map Int a, Map Int b) -> (Map Int c, Map Int d)

77−testSpider builder (bMap, eMap) = unsafePerformIO $ S.runSpiderHost $ do

75+testTimeline

76+ :: (forall m t. TestCaseConstraint t m => (Behavior t a, Event t b) -> m (Behavior t c, Event t d))

77+ -> (Map Int a, Map Int b)

78+ -> (forall m t. (MonadReflexHost t m, MonadIO m, MonadRef m, Ref m ~ Ref IO, MonadSample t m) => m (Map Int c, Map Int d))

79+testTimeline builder (bMap, eMap) = do

7880 (re, reTrigger) <- newEventWithTriggerRef

7981 (rb, rbTrigger) <- newEventWithTriggerRef

80− b <- runHostFrame $ hold (error "testSpider: No value for input behavior yet") rb

82+ b <- runHostFrame $ hold (error "testTimeline: No value for input behavior yet") rb

8183 (b', e') <- runHostFrame $ builder (b, re)

8284 e'Handle <- subscribeEvent e' --TODO: This should be unnecessary

8385 let times = relevantTestingTimes (bMap, eMap)

@@ -102,9 +104,11 @@ testAgreement :: (Eq c, Eq d, Show c, Show d) => (forall m t. TestCaseConstraint

102104testAgreement builder inputs = do

103105 let identityResult = testPure builder inputs

104106 tracePerf "---------" $ return ()

105− let spiderResult = testSpider builder inputs

107+ spiderResult <- S.runSpiderHost $ testTimeline builder inputs

108+ tracePerf "---------" $ return ()

109+ profiledResult <- S.runSpiderHost $ Prof.runProfiledM $ testTimeline builder inputs

106110 tracePerf "---------" $ return ()

107− let resultsAgree = identityResult == spiderResult

111+ let resultsAgree = identityResult == spiderResult && identityResult == profiledResult

108112 if resultsAgree

109113 then do --putStrLn "Success:"

110114 --print identityResult

@@ -112,6 +116,7 @@ testAgreement builder inputs = do

112116 else do putStrLn "Failure:"

113117 putStrLn $ "Pure result: " <> show identityResult

114118 putStrLn $ "Spider result: " <> show spiderResult

119+ putStrLn $ "Profiled result: " <> show profiledResult

115120 return resultsAgree

116121

117122type TestCaseConstraint t m = (Reflex t, MonadSample t m, MonadHold t m, MonadFix m, MonadFix (PushM t))

test/RequesterT.hs+13−1

@@ -25,8 +25,13 @@ import Data.Constraint.Forall

2525import qualified Data.Dependent.Map as DMap

2626import Data.Dependent.Sum

2727import Data.Functor.Misc

28+import Data.List (words)

2829import Data.Map (Map)

2930import qualified Data.Map as M

31+#if !MIN_VERSION_these(4,11,0)

32+import Data.Semigroup ((<>))

33+#endif

34+import Data.Text (Text)

3035import Data.These

3136import Data.List.NonEmpty.Deferred

3237import Text.Read (readMaybe)

@@ -72,15 +77,22 @@ main = do

7277 print os8

7378 os9 <- runApp' testMoribundPerformEvent $ map Just [ 1 .. 3 ]

7479 print os9

80+ os10 <- runApp' testMatchRequestsWithResponses [ Just $ TestRequest_Increment 1 ]

81+ print os10

82+ os11 <- runApp' testMatchRequestsWithResponses [ Just $ TestRequest_Reverse "yoyo" ]

83+ print os11

7584 let ![[Just [10,9,8,7,6,5,4,3,2,1]]] = os1

7685 let ![[Just [1,3,5,7,9]],[Nothing,Nothing],[Just [2,4,6,8,10]],[Just [2,4,6,8,10],Nothing]] = os2

7786 let ![[Nothing, Just [2]]] = os3

7887 let ![[Nothing, Just [2]]] = os4

7988 let ![[Nothing, Just [1, 2]]] = os5

80− let ![[Nothing, Nothing]] = os6 -- TODO re-enable this test after issue #233 has been resolved

89+ -- let ![[Nothing, Nothing]] = os6 -- TODO re-enable this test after issue #233 has been resolved

8190 let !(Just [(-9223372036854775808,"2")]) = M.toList <$> head (head os7)

8291 let !(Just [(-9223372036854775808,"dcba")]) = M.toList <$> head (head os8)

8392 let ![[Nothing,Just "0:1"],[Nothing,Just "1:2"],[Nothing,Just "2:3"]] = os9

93+ let !(Just [(-9223372036854775808,"2")]) = M.toList <$> head (head os10)

94+ let !(Just [(-9223372036854775808,"oyoy")]) = M.toList <$> head (head os11)

95+

8496 return ()

8597

8698unwrapApp :: forall t m a.