Safe Haskell	None
Language	Haskell2010

Test.Monad.Instances

Contents

Orphan instances

Orphan instances

(Constructible s, CoArbitrary Gen (m (a, s))) => CoArbitrary Gen (StateT s m a) Source #
Instance details Methods 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 #
Instance details Methods coarbitrary :: Co Gen (ContT r m a) r0 #
TestEq (m (a, w)) => TestEq (WriterT w m a) Source #
Instance details Methods (=?) :: WriterT w m a -> WriterT w m a -> Property #
TestEq (s -> m (a, s)) => TestEq (StateT s m a) Source #
Instance details Methods (=?) :: StateT s m a -> StateT s m a -> Property #
TestEq (m (Either e a)) => TestEq (ExceptT e m a) Source #
Instance details Methods (=?) :: ExceptT e m a -> ExceptT e m a -> Property #
Constructible (m (a, w)) => Constructible (WriterT w m a) Source #
Instance details Associated Types type Repr (WriterT w m a) :: Type # Methods fromRepr :: Repr (WriterT w m a) -> WriterT w m a #
Constructible (s -> m (a, s)) => Constructible (StateT s m a) Source #
Instance details Associated Types type Repr (StateT s m a) :: Type # Methods fromRepr :: Repr (StateT s m a) -> StateT s m a #
Constructible (m (Either e a)) => Constructible (ExceptT e m a) Source #
Instance details Associated Types type Repr (ExceptT e m a) :: Type # Methods fromRepr :: Repr (ExceptT e m a) -> ExceptT e m a #
TestEq (r -> m a) => TestEq (ReaderT r m a) Source #
Instance details Methods (=?) :: ReaderT r m a -> ReaderT r m a -> Property #
TestEq ((a -> m r) -> m r) => TestEq (ContT r m a) Source #
Instance details Methods (=?) :: ContT r m a -> ContT r m a -> Property #
Constructible (r -> m a) => Constructible (ReaderT r m a) Source #
Instance details Associated Types type Repr (ReaderT r m a) :: Type # Methods fromRepr :: Repr (ReaderT r m a) -> ReaderT r m a #
(CoArbitrary Gen (m r), Constructible a, Constructible (m r)) => Constructible (ContT r m a) Source #
Instance details Associated Types type Repr (ContT r m a) :: Type # Methods fromRepr :: Repr (ContT r m a) -> ContT r m a #