Control.Monad.TestFixture

Documentation

module Control.Monad.RWS.Class

type WST w s m = RWST () w s m

type WS w s = WST w s Identity

type TestFixtureT r w s m = ReaderT (r (WST w s m)) (WST w s m)

type TestFixture r w s = TestFixtureT r w s Identity

unTestFixtureT :: Monad m => TestFixtureT r () s m a -> r (WST () s m) -> s -> m a

logTestFixtureT :: Monad m => TestFixtureT r w s m a -> r (WST w s m) -> s -> m w

evalTestFixtureT :: Monad m => TestFixtureT r w s m a -> r (WST w s m) -> s -> m (a, w)

execTestFixtureT :: Monad m => TestFixtureT r w s m a -> r (WST w s m) -> s -> m (s, w)

runTestFixtureT :: Monad m => TestFixtureT r w s m a -> r (WST w s m) -> s -> m (a, s, w)

unTestFixture :: TestFixture r () s a -> r (WS () s) -> s -> a

logTestFixture :: TestFixture r w s a -> r (WS w s) -> s -> w

evalTestFixture :: TestFixture r w s a -> r (WS w s) -> s -> (a, w)

execTestFixture :: TestFixture r w s a -> r (WS w s) -> s -> (s, w)

runTestFixture :: TestFixture r w s a -> r (WS w s) -> s -> (a, s, w)

arg0 :: Monoid w => (r (WS w s) -> WS w s a) -> TestFixture r w s a

arg1 :: Monoid w => (r (WS w s) -> a -> WS w s b) -> a -> TestFixture r w s b

arg2 :: Monoid w => (r (WS w s) -> a -> b -> WS w s c) -> a -> b -> TestFixture r w s c

arg3 :: Monoid w => (r (WS w s) -> a -> b -> c -> WS w s d) -> a -> b -> c -> TestFixture r w s d

arg4 :: Monoid w => (r (WS w s) -> a -> b -> c -> d -> WS w s e) -> a -> b -> c -> d -> TestFixture r w s e

arg5 :: Monoid w => (r (WS w s) -> a -> b -> c -> d -> e -> WS w s f) -> a -> b -> c -> d -> e -> TestFixture r w s f

arg6 :: Monoid w => (r (WS w s) -> a -> b -> c -> d -> e -> f -> WS w s g) -> a -> b -> c -> d -> e -> f -> TestFixture r w s g

arg7 :: Monoid w => (r (WS w s) -> a -> b -> c -> d -> e -> f -> g -> WS w s h) -> a -> b -> c -> d -> e -> f -> g -> TestFixture r w s h

unimplemented :: String -> a