git.iko.soy/typeable/ether
on master help sign in
Wrapped state testing functions
b7754dbIndex Int
test/Regression.hs+41
compare with master
unifiedsplit
@@ -32,6 +32,7 @@ ethereal "R1" "r1"
32ethereal "R2" "r2"
32ethereal "R2" "r2"
33ethereal "S1" "s1"
33ethereal "S1" "s1"
34ethereal "Foo" "foo"
34ethereal "Foo" "foo"
35+ethereal "Bar" "bar"
35
36
36main :: IO ()
37main :: IO ()
37main = defaultMain suite
38main = defaultMain suite
@@ -200,3 +201,43 @@ summatorCore xs = do
200
201
201summatorCore' :: Num a => [a] -> (Sum a, Sum a)
202summatorCore' :: Num a => [a] -> (Sum a, Sum a)
202summatorCore' = runWriter foo . T.execWriterT . summatorCore
203summatorCore' = runWriter foo . T.execWriterT . summatorCore
204+
205+wrapState_f :: T.MonadState Int m => m String
206+wrapState_f = fmap show T.get
207+
208+wrapState_g :: T.MonadState Bool m => m String
209+wrapState_g = fmap show T.get
210+
211+wrapState_useboth
212+ :: ( MonadState Foo Int m
213+ , MonadState Bar Bool m
214+ ) => m String
215+wrapState_useboth = do
216+ a <- ethered foo wrapState_f
217+ b <- ethered bar wrapState_g
218+ return (a ++ b)
219+
220+wrapStateCore :: Int -> Bool -> String
221+wrapStateCore int bool = evalState foo (evalStateT bar wrapState_useboth bool) int
222+
223+wrapStateBad1_g :: MonadState Foo Int m => m ()
224+wrapStateBad1_g = modify foo (*100)
225+
226+wrapStateBad1_useboth :: MonadState Foo Int m => m String
227+wrapStateBad1_useboth = do
228+ wrapStateBad1_g
229+ ethered foo wrapState_f
230+
231+wrapStateBad1 :: Int -> String
232+wrapStateBad1 = evalState foo wrapStateBad1_useboth
233+
234+wrapStateBad2
235+ :: ( T.MonadState Int m
236+ , MonadState Foo Int m
237+ ) => m Int
238+wrapStateBad2 = do
239+ modify foo (*100)
240+ T.get
241+
242+wrapStateBad2Core :: Int -> Int
243+wrapStateBad2Core = evalState foo (ensureUniqueTags $ ethered foo wrapStateBad2)