Hedgehog.Internal.Distributive · hedgehog-1.7

classclass MonadTransDistributive (g :: (Type -> Type) -> Type -> Type) where

type family Transformer (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) :: Constraint

distributeT :: Transformer f g m => g (f m) a -> f (g m) a
Distribute one monad transformer over another.

Instances14MonadTransDistributive, …

MonadTransDistributive GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadTransDistributive PropertyTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTransDistributive TestTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTransDistributive TreeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadTransDistributive MaybeTDefined in hedgehog-1.7 · Hedgehog.Internal.Distributive
Monoid w => MonadTransDistributive (WriterT w)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
Monoid w => MonadTransDistributive (WriterT w)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
MonadTransDistributive IdentityTDefined in hedgehog-1.7 · Hedgehog.Internal.Distributive
MonadTransDistributive (ExceptT x)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
MonadTransDistributive (ReaderT r)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
MonadTransDistributive (StateT s)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
MonadTransDistributive (StateT s)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
Monoid w => MonadTransDistributive (RWST r w s)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive
Monoid w => MonadTransDistributive (RWST r w s)Defined in hedgehog-1.7 · Hedgehog.Internal.Distributive