@@ -1,3 +1,4 @@
1+{-# LANGUAGE BangPatterns #-}
1{-# LANGUAGE FlexibleContexts #-}
2{-# LANGUAGE FlexibleContexts #-}
2{-# LANGUAGE GADTs #-}
3{-# LANGUAGE GADTs #-}
3{-# LANGUAGE RankNTypes #-}
4{-# LANGUAGE RankNTypes #-}
@@ -20,18 +21,19 @@ data RequestInt a where
21main :: IO ()
22main :: IO ()
23− os1@[[Just [10,9,8,7,6,5,4,3,2,1]]] <- runApp' (unwrapApp testOrdering) $
24+ os1 <- runApp' (unwrapApp testOrdering) $
27− os2@[[Just [1,3,5,7,9]],[Nothing,Nothing],[Just [2,4,6,8,10]],[Just [2,4,6,8,10],Nothing]]
28+ let ![[Just [10,9,8,7,6,5,4,3,2,1]]] = os1
28− <- runApp' (unwrapApp testSimultaneous) $ map Just $
29+ os2 <- runApp' (unwrapApp testSimultaneous) $ map Just $
29− [ This ()
30+ [ This ()
30− , That ()
31+ , That ()
31− , This ()
32+ , This ()
32− , These () ()
33+ , These () ()
36+ let ![[Just [1,3,5,7,9]],[Nothing,Nothing],[Just [2,4,6,8,10]],[Just [2,4,6,8,10],Nothing]] = os2
37unwrapRequest :: DSum tag RequestInt -> Int
39unwrapRequest :: DSum tag RequestInt -> Int
@@ -43,7 +45,7 @@ unwrapApp :: ( Reflex t, Monad m )
43 -> m (Event t [Int])
45 -> m (Event t [Int])
44unwrapApp x appIn = do
46unwrapApp x appIn = do
45 ((), e) <- runRequesterT (x appIn) never
47 ((), e) <- runRequesterT (x appIn) never
46− return $ fmap (map unwrapRequest . DMap.toList) e
48+ return $ fmap (map unwrapRequest . requesterDataToList) e
48testOrdering :: ( Response m ~ Identity
50testOrdering :: ( Response m ~ Identity
49 , Request m ~ RequestInt
51 , Request m ~ RequestInt