Hedgehog.Internal.Distributive

Documentation

class MonadTransDistributive g where

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (g :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint

Methods

distributeT :: Transformer f g m => g (f m) a -> f (g m) a

Distribute one monad transformer over another.

Instances

MonadTransDistributive MaybeT

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f MaybeT m :: Constraint

Methods

distributeT :: Transformer f MaybeT m => MaybeT (f m) a -> f (MaybeT m) a

MonadTransDistributive TreeT

Defined in Hedgehog.Internal.Tree

Associated Types

type Transformer f TreeT m :: Constraint

Methods

distributeT :: Transformer f TreeT m => TreeT (f m) a -> f (TreeT m) a

MonadTransDistributive GenT

Defined in Hedgehog.Internal.Gen

Associated Types

type Transformer f GenT m :: Constraint

Methods

distributeT :: Transformer f GenT m => GenT (f m) a -> f (GenT m) a

MonadTransDistributive TestT

Defined in Hedgehog.Internal.Property

Associated Types

type Transformer f TestT m :: Constraint

Methods

distributeT :: Transformer f TestT m => TestT (f m) a -> f (TestT m) a

MonadTransDistributive PropertyT

Defined in Hedgehog.Internal.Property

Associated Types

type Transformer f PropertyT m :: Constraint

Methods

distributeT :: Transformer f PropertyT m => PropertyT (f m) a -> f (PropertyT m) a

MonadTransDistributive (ExceptT x)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (ExceptT x) m :: Constraint

Methods

distributeT :: Transformer f (ExceptT x) m => ExceptT x (f m) a -> f (ExceptT x m) a

Monoid w => MonadTransDistributive (WriterT w)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (WriterT w) m :: Constraint

Methods

distributeT :: Transformer f (WriterT w) m => WriterT w (f m) a -> f (WriterT w m) a

MonadTransDistributive (StateT s)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (StateT s) m :: Constraint

Methods

distributeT :: Transformer f (StateT s) m => StateT s (f m) a -> f (StateT s m) a

MonadTransDistributive (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f IdentityT m :: Constraint

Methods

distributeT :: Transformer f IdentityT m => IdentityT (f m) a -> f (IdentityT m) a

MonadTransDistributive (StateT s)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (StateT s) m :: Constraint

Methods

distributeT :: Transformer f (StateT s) m => StateT s (f m) a -> f (StateT s m) a

Monoid w => MonadTransDistributive (WriterT w)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (WriterT w) m :: Constraint

Methods

distributeT :: Transformer f (WriterT w) m => WriterT w (f m) a -> f (WriterT w m) a

MonadTransDistributive (ReaderT r :: (Type -> Type) -> Type -> Type)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (ReaderT r) m :: Constraint

Methods

distributeT :: Transformer f (ReaderT r) m => ReaderT r (f m) a -> f (ReaderT r m) a

Monoid w => MonadTransDistributive (RWST r w s)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (RWST r w s) m :: Constraint

Methods

distributeT :: Transformer f (RWST r w s) m => RWST r w s (f m) a -> f (RWST r w s m) a

Monoid w => MonadTransDistributive (RWST r w s)

Defined in Hedgehog.Internal.Distributive

Associated Types

type Transformer f (RWST r w s) m :: Constraint

Methods

distributeT :: Transformer f (RWST r w s) m => RWST r w s (f m) a -> f (RWST r w s m) a

class MonadTransControl t => MonadTransJuggle (t :: (* -> *) -> * -> *) where

Methods

mapStT :: Proxy t -> Proxy a -> (a -> b) -> StT t a -> StT t b

juggleState :: Proxy t -> Proxy a -> s -> StT t (a, s) -> (StT t a, s)

Instances

MonadTransJuggle MaybeT

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy MaybeT -> Proxy a -> (a -> b) -> StT MaybeT a -> StT MaybeT b

juggleState :: Proxy MaybeT -> Proxy a -> s -> StT MaybeT (a, s) -> (StT MaybeT a, s)

MonadTransJuggle (ExceptT x)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (ExceptT x) -> Proxy a -> (a -> b) -> StT (ExceptT x) a -> StT (ExceptT x) b

juggleState :: Proxy (ExceptT x) -> Proxy a -> s -> StT (ExceptT x) (a, s) -> (StT (ExceptT x) a, s)

Monoid w => MonadTransJuggle (WriterT w)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (WriterT w) -> Proxy a -> (a -> b) -> StT (WriterT w) a -> StT (WriterT w) b

juggleState :: Proxy (WriterT w) -> Proxy a -> s -> StT (WriterT w) (a, s) -> (StT (WriterT w) a, s)

MonadTransJuggle (StateT s)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (StateT s) -> Proxy a -> (a -> b) -> StT (StateT s) a -> StT (StateT s) b

juggleState :: Proxy (StateT s) -> Proxy a -> s0 -> StT (StateT s) (a, s0) -> (StT (StateT s) a, s0)

MonadTransJuggle (StateT s)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (StateT s) -> Proxy a -> (a -> b) -> StT (StateT s) a -> StT (StateT s) b

juggleState :: Proxy (StateT s) -> Proxy a -> s0 -> StT (StateT s) (a, s0) -> (StT (StateT s) a, s0)

Monoid w => MonadTransJuggle (WriterT w)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (WriterT w) -> Proxy a -> (a -> b) -> StT (WriterT w) a -> StT (WriterT w) b

juggleState :: Proxy (WriterT w) -> Proxy a -> s -> StT (WriterT w) (a, s) -> (StT (WriterT w) a, s)

MonadTransJuggle (ReaderT r :: (Type -> Type) -> Type -> Type)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (ReaderT r) -> Proxy a -> (a -> b) -> StT (ReaderT r) a -> StT (ReaderT r) b

juggleState :: Proxy (ReaderT r) -> Proxy a -> s -> StT (ReaderT r) (a, s) -> (StT (ReaderT r) a, s)

Monoid w => MonadTransJuggle (RWST r w s)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (RWST r w s) -> Proxy a -> (a -> b) -> StT (RWST r w s) a -> StT (RWST r w s) b

juggleState :: Proxy (RWST r w s) -> Proxy a -> s0 -> StT (RWST r w s) (a, s0) -> (StT (RWST r w s) a, s0)

Monoid w => MonadTransJuggle (RWST r w s)

Defined in Hedgehog.Internal.Distributive

Methods

mapStT :: Proxy (RWST r w s) -> Proxy a -> (a -> b) -> StT (RWST r w s) a -> StT (RWST r w s) b

juggleState :: Proxy (RWST r w s) -> Proxy a -> s0 -> StT (RWST r w s) (a, s0) -> (StT (RWST r w s) a, s0)