Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
(Constructible s, CoArbitrary Gen (m (a, s))) => CoArbitrary Gen (StateT s m a) Source # | |
coarbitrary :: Co Gen (StateT s m a) r # | |
(CoArbitrary Gen a, CoArbitrary Gen (m r), Constructible (m r)) => CoArbitrary Gen (ContT r m a) Source # | |
coarbitrary :: Co Gen (ContT r m a) r0 # | |
TestEq (m (a, w)) => TestEq (WriterT w m a) Source # | |
TestEq (s -> m (a, s)) => TestEq (StateT s m a) Source # | |
TestEq (m (Either e a)) => TestEq (ExceptT e m a) Source # | |
Constructible (m (a, w)) => Constructible (WriterT w m a) Source # | |
Constructible (s -> m (a, s)) => Constructible (StateT s m a) Source # | |
Constructible (m (Either e a)) => Constructible (ExceptT e m a) Source # | |
TestEq (r -> m a) => TestEq (ReaderT r m a) Source # | |
TestEq ((a -> m r) -> m r) => TestEq (ContT r m a) Source # | |
Constructible (r -> m a) => Constructible (ReaderT r m a) Source # | |
(CoArbitrary Gen (m r), Constructible a, Constructible (m r)) => Constructible (ContT r m a) Source # | |