Test.Monad.Instances

Orphan instances

(Constructible s, CoArbitrary Gen (m (a, s))) => CoArbitrary Gen (StateT s m a)

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)

Methods

coarbitrary :: Co Gen (ContT r m a) r0

TestEq (m (a, w)) => TestEq (WriterT w m a)

Methods

(=?) :: WriterT w m a -> WriterT w m a -> Property

TestEq (s -> m (a, s)) => TestEq (StateT s m a)

Methods

(=?) :: StateT s m a -> StateT s m a -> Property

TestEq (m (Either e a)) => TestEq (ExceptT e m a)

Methods

(=?) :: ExceptT e m a -> ExceptT e m a -> Property

Constructible (m (a, w)) => Constructible (WriterT w m a)

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)

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)

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)

Methods

(=?) :: ReaderT r m a -> ReaderT r m a -> Property

TestEq ((a -> m r) -> m r) => TestEq (ContT r m a)

Methods

(=?) :: ContT r m a -> ContT r m a -> Property

Constructible (r -> m a) => Constructible (ReaderT r m a)

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)

Associated Types

type Repr (ContT r m a) :: Type

Methods

fromRepr :: Repr (ContT r m a) -> ContT r m a