@@ -16,7 +16,7 @@ import Data.Dependent.Sum
1616import Data.Functor.Misc
1717import qualified Data.Map as M
1818import Data.These
19−import Data.Foldable
19+import Data.List.NonEmpty.Deferred
2020
2121#if defined(MIN_VERSION_these_lens) || (MIN_VERSION_these(0,8,0) && !MIN_VERSION_these(0,9,0))
2222import Data.These.Lens
@@ -32,31 +32,31 @@ data RequestInt a where
3232
3333main :: IO ()
3434main = do
35−-- os1 <- runApp' (unwrapApp testOrdering) $
36−-- [ Just ()
37−-- ]
38−-- print os1
39−-- os2 <- runApp' (unwrapApp testSimultaneous) $ map Just $
40−-- [ This ()
41−-- , That ()
42−-- , This ()
43−-- , These () ()
44−-- ]
45−-- print os2
46−-- os3 <- runApp' (unwrapApp testMoribundRequest) [Just ()]
47−-- print os3
35+ os1 <- runApp' (unwrapApp testOrdering) $
36+ [ Just ()
37+ ]
38+ print os1
39+ os2 <- runApp' (unwrapApp testSimultaneous) $ map Just $
40+ [ This ()
41+ , That ()
42+ , This ()
43+ , These () ()
44+ ]
45+ print os2
46+ os3 <- runApp' (unwrapApp testMoribundRequest) [Just ()]
47+ print os3
4848 os4 <- runApp' (unwrapApp testMoribundRequestDMap) [Just ()]
4949 print os4
50−-- os5 <- runApp' (unwrapApp testLiveRequestDMap) [Just ()]
51−-- print os5
52−-- os6 <- runApp' (unwrapApp delayedPulse) [Just ()]
53−-- print os6
54−-- let ![[Just [10,9,8,7,6,5,4,3,2,1]]] = os1
55−-- let ![[Just [1,3,5,7,9]],[Nothing,Nothing],[Just [2,4,6,8,10]],[Just [2,4,6,8,10],Nothing]] = os2
56−-- let ![[Nothing, Just [2]]] = os3
50+ os5 <- runApp' (unwrapApp testLiveRequestDMap) [Just ()]
51+ print os5
52+ os6 <- runApp' (unwrapApp delayedPulse) [Just ()]
53+ print os6
54+ let ![[Just [10,9,8,7,6,5,4,3,2,1]]] = os1
55+ let ![[Just [1,3,5,7,9]],[Nothing,Nothing],[Just [2,4,6,8,10]],[Just [2,4,6,8,10],Nothing]] = os2
56+ let ![[Nothing, Just [2]]] = os3
5757 let ![[Nothing, Just [2]]] = os4
58−-- let ![[Nothing, Just [1, 2]]] = os5
59− -- let ![[Nothing, Nothing]] = os6 -- TODO re-enable this test after issue #233 has been resolved
58+ let ![[Nothing, Just [1, 2]]] = os5
59+ let ![[Nothing, Nothing]] = os6 -- TODO re-enable this test after issue #233 has been resolved
6060 return ()
6161
6262unwrapApp :: forall t m a.