| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hedgehog.Internal.Distributive
Documentation
class MonadTransDistributive g where Source #
Associated Types
type Transformer (f :: ( Type -> Type ) -> Type -> Type ) (g :: ( Type -> Type ) -> Type -> Type ) (m :: Type -> Type ) :: Constraint Source #
type Transformer f g m = ( Monad m, Monad (f m), Monad (g m), Monad (f (g m)), MonadTrans f, MFunctor f)
Methods
distributeT :: Transformer f g m => g (f m) a -> f (g m) a Source #
Distribute one monad transformer over another.